- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
Artificial Intelligence 111 (1-2):277-299 (1999)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
The Concurrent, Continuous Fluent Calculus.Thielscher Michael - 2001 - Studia Logica 67 (3):315-331.
Situation calculus for controller synthesis in manufacturing systems with first-order state representation.Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi & Sebastian Sardiña - 2022 - Artificial Intelligence 302 (C):103598.
Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia.Murray Shanahan & Professor of Cognitive Robotics Murray Shanahan - 1997 - MIT Press.
Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.
Property persistence in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2010 - Artificial Intelligence 174 (12-13):865-888.
The well-designed logical robot: Learning and experience from observations to the Situation Calculus.Fiora Pirri - 2011 - Artificial Intelligence 175 (1):378-415.
Non-Markovian control in the Situation Calculus.Alfredo Gabaldon - 2011 - Artificial Intelligence 175 (1):25-48.
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.
Analytics
Added to PP
2020-12-22
Downloads
16 (#1,179,154)
6 months
7 (#665,875)
2020-12-22
Downloads
16 (#1,179,154)
6 months
7 (#665,875)
Historical graph of downloads
Citations of this work
Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5):723-753.
Communicative Intentions and Conversational Processes in Human-Human and Human-Computer Dialogue.Matthew Stone - unknown
Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
Bounded situation calculus action theories.Giuseppe De Giacomo, Yves Lespérance & Fabio Patrizi - 2016 - Artificial Intelligence 237 (C):172-203.
A semantic characterization of a useful fragment of the situation calculus with knowledge.Gerhard Lakemeyer & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):142-164.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-cvrck dc2