A unifying semantics for time and events

Artificial Intelligence

Volumn 153, Issue 1-2, 2004, Pages 13-48

  Bennett, Brandon ^a   Galton, Antony P ^b  

^a UNIVERSITY OF LEEDS   (United Kingdom)

^b UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

Semantics; Temporal logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; BEHAVIORAL RESEARCH; FORMAL LANGUAGES; PROBLEM SOLVING;

SITUATION CALCULUS; TEMPORAL LOGIC; VERSATILE EVENT LOGIC (VEL);

SEMANTICS;

EID: 1642566172     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2003.02.001     Document Type: Conference Paper

References (51)

1. Allen J.F. An interval-based representation of temporal knowledge. Proceedings of IJCAI-81, Vancouver, BC. 1981;221-226.
2. Allen J.F. Towards a general theory of action and time. Artificial Intelligence. 23:(2):1984;123-154.
3. Baker A.B. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence (Special Issue on Knowledge Representation). 49:1991;5-23.
4. Barringer H., Kuiper R., Pnueli A. A really abstract concurrent model and its fully abstract semantics. Proceedings of the 13th ACM Symposium on Principles of Programming Languages (POPL), St. Petersburg Beach, FL. 1986;173-183.
5. Bennett B. Space, time, matter and things. Welty C., Smith B. Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS'01), Ogunquit. 2001;105-116.
6. Bennett B. Physical objects, identity and vagueness. Fensel D., McGuinness D., Williams M.-A. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France. 2002;Morgan Kaufmann, San Francisco, CA.
7. Bennett B. A logic of branching histories with a shared linear time series. Foundations and Applications of Spatio-Temporal Reasoning (FASTR), AAAI Spring Symposium, Palo Alto, CA. 2003.
8. Brown F.M. Proceedings of the 1987 Workshop, The Frame Problem in Artificial Intelligence. 1987;Morgan Kaufmann, Los Altos, CA.
9. Davidson D. The logical form of action sentences. Rescher N. The Logic of Decision and Action. 1967;University of Pittsburgh Press, Pittsburgh, PA. reprinted in Essays on Actions and Events. 1980;Oxford University Press, Pittsburgh.
10. Davidson D. The logical form of action sentences. Rescher N. The Logic of Decision and Action. 1967;University of Pittsburgh Press, Pittsburgh, PA. reprinted in Essays on Actions and Events. 1980;Oxford University Press, Pittsburgh.
11. Davidson D. The individuation of events. Rescher N. Essays in Honor of Carl G. Hempel. 1969;D. Reidel. reprinted in Essays on Actions and Events. 1980;Oxford University Press, Oxford.
12. Davidson D. The individuation of events. Rescher N. Essays in Honor of Carl G. Hempel. 1969;D. Reidel. reprinted in Essays on Actions and Events. 1980;Oxford University Press, Oxford.
13. Davis E. Representations of Commonsense Knowledge. 1990;Morgan Kaufmann, San Mateo, CA.
14. Davis E. Infinite loops in finite time: Some observations. Nebel B., Rich C., Swartout W. Proceedings of the Third International Conference, Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA. 1992;47-58 Morgan Kaufmann, San Mateo, CA.
15. Emerson E.A., Halpern J.Y. 'Sometimes' and 'not never' revisited: On branching time versus linear time temporal logics. J. ACM. 33:(1):1986;151-178.
16. Emerson E.A., Jutla C.S. The complexity of tree automata and logics of programs. SIAM J. Comput. 29:(1):1999;132-158.
17. Fikes R.E., Nilsson N.J. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence. 2:1971;189-208.
18. Galton A.P. The Logic of Aspect: An Axiomatic Approach. 1984;Clarendon Press, Oxford.
19. Galton A.P. The logic of occurrence. Galton A.P. Temporal Logics and their Applications. 1987;169-196 Academic Press, London. Chapter 5.
20. Galton A.P. Towards an integrated logic of space, time and motion. Proceedings of IJCAI-93, Chambéry, France. 1993.
21. Galton A.P. An investigation of 'non-intermingling' principles in temporal logic. J. Logic Comput. 6:(2):1996;271-294.
22. Galton A.P. Space, time and movement. Stock O. Spatial and Temporal Reasoning. 1997;321-352 Kluwer, Dordrecht. Chapter 10.
23. Galton A.P. Qualitative Spatial Change. 2000;Oxford University Press, Oxford.
24. Galton A.P. Transitions in continuous time, with an application to qualitative changes in spatial relations. Barringer H., , et al. Proceedings of the Second International Conference on Temporal Logic, Advances in Temporal Logic, ICTL'97. 2000;279-297 Kluwer, Dordrecht.
25. Guarino N. Proceedings of the 1st International Conference, Formal Ontology in Information Systems (FOIS-98), Trento, Italy. Frontiers in Artificial Intelligence and Applications. vol. 46:1998;IOS Press, Amsterdam.
26. Gupta A. The Logic of Common Nouns: An Investigation in Quantified Modal Logic. 1980;Yale University Press, New Haven, CT.
27. Hanks S., McDermott D. Default reasoning, nonmonotonic logics, and the frame problem. Proceedings of AAAI-86, Philadelphia, PA. 1986;328-333.
28. Harel D. Dynamic Logic. Gabbay D., Guenthner F. Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic. 1984;497-604 Reidel, Dordrecht.
29. Hayes P.J. The frame problem and related problems in artificial intelligence. Elithorn A., Jones D. Artificial and Human Thinking. 1973;495-520 Jossey-Bass, San Fransisco, CA.
30. Hazarika S.M., Cohn A.G. Qualitative spatio-temporal continuity. Montello D.R. Spatial Information Theory: Foundations of Geographic Information Science; Proceedings of COSIT'01, Morro Bay, CA. Lecture Notes in Comput. Sci. vol. 2205:2001;92-107 Springer, Berlin.
31. Hayes P.J. The naïve physics manifesto. Michie D. Expert Systems in the Micro-Electronic Age. 1979;Edinburgh University Press, Edinburgh.
32. Heller M. The Ontology of Physical Objects: Four Dimensional Hunks of Matter. 1991;Cambridge University Press, Cambridge.
33. J. Kamp, The logic of historical necessity, part I, Unpublished typescript, 1979.
34. Kowalski R., Sergot M. A logic-based calculus of events. New Gen. Comput. 4:1986;67-95.
35. Lehmann F. Semantic Networks in Artificial Intelligence. 1992;Pergamon Press, Oxford.
36. Lenat D. CYC: A large-scale investment in knowledge infrastructure. Comm. ACM. 38:(11):1995.
37. McCarthy J., Hayes P. Some philosophical problems from the standpoint of artificial intelligence. Meltzer B., Michie D. Machine Intelligence, vol. 4. 1969;463-502 Edinburgh University Press, Edinburgh.
38. McDermott D. A temporal logic for reasoning about processes and plans. Cognitive Sci. 6:1982;101-155.
39. Moller F., Birtwistle G. Logics for Concurrency: Structure versus Automata. Lecture Notes in Compute. Sci. vol. 1043:1996;Springer, Berlin.
40. Moller F., Rabinovich A. On the expressive power of CTL *. Proceedings of LICS'99: Logic in Computer Science, Trento, Italy. 1999.
41. Montague R. English as a formal language. Linguaggi nella Società e nella Tecnica. 1970;. Reprinted in Thomason H. Formal Philosophy: Selected Papers of Richard Montague. 1970;Yale University Press, New Haven, CT.
42. Montague R. English as a formal language. Linguaggi nella Società e nella Tecnica. 1970;. Reprinted in Thomason H. Formal Philosophy: Selected Papers of Richard Montague. 1970;Yale University Press, New Haven, CT.
43. Montague R. Universal grammar. Theoria. 1970;. pp. 153-167. Reprinted in Thomason H. Formal Philosophy: Selected Papers of Richard Montague. 1970;Yale University Press, New Haven, CT.
44. Montague R. Universal grammar. Theoria. 1970;. pp. 153-167. Reprinted in Thomason H. Formal Philosophy: Selected Papers of Richard Montague. 1970;Yale University Press, New Haven, CT.
45. Randell D., Cui Z., Cohn A. A spatial logic based on regions and connection. Proc. 3rd Internat. Conf. on Knowledge Representation and Reasoning. 1992;165-176 Morgan Kaufmann, San Mateo, CA.
46. Sandewall E. Features and Fluents. 1994;Oxford University Press, Oxford.
47. Shanahan M. Representing continuous change in the event calculus. Aiello L.C. Proceedings of the 9th European Conference on Artificial Intelligence (ECAI-90), Stockholm, Sweden. 1990;598-603.
48. Shanahan M. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Intertia. 1997;MIT Press, Cambridge, MA.
49. Shanahan M. The event calculus explained. Wooldridge M.J., Veloso M. Artificial Intelligence Today. Lecture Notes in Comput. Sci. vol. 1600:1999;409-430 Springer, Berlin.
50. Shoham Y. Time for action: On the relation between time, knowledge and action. Proceedings of the IJCAI-89, Detroit, MI. 1989;954-959.
51. Thomason R. Combinations of tense and modality. Gabbay D., Guenthner F. Handbook of Philosophical Logic, vol. II. 1984;135-165 Reidel, Sweden. Chapter 3.