Hector J. Levesque

5 papers · 2013–2022 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13) 🚀 Conference Pioneer

Conferences

IJCAI (4) AAAI (1)

Top co-authors

Gerhard Lakemeyer (2) Ronald J. Brachman (1) James P. Delgrande (1) Vaishak Belle (1)

Keywords

knowledge representation (2) logical reasoning (1) deep learning (1) belief revision (1) first-order logic (1) artificial intelligence (1) common sense (1) representation learning (1) tractable reasoning (1)

Papers

Toward a New Science of Common Sense AAAI 2022

A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019

Reasoning about Continuous Uncertainty in the Situation Calculus IJCAI 2013

A Formal Account of Nondeterministic and Failed Actions IJCAI 2013

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals IJCAI 2013