Event calculus and temporal action logics compared

Artificial Intelligence 170 (11):1017-1029 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2006.05.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

Temporal belief logics for modelling distributed artificial intelligence systems.Michael Wooldridge - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 269--286.
On coarser interval temporal logics.Emilio Muñoz-Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco & Ionel Eduard Stan - 2019 - Artificial Intelligence 266 (C):1-26.
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
Temporal logics in AI: Semantical and ontological considerations.Yoav Shoham - 1987 - Artificial Intelligence 33 (1):89-104.
On Mathematical Proving.Ioannis M. Vandoulakis & Petros Stefaneas - 2015 - Journal of Artificial General Intelligence 6 (1):130–149.
Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
Extending a temporal defeasible argumentation framework with possibilistic weights.Lluís Godo, Enrico Marchioni & Pere Pardo - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 242--254.
Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.John Grant, Francesco Parisi, Austin Parker & V. S. Subrahmanian - 2010 - Artificial Intelligence 174 (1):72-104.
Diagnosis of discrete-event systems from uncertain temporal observations.Gianfranco Lamperti & Marina Zanella - 2002 - Artificial Intelligence 137 (1-2):91-163.

Analytics

Added to PP
2020-12-22

Downloads
9 (#449,242)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.
The mental state formalism of gmu-Bica.Alexei V. Samsonovich, Kenneth A. de Jong & Anastasia Kitsantas - 2009 - International Journal of Machine Consciousness 1 (1):111-130.

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.

View all 9 references / Add more references