A formalism for representing and reasoning with temporal information, event and change

Applied Intelligence

Volumn 23, Issue 2, 2005, Pages 109-119

  Obeid, Nadim ^a  

^a UNIVERSITY OF JORDAN   (Jordan)

Author keywords

Change; Event; Nonmonotonic; Temporal; Three valued

Indexed keywords

FORMAL LOGIC; PROBLEM SOLVING;

CHANGE; EVENT; NONMONOTONIC; TEMPORAL; THREE-VALUED;

INFORMATION ANALYSIS;

EID: 23944489830     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10489-005-3416-7     Document Type: Article

References (22)

1. J. Allen, "Maintaining knowledge about temporal intervals," Communications of the ACM, vol. 26, pp. 832-843, 1983.
2. J. Allen, "Towards a general theory of action and time," Artificial Intelligence, vol. 23, pp. 123-154, 1984.
3. J. Allen and P. Hayes, "A common-sense theory of time," in Proceeding of the International Joint Conference on Artificial Intelligence, IJCAI-85, 1985, pp. 528-531.
4. J. Allen and P. Hayes, "Moments and points in an interval-based temporal logic," Computational Intelligence, vol. 5, pp. 225-238, 1989.
5. C. Baral, M. Gelfond, and A. Provetti, "Representing Actions: Laws, Observations and Hypothesis," Journal of Logic Programming, vol. 31, No. 1-3, pp. 201-243, 1997.
6. C. Baral, M. Gelfond, and A. Provetti, "Formalizing Narratives using nested circumscription," Artificial Intelligence, vol. 104, No. 1-2, pp. 107-64, 1998.
7. A. Galton, "A critical examination of Allen's theory of action and time," Artificial Intelligence, vol. 42, pp. 159-188, 1990.
8. H. Kamp, "Events, instants and temporal reference" in Semantics from Different Points of View, edited by R.B. Auerle, U. Egli, and A. von Stechow, Springer-Verlag, pp. 376-417, 1979.
9. R. Kowalski and M. Sergot, "A logic-based calculus of events," New Generation Computing, vol. 3, 1986.
10. J. McCarthy and P. Hayes, "Some philosophical problems from the standpoint of AI," Machine Intelligence, vol. 4, 1969.
11. D. McDermott. "A temporal logic for reasoning about processes and plans," Cognitive Science, vol. 6, pp. 101-155, 1982.
12. N. Obeid, "Three Valued Logic and Nonmonotonic Reasoning," Computers and Artificial Intelligence, vol. 15, No. 6, pp. 509-530, 1996.
13. N. Obeid, "A Logic Framework for Model-Based Diagnosis of Dynamic Systems," in Proceeding of the 15th International Congress of Condition Monitoring and Diagnostic Engineering Management: Innovative trends & Sharing Best Practices in World-Class Manufacturing & Industrial Asset Management, edited by R. Rao and A. Nandi, pp. 189-199, 2002.
14. N. Obeid, "Semantic interpretation of defaults using partial models," Submitted for Publication, 2003.
15. R. Reiter, "A logic for default reasoning," Artificial Intelligence, vol. 13, pp. 81-132, 1980.
16. Y. Shoham, "Temporal logics in AI: Semantical and ontological considerations," artificial intelligence, vol. 33, pp. 89-104, 1987.
17. E. Tsang. "Time structures for AI," in Proceeding of the International Joint Conference on Artificial Intelligence, IJCAI-87, 1987, pp. 456-461.
18. H. Turner, "Representing actions in logic programs and default theories," Journal of Logic Programming, vol. 31, pp. 245-298, 1997.
19. R. Turner, Logics for Artificial Intelligence, Ellis Horwood Limited, 1984.
20. J. Van Benthem, The Logic of Time (second edition), Reidel, 1991.
21. M. Vilain, 1982. "A system for reasoning about time," in Proceedings of AAAI'82, 1982, pp. 197-201.
22. L. Vila, "IP: An instant-period based theory of time," in Proc. ECAI'94 Workshop on Spatial and Temporal Reasoning, edited by R. Rodriguez, 1994.