Bounded situation calculus action theories

, &
Artificial Intelligence 237 (C):172-203 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2016.04.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
ConGolog, a concurrent programming language based on the situation calculus.Giuseppe De Giacomo, Yves Lespérance & Hector J. Levesque - 2000 - Artificial Intelligence 121 (1-2):109-169.
An unexpected separation result in Linearly Bounded Arithmetic.Arnold Beckmann & Jan Johannsen - 2005 - Mathematical Logic Quarterly 51 (2):191-200.
Two General Results on Intuitionistic Bounded Theories.Fernando Ferreira - 1999 - Mathematical Logic Quarterly 45 (3):399-407.
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.
A sorting network in bounded arithmetic.Emil Jeřábek - 2011 - Annals of Pure and Applied Logic 162 (4):341-355.
A Framework for Theories of Bounded Rationality.Richard John Reiner - 1993 - Dissertation, York University (Canada)
Formalization of strips in situation calculus.John McCarthy - manuscript
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Knowledge and planning in an action-based multi-agent framework: A case study.Oliver Schulte - unknown
-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
Preservation theorems and restricted consistency statements in bounded arithmetic.Arnold Beckmann - 2004 - Annals of Pure and Applied Logic 126 (1-3):255-280.
On theories of bounded arithmetic for NC 1.Emil Jeřábek - 2011 - Annals of Pure and Applied Logic 162 (4):322-340.

Analytics

Added to PP
2020-12-22

Downloads
14 (#985,107)

6 months
13 (#190,565)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.
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.

View all 9 references / Add more references