Sciweavers

2649 search results - page 36 / 530
» Temporal Theories of Reasoning
Sort
View
AAAI
2000
15 years 1 months ago
Disjunctive Temporal Reasoning in Partially Ordered Models of Time
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
Mathias Broxvall, Peter Jonsson
CSL
2007
Springer
15 years 6 months ago
Qualitative Temporal and Spatial Reasoning Revisited
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
Manuel Bodirsky, Hubie Chen
AIR
2005
114views more  AIR 2005»
14 years 11 months ago
Relation Algebras and their Application in Temporal and Spatial Reasoning
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by r...
Ivo Düntsch
TIME
2002
IEEE
15 years 4 months ago
Applying Local Search to Temporal Reasoning
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
John Thornton, Matthew Beaumont, Abdul Sattar, Mic...
BIRTHDAY
2009
Springer
15 years 6 months ago
Foundations of Temporal Conceptual Data Models
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
Alessandro Artale, Enrico Franconi