Sciweavers

19 search results - page 2 / 4
» amai 2002
Sort
View
AMAI
2002
Springer
13 years 7 months ago
A Qualitative Approach to Syllogistic Reasoning
Mohamed Yasser Khayata, Daniel Pacholczyk, Laurent...
AMAI
2002
Springer
13 years 7 months ago
An Algebraic Representation of Calendars
Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia
AMAI
2002
Springer
13 years 7 months ago
Semantic Granularity in Ontology-Driven Geographic Information Systems
Frederico T. Fonseca, Max J. Egenhofer, Clodoveu A...
AMAI
2002
Springer
13 years 7 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
13 years 7 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