A Logical Theory of Localization

By Vaishak Belle, Hector J. Levesque. 2015

9 citations recorded by the source corpus.

Subfields: Artificial Intelligence

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Vaishak Belle
2. Gerhard Lakemeyer
3. Hector J. Levesque
4. Longo Luca
5. Giulia Vilone
6. Timo Speith

Citations in the corpus

• Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, background): “In [Belle and Levesque, 2015b], a preliminary investigation on extending the BHL scheme to multiple agents is considered.”
• Reasoning about Probabilities in Unbounded First-Order Dynamical Domains (2017, background): “The first-order nature of the logic allows us to capture domains quite beyond standard probabilistic formalisms − see [Bacchus et al., 1999; Belle and Levesque, 2015], for example − but to illustrate the features of the language, we will focus on two variants using a simple 1-dimensional robot.”