Property persistence in the situation calculus

&
Artificial Intelligence 174 (12-13):865-888 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.05.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,619

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

Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.
Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.
Non-Markovian control in the Situation Calculus.Alfredo Gabaldon - 2011 - Artificial Intelligence 175 (1):25-48.
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.
Belief revision and projection in the epistemic situation calculus.Christoph Schwering, Gerhard Lakemeyer & Maurice Pagnucco - 2017 - Artificial Intelligence 251 (C):62-97.
Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
Asynchronous knowledge with hidden actions in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2015 - Artificial Intelligence 221 (C):1-35.
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem.Michael Thielscher - 1999 - Artificial Intelligence 111 (1-2):277-299.
Existential assertions and quantum levels on the tree of the situation calculus.Francesco Savelli - 2006 - Artificial Intelligence 170 (6-7):643-652.

Analytics

Added to PP
2020-12-22

Downloads
14 (#1,266,254)

6 months
4 (#1,234,271)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.
How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-106.

View all 7 references / Add more references