Hector J. Levesque

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Venues

IJCAI (4) AAAI (1)

Top co-authors

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

Research topics

Artificial Intelligence (1) Knowledge & Reasoning (1) Machine Learning (1) Core AI (1) Core Methods (1) Optimization & Theory (1) Reasoning (1) Representation (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 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 Reasoning about Continuous Uncertainty in the Situation Calculus IJCAI 2013