generated by bibbase.org
  2018 (1)
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Belle, V.; and Levesque, H. J. Artif. Intell., 262: 189–221. 2018.
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems [link]Paper   doi   link   bibtex   6 downloads  
  2016 (3)
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. Belle, V.; Lakemeyer, G.; and Levesque, H. J. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pages 893–899, 2016.
A First-Order Logic of Probability and Only Knowing in Unbounded Domains [link]Paper   link   bibtex  
Foundations for Generalized Planning in Unbounded Stochastic Domains. Belle, V.; and Levesque, H. J. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pages 380–389, 2016.
Foundations for Generalized Planning in Unbounded Stochastic Domains [link]Paper   link   bibtex  
A Logical Theory of Localization. Belle, V.; and Levesque, H. J. Studia Logica, 104(4): 741–772. 2016.
A Logical Theory of Localization [link]Paper   doi   link   bibtex  
  2015 (4)
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. Belle, V.; and Levesque, H. J. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2762–2769, 2015.
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains [link]Paper   link   bibtex  
Robot location estimation in the situation calculus. Belle, V.; and Levesque, H. J. J. Applied Logic, 13(4): 397–413. 2015.
Robot location estimation in the situation calculus [link]Paper   doi   link   bibtex   1 download  
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In The 29th AAAI Conference on Artificial Intelligence (AAAI), 2015.
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach [pdf]Paper   link   bibtex   12 downloads  
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version). Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In Workshop on Distributed and Multi-Agent Planning (DMAP'15) at ICAPS, 2015.
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version) [pdf]Paper   link   bibtex   7 downloads  
  2014 (5)
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. Belle, V.; and Levesque, H. J. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pages 989–995, 2014.
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains [link]Paper   link   bibtex   33 downloads  
A logical theory of robot localization. Belle, V.; and Levesque, H. J. In International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pages 349–356, 2014.
A logical theory of robot localization [link]Paper   link   bibtex   16 downloads  
How to Progress Beliefs in Continuous Domains. Belle, V.; and Levesque, H. J. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014.
How to Progress Beliefs in Continuous Domains [link]Paper   link   bibtex   21 downloads  
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. Muise, C.; Belle, V.; and McIlraith, S. A. In The 28th AAAI Conference on Artificial Intelligence (AAAI), 2014.
Computing Contingent Plans via Fully Observable Non-Deterministic Planning [pdf]Paper   link   bibtex   65 downloads  
Non-Deterministic Planning With Conditional Effects. Muise, C.; McIlraith, S. A.; and Belle, V. In The 24th International Conference on Automated Planning and Scheduling (ICAPS), 2014.
Non-Deterministic Planning With Conditional Effects [pdf]Paper   link   bibtex   55 downloads  
  2013 (4)
Reasoning about Continuous Uncertainty in the Situation Calculus. Belle, V.; and Levesque, H. J. In Proc. IJCAI, 2013.
Reasoning about Continuous Uncertainty in the Situation Calculus [pdf]Paper   link   bibtex   35 downloads  
Robot Location Estimation in the Situation Calculus. Belle, V.; and Levesque, H. J. In Symposium on Logical Formalizations of Commonsense Reasoning, 2013.
Robot Location Estimation in the Situation Calculus [pdf]Paper   link   bibtex   19 downloads  
Reasoning about Probabilities in Dynamic Systems using Goal Regression. Belle, V.; and Levesque, H. J. In Proc. Uncertainty in Artificial Intelligence (UAI), 2013.
Reasoning about Probabilities in Dynamic Systems using Goal Regression [pdf]Paper   link   bibtex   33 downloads  
Reasoning about Motion Kinematics with Continuous Uncertainty in the Situation Calculus. Belle, V.; and Levesque, H. J. In Workshop on Nonmonotonic Reasoning, Action and Change, 2013.
Reasoning about Motion Kinematics with Continuous Uncertainty in the Situation Calculus [pdf]Paper   link   bibtex   18 downloads  
  2011 (3)
A Semantical Account of Progression in the Presence of Uncertainty. Belle, V.; and Lakemeyer, G. In Proc. AAAI, pages 165-170, 2011.
A Semantical Account of Progression in the Presence of Uncertainty [pdf]Paper   link   bibtex   abstract   12 downloads  
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. Belle, V.; and Lakemeyer, G. In Proc. IJCAI, pages 255-260, 2011.
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols [pdf]Paper   link   bibtex   abstract   12 downloads  
Multi-Agent Only-Knowing. Belle, V.; and Lakemeyer, G. In Lakemeyer, G.; and McIlraith, S. A., editor(s), Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, pages 67-86. College Publications, 2011.
link   bibtex   8 downloads  
  2010 (2)
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. Belle, V.; and Lakemeyer, G. In Proc. AAAI, pages 255–261, 2010.
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus [link]Link   link   bibtex   15 downloads  
Multi-Agent Only-Knowing Revisited. Belle, V.; and Lakemeyer, G. In Proc. KR, pages 49–60, 2010.
Multi-Agent Only-Knowing Revisited [link]Link   link   bibtex   12 downloads