Domain-independent temporal reasoning with recurring events

Computational Intelligence

Volumn 12, Issue 3, 1996, Pages 450-477

  Morris, Robert A ^a   Shoaff, William D ^a   Khatib, Lina ^a  

^a FLORIDA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Constraint solving; Ontologies for time; Temporal logic

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE; CONSTRAINT THEORY; FORMAL LOGIC;

ONTOLOGIES FOR TIME; TEMPORAL LOGIC;

ARTIFICIAL INTELLIGENCE;

EID: 0030205911     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.1467-8640.1996.tb00271.x     Document Type: Article

References (37)

1. ALLEN, J. 1983. Maintaining knowledge about temporal intervals. In Readings in knowledge representation. Edited by R. Brachman and H. Levesque. Morgan Kaufman, San Mateo, pp. 510-521.
2. CHU, B. 1989. Representing binary relations at multiple levels of abstraction. In Methodologies for intelligent systems, 4. Edited by Z. RAS. Elsevier, pp. 166-174.
3. DAVIS, W. S., and J. R. CARNES. 1991. Clustering temporal intervals to generate reference hierarchies. In KR91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. Edited by J. ALLEN et al. Morgan Kaufmann, pp. 111-117.
4. DRUMMOND, M., J. BRESINA, and K. SWANSON. 1994. Just-in-case scheduling. Submitted for publication.
5. FORD, K., and P. HAYES. 1991. Reasoning agents in a dynamic world: The frame problem. JAI Press.
6. GABBAY, D., and J. MORAVCSIK. 1980. Verbs, events, and the flow of time. In Time, tense, and quantification. Edited by C. Rohrer. Niemeyer, pp. 59-88.
7. GOLDBLATT, R. 1987. Logics of time and computation. CSLI Lecture Notes.
8. GOODWIN, S. D., H. J. HAMILTON, E. NEUFELD, A. SATTAR, and A. TRUDEL. 1994. Belief revision in a discrete temporal probability-logic. In Proceedings of Workshop on Temporal Reasoning, FLAIRS-94, forthcoming.
9. KAMP, H. 1983. Tense in texts. In Meaning, use and the interpretation of language. Edited by R. BAEUERLE, C. SCHWARZE, and A. VON STECHOW. de Gryter, New York, pp. 250-269.
10. KHATIB, L. 1994. Reasoning with non-convex time intervals. Ph.D. dissertation, Florida Institute of Technology, in preparation.
11. KOOMEN, J. 1989. Localizing temporal constraint propagation. In Proceedings of the first international conference on principles of knowledge representation and reasoning. KR89, Edited by R. BRACHMAN et al. pp. 198-202.
12. KOOMEN, J. 1991. Reasoning about recurrence. International Journal of Intelligent Systems, 6:461-496.
13. LADKIN, P. B. 1986. Primitives and units for time specification. In Proceedings of AAAI-86, Morgan Kaufman, San Mateo, pp. 354-359.
14. LADKIN, P. B. 1987. Time representation: A taxonomy of interval relations. In Proceedings of AAAI-86, Morgan Kaufman, San Mateo, pp. 360-366.
15. LADKIN, P. B. 1994. On binary constraint problems. Journal of the ACM, to appear.
16. LADKIN, P. B. and R. MADDUX. 1988. The algebra of constraint satisfaction and temporal reasoning. Technical report, Kestrel Institute, Palo Alto, CA.
17. LADKIN, P. B. and A. REINEFELD. 1992. Effective solution of qualitative interval constraint problems. Artificial Intelligence, 57:105-124.
18. LEBAN, B., D. MCDONALD, and B. FOSTER. 1986. A representation for collections of temporal intervals. In Proceedings of AAAI-86, Morgan Kaufman, San Mateo, pp. 367-371.
19. LIGOZAT, G. 1990. Weak representation of interval algebras. Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), 2:715-720.
20. LIGOZAT, G. 1991. On generalized interval calculi. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pp. 234-240.
21. LINK, G. 1983. The logical analysis of plurals and mass terms: A lattice-theoretical approach. In Meaning, use and the interpretation of language. Edited by R. BAEUERLE, C. SCHWARZE, and A. VON STECHOW. de Gryter, New York, pp. 302-323.
22. MACKWORTH, A., J. MULDER, and W. HAVENS. 1985. Hierarchical arc consistency: exploiting structured domains in constraint satisfaction problems. Computational Intelligence, 1:118-126.
23. MEIRJ, I. 1991. Combining qualitative and quantitative constraints in temporal reasoning. Proceedings of AAAI-91, 1:260-267.
24. MITTAL, S. and FRANKENHAINER, B. 1990. Dynamic constraint satisfaction. Proceedings of AAAI-90, 1:25-32.
25. MORRIS, R., and L. AL-KHATIB. 1991. An interval-based temporal relational calculus for events with gaps. The Journal of Experimental and Theoretical Artificial Intelligence, 3:87-107.
26. MORRIS, R., W. LIGOZAT, and L. KHATIB, 1995. Generating scenarios from specifications of repeating events. In Proceedings of the TIME-95 International Workshop on Temporal Representation and Reasoning, Melbourne, Florida. pp. 65-72.
27. MORRIS, R., W. SHOAFF, and L. KHATIB. 1993. Path consistency in a network of non-convex intervals. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (JJCAI-93), Chambery, France, pp. 650-655.
28. NAVATHE, S. B., and R. AHMED. 1993. Temporal extensions to the relational model and SQL. In Temporal databases: Theory, design, and implementation. Chap. 4. Benjamin/Cummings, Redwood City, CA.
29. NIEZETTE, M, and J-M. STEVENNE. 1992. An efficient symbolic representation of periodic time. In Implementing temporal reasoning: Workshop notes, AAAI-92 Workshop Program, pp. 130-140.
30. ROHRER, C. 1980. Time, tense, and quantification: Proceedings of the Stuttgart conference on logic of tense and quantification, Niemeyer.
31. ROSENFELD, A., R. A. HUMMELL, and S. W. ZUKER. 1976. Scene labeling by relaxation operations. In IEEE Transactions Systems, Man and Cybernetics, 6:420-433.
32. SMITH, C. S. 1980. Temporal structures in discourse. In Time, tense, and quantification. Edited by C. Rohrer. Niemeyer, pp. 355-374.
33. SNOW, P. and E. C. FREUDER. 1990. Improved relaxation and search methods for approximate constraint satisfaction with a maximum criterion. In Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence.
34. VAN BEEK, P. 1990. Exact and approximate reasoning about qualitative temporal relations. Technical report TR 90-29, University of Alberta, Edmonton, Alberta, Canada.
35. WESTERSTAHL, D. 1989. Quantifiers in formal and natural languages. In Handbook of philosophical logic, Chap. 1, Vol. IV. Edited by D. Gabbay and F. Guenthner. pp. 1-131.
36. WILLIAMSON, M. and S. HANKS. 1992. Exploiting domain structure to achieve efficient temporal reasoning. In Implementing Temporal Reasoning: Workshop Notes, AAAI-92 Workshop Program. pp. 178-190.
37. ZWARTS, F. 1983. Determiners: A relational perspective. In Studies in Modeltheoretic Semantics. Edited by A. ter Meulen. Foris Publications, Holland, pp. 37-62.