Introduction to reasoning about cyclic intervals

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1611, Issue , 1999, Pages 698-706

  Osmani, Aomar ^a  

^a UNIVERSITÉ PARIS 13   (France)

Author keywords

Cyclic intervals; Temporal constraints; Temporal reasoning

Indexed keywords

ALGEBRA; EXPERT SYSTEMS; INTELLIGENT SYSTEMS;

CONSTRAINT-BASED; CYCLIC INTERVALS; CYCLIC PROCESS; REAL APPLICATIONS; SPATIAL AND TEMPORAL REASONING; STANDARD TIME; TEMPORAL CONSTRAINTS; TEMPORAL REASONING;

TEMPORAL LOGIC;

EID: 84947719354     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48765-4_74     Document Type: Conference Paper

References (11)

1. J F Allen. Maintaining knowledge about temporal intervals. Communications of the Association for Computing Machinery, 26(11): 832-843, 1983.
2. R Dechter. From local to global consistency. Artificial Intelligence, 55: 87-107, 1992.
3. C Freksa. Temporal reasoning based on semi-intervals. Artificial Intelligence, 54: 199-227, 1992.
4. E C Freuder. A sufficient condition for backtrack-free search. Journal of the Association for Computing Machinery, 29: 24-32, 1982.
5. P Ladkin and A Reinefeld. Effective solution of qualitative constraint problems. Artificial Intelligence, 57: 105-124, 1992.
6. G Ligozat. Towards a general characterization of conceptual neighbourhoods in temporal and spatial reasoning. In F D Anger and R Loganantharah, editors, Proceedings AAAI-94 Workshop on Spatial and Temporal Reasoning, 1994.
7. G Ligozat. Tractable relations in temporal reasoning: Pre-convex relations. In R Rodriguez, editor, Proceedings of ECAI-94 Workshop on Spatial and Temporal Reasoning, 1994.
8. A K Mackworth. Consistency in networks of relations. Artificial Intelligence, 8: 99-118, 1977.
9. U Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Sciences, 7: 95-132, 1974.
10. D Randell, Z Cui, and A Cohn. A spatial logic based on regions and connection. In Proceedings KR-92, pages 165-176, San Mateo, 1992. Morgan Kaufmann.
11. M B Vilain and H Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings AAAI-86, Philadelphia, August 1986.