Sciweavers

19 search results - page 2 / 4
» amai 2002
Sort
View
77
Voted
AMAI
2002
Springer
14 years 11 months ago
A Qualitative Approach to Syllogistic Reasoning
Mohamed Yasser Khayata, Daniel Pacholczyk, Laurent...
75
Voted
AMAI
2002
Springer
14 years 11 months ago
An Algebraic Representation of Calendars
Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia
AMAI
2002
Springer
14 years 11 months ago
Semantic Granularity in Ontology-Driven Geographic Information Systems
Frederico T. Fonseca, Max J. Egenhofer, Clodoveu A...
76
Voted
AMAI
2002
Springer
14 years 11 months ago
Quantum Mereotopology
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
Barry Smith, Berit Brogaard
AMAI
2002
Springer
14 years 11 months ago
A Complete Axiomatization for Blocks World
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...
Stephen A. Cook, Yongmei Liu