Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR …
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science …
R Dechter, I Meiri, J Pearl - Artificial intelligence, 1991 - Elsevier
This paper extends network-based methods of constraint satisfaction to include continuous variables, thus providing a framework for processing temporal constraints. In this framework …
This book provides a comprehensive and much needed introduction to the field by one of its foremost experts. It is beautifully written and presents a unifying framework capturing a wide …
We introduce a new subclass of Allen's interval algebra we call “ORD-Horn subclass,” which is a strict superset of the “pointisable subclass.” We prove that reasoning in the ORD-Horn …
Much excitement surrounds Facebook, the social networking site based on user-generated content that has attracted 64 million active users since its inception in 2004. This paper …
J Renz, B Nebel - Handbook of spatial logics, 2007 - Springer
Qualitative reasoning is an approach for dealing with commonsense knowledge without using numerical computation. Instead, one tries to represent knowledge using a limited …
I Meiri - Artificial Intelligence, 1996 - Elsevier
This paper presents a general model for temporal reasoning that is capable of handling both qualitative and quantitative information. This model allows the representation and …
Starting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been developed over the last two decades. It …