A logical theory of localization
DOI10.1007/s11225-015-9625-0zbMath1371.03040OpenAlexW1743668334MaRDI QIDQ310092
Vaishak Belle, Hector J. Levesque
Publication date: 7 September 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/28649011/10.1007_s11225_015_9625_0_1.pdf
knowledge representationsituation calculusmulti-agent logicsreasoning about action and changereasoning about knowledge and belief
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70) Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An analysis of first-order logics of probability
- Knowledge, action, and the frame problem
- Robot location estimation in the situation calculus
- Dynamic update with probabilities
- Probabilistic logic programming
- How to progress a database
- Reasoning about noisy sensors and effectors in the situation calculus
- Experiences with an interactive museum tour-guide robot
- Asynchronous knowledge with hidden actions in the situation calculus
- Probabilistic situation calculus
- Markov logic networks
- An introduction to infinite-dimensional analysis
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- The Cognitive Agents Specification Language and Verification Environment
- Knowledge, probability, and adversaries
- Reasoning about knowledge and probability
- GOLOG: A logic programming language for dynamic domains
- FLUX: A logic programming method for reasoning agents
- Robust Monte Carlo localization for mobile robots
This page was built for publication: A logical theory of localization
