Towards a complete classification of tractability in Allen's algebra

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1997, Pages 1466-1471

  Drakengren, Thomas ^a   Jonsson, Peter ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE CLASSIFICATION; SATISFIABILITY PROBLEMS; SUBALGEBRAS; TEMPORAL INFORMATION; UNKNOWN CLASS;

ARTIFICIAL INTELLIGENCE;

ALGEBRA;

EID: 84880696072     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. American Association for Artificial Intelligence. Proceedings of the 9th (US) National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, USA, July 1991. AAAI Press/MIT Press.
2. American Association for Artificial Intelligence. Proceedings of the 13th (US) National Conference on Artificial Intelligence (AAAI-96), Portland, OR, USA, August 1996.
3. James F Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843,1983.
4. James F. Allen. Temporal reasoning and planning. In J.F. Allen, H. Kautz, R.N. Pelavin, and J. Tenenberg, editors, Reasoning about Plans, chapter 1, pages 1-67. Morgan Kaufmann, 1991.
5. K. Appel and W. Haken. Every planar map is four colorable. Bulletin of the American Mathematical Society, 82:711-712, 1976.
6. Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. Artificial Intelligence, 49:61-95, 1991. (Pubitemid 21679936)
7. Thomas Drakengren and Peter Jonsson. Maximal tractable subclasses of Allen's interval algebra: Preliminary report. In AAAI-96 [1996], pages 389-394.
8. Thomas Drakengren and Peter Jonsson. Eight maximal tractable subclasses of Allen's algebra with metric time. Journal of Artificial Intelligence Research, 1997. To appear.
9. Alfonso Gerevini, Lenhart Schubert, and Stephanie Schaeffer. Temporal reasoning in Timegraph I-II. SIGART Bulletin, 4(3):21-25, 1993.
10. Martin Charles Golumbic and Ron Shamir. Complexity and algorithms for reasoning about time: A graph-theoretic approach. Journal of the ACM, 40(5):1108-1133, 1993.
11. Peter Jonsson and Christer Backstrom. A linear-programming approach to temporal reasoning. In AAAI-96 [1996J, pages 1235-1240.
12. Peter Jonsson and Thomas Drakengren. A complete classification of tractability in RCC-5. Journal of Artificial Intelligence Research, 1997. To appear.
13. Peter Jonsson, Thomas Drakengren, and Christer Backstrom. Tractable subclasses of the point-interval algebra: A complete classification. In J. Doyle and L. Aiello, editors, Proceedings of the 5th International Conference on Principles on Knowledge Representation and Reasoning (KR-96), pages 352-363, Cambridge, MA, USA, October 1996. Morgan Kaufmann.
14. Henry Kautz and Peter Ladkin. Integrating metric and temporal qualitative temporal reasoning. In AAAI-91 [1991], pages 241-246.
15. Itay Meiri. Combining qualitative and quantitative constraints in temporal reasoning. In AAAI-91 [1991], pages 260-267.
16. Bernhard Nebel and Hans-Jiirgen Biirckert. Software for machine assisted analysis of Allen's interval algebra. Available from the authors by anonymous ftp from duck.dfki.uni-sb.de as /pub/paper8/DFKI-other8/RR-93-I1.programs.tar.Z, 1993.
17. Bernhard Nebel and Hans-Jiirgen Biirckert. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. Journal of the ACM, 42(I):43-66, 1995.
18. Bernhard Nebel. Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. In Wolfgang Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, Hungary, August 1996. Wiley.
19. Erik Sandewall. Features and Fluents. The Representation of Knowledge about Dynamical Systems, volume I. Oxford University Press, 1994.
20. F. Song and R. Cohen. The interpretation of temporal relations in narrative. In Proceedings of the 7th (US) National Conference on Artificial Intelligence (AAAI-88), pages 745-750, St. Paul, MN, USA, August 1988. American Association for Artificial Intelligence, Morgan Kaufmann.
21. Peter van Beek and Robin Cohen. Exact and approximate reasoning about temporal relations. Computational Intelligence, 6(3):132-144, 1990.
22. M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the 5th (US) National Conference on Artificial Intelligence (AAAI-86), pages 373-381, Philadelphia, PA, USA, August 1986. American Association for Artificial Intelligence, Morgan Kaufmann.
23. Marc B Vilain. A system for reasoning about time. In Proceedings of the 2nd (US) National Conference on Artificial Intelligence (AAAI-82), pages 197-201, Pittsburgh, PA, USA, August 1982. American Association for Artificial Intelligence.