A unifying semantics for time and events

&
Artificial Intelligence 153 (1-2):13-48 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2003.02.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,326

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Antony Galton, Temporal Logics and Their Applications; Antony Galton, Temporal Logic and Computer Science: An Overview. [REVIEW]Luis Farinas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
Computational semantics: an introduction to artificial intelligence and natural language comprehension.Eugene Charniak & Yorick Wilks (eds.) - 1976 - New York: distributors for the U.S.A. and Canada, Elsevier/North Holland.
A unifying look at sequence submodularity.Sara Bernardini, Fabio Fagnani & Chiara Piacentini - 2021 - Artificial Intelligence 297 (C):103486.
Temporal logics and their applications, edited by Antony Galton, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein: - Antony Galton. Temporal logic and computer science: an overview. Pp. 1– 52. - Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90. - Roger Hale. Temporal logic programming. Pp. 91– 119. - Fariba Sadri. Three recent approaches to temporal reasoning. Pp. 121– 168. - Antony Galton. The logic of occurrence. Pp. 169– 196. - Dov Gabbay. Modal and temporal logic programming. Pp. 197– 237. [REVIEW]Luis Fariñas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.
Review: Temporal Logic: Mathematical Foundations and Computational Aspects D. M. Gabbay, Antony Galton: Temporal Logic: Mathematical Foundations and Computational Aspects. [REVIEW][author unknown] - 1997 - Logic Journal of the IGPL 5 (6):853-857.
A unifying approach to temporal constraint reasoning.Peter Jonsson & Christer Bäckström - 1998 - Artificial Intelligence 102 (1):143-155.
A unifying perspective on knowledge updates.Martin Slota & João Leite - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 372--384.
Unifying metric approach to the triple parity.Tony Y. T. Chan - 2002 - Artificial Intelligence 141 (1-2):123-135.

Analytics

Added to PP
2020-12-22

Downloads
14 (#1,173,964)

6 months
10 (#606,282)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antony Galton
University of Exeter

Citations of this work

Neo-Davidsonian ontology of events.Ziqian Zhou - 2019 - Linguistics and Philosophy 44 (1):1-41.
Event calculus and temporal action logics compared.Erik T. Mueller - 2006 - Artificial Intelligence 170 (11):1017-1029.
Proving Cleanthes wrong.Laureano Luna - 2021 - Journal of Applied Logic 8 (3):707-736.
From the textual description of an accident to its causes.Daniel Kayser & Farid Nouioua - 2009 - Artificial Intelligence 173 (12-13):1154-1193.

Add more citations

References found in this work

Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.

View all 6 references / Add more references