Reasoning about noisy sensors and effectors in the situation calculus

, &
Artificial Intelligence 111 (1-2):171-208 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(99)00031-4

Links

PhilArchive



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

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

Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.Vaishak Belle & Hector J. Levesque - 2018 - Artificial Intelligence 262 (C):189-221.
A Logical Theory of Localization.Vaishak Belle & Hector J. Levesque - 2016 - Studia Logica 104 (4):741-772.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Map learning with uninterpreted sensors and effectors.David Pierce & Benjamin J. Kuipers - 1997 - Artificial Intelligence 92 (1-2):169-227.
Actions and other events in situation calculus.John McCarthy - manuscript
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.
Robot location estimation in the situation calculus.Vaishak Belle & Hector J. Levesque - 2015 - Journal of Applied Logic 13 (4):397-413.
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.
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.
Formalization of strips in situation calculus.John McCarthy - manuscript
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.
Bayesian Rationality: The Probabilistic Approach to Human Reasoning.Mike Oaksford & Nick Chater - 2007 - Oxford University Press.
Stereotypical reasoning: logical properties.D. Lehmann - 1998 - Logic Journal of the IGPL 6 (1):49-58.
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.

Analytics

Added to PP
2020-12-22

Downloads
15 (#889,556)

6 months
7 (#339,156)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joseph Y. Halpern
Cornell University

Citations of this work

Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.
Analyzing generalized planning under nondeterminism.Vaishak Belle - 2022 - Artificial Intelligence 307 (C):103696.

View all 22 citations / Add more citations

References found in this work

No references found.

Add more references