A logical theory of localization
DOI10.1007/S11225-015-9625-0zbMATH Open1371.03040OpenAlexW1743668334MaRDI QIDQ310092FDOQ310092
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
Recommendations
knowledge representationsituation calculusmulti-agent logicsreasoning about action and changereasoning about knowledge and belief
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42) Logic in computer science (03B70)
Cites Work
- GOLOG: A logic programming language for dynamic domains
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Title not available (Why is that?)
- Title not available (Why is that?)
- An introduction to infinite-dimensional analysis
- Title not available (Why is that?)
- FLUX: A logic programming method for reasoning agents
- Title not available (Why is that?)
- Robust Monte Carlo localization for mobile robots
- How to progress a database
- Markov logic networks
- The Cognitive Agents Specification Language and Verification Environment
- Reasoning about knowledge and probability
- Knowledge, action, and the frame problem
- Dynamic update with probabilities
- Probabilistic logic programming
- 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
- Two approaches to efficient open-world reasoning
- Knowledge, probability, and adversaries
- Title not available (Why is that?)
- An analysis of first-order logics of probability
- Robot location estimation in the situation calculus
Cited In (15)
- Probabilistic reasoning about epistemic action narratives
- An existential locality theorem
- Locative ontology. I, II, III
- A theory of processes with localities
- Analyzing generalized planning under nondeterminism
- Notions of locality and their logical characterizations over finite models
- A theory and implementation of cognitive mobile robots
- Locality in theory space
- Footprints in Local Reasoning
- Switching and Learning in Feedback Systems
- A locality principle for system theory.
- A semantic model of confinement and locality theorem
- A Local System for Classical Logic
- First Steps in Descriptive Theory of Locales
- Title not available (Why is that?)
Uses Software
This page was built for publication: A logical theory of localization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q310092)
