Sciweavers

317 search results - page 15 / 64
» ais 2007
Sort
View
AI
2007
Springer
13 years 7 months ago
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
Giacomo Bonanno
AIS
2007
Springer
13 years 7 months ago
Applications for conscious systems
Many recent developments in technological design are aimed towards the ‘humanisation’ of technology, that is, making technology behave in a way that is more ‘intuitive’, â€...
Robert Pepperell
AI
2007
Springer
13 years 11 months ago
Performance Measures in Classification of Human Communications
This study emphasizes the importance of using appropriate measures in particular text classification settings. We focus on methods that evaluate how well a classifier performs. The...
Marina Sokolova, Guy Lapalme
AI
2007
Springer
13 years 7 months ago
Determining the consistency of partial tree descriptions
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
Manuel Bodirsky, Martin Kutz
AI
2007
Springer
14 years 1 months ago
Multiagent Constraint Satisfaction with Multiply Sectioned Constraint Networks
Abstract. Variables and constraints in problem domains are often distributed. These distributed constraint satisfaction problems (DCSPs) lend themselves to multiagent solutions. Mo...
Yang Xiang, Wanling Zhang