Hector Levesque

Hector Levesque's AcademicInfluence.com Rankings

Hector Levesque

Computer Science

#754

World Rank

#777

Historical Rank

Artificial Intelligence

#53

World Rank

#56

Historical Rank

Database

#1208

World Rank

#1272

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Hector Levesque Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Hector Joseph Levesque is a Canadian academic and researcher in artificial intelligence. His research concerns incorporating commonsense reasoning in intelligent systems and he initiated the Winograd Schemas Challenge.

(See a Problem?)

Hector Levesque's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Intention is Choice with Commitment (1987) (2331)
A New Method for Solving Hard Satisfiability Problems (1992) (1490)
GOLOG: A Logic Programming Language for Dynamic Domains (1997) (1300)
Hard and Easy Distributions of SAT Problems (1992) (1126)
The Winograd Schema Challenge (2011) (887)
Readings in Knowledge Representation (1985) (806)
A Logic of Implicit and Explicit Belief (1984) (711)
On Acting Together (1990) (697)
ConGolog, a concurrent programming language based on the situation calculus (2000) (610)
Knowledge Representation and Reasoning (2004) (588)
The Tractability of Subsumption in Frame-Based Description Languages (1984) (461)
All I Know: A Study in Autoepistemic Logic (1990) (442)
Krypton: A Functional Approach to Knowledge Representation (1983) (420)
Foundations of a Functional Approach to Knowledge Representation (1984) (416)
Expressiveness and tractability in knowledge representation and reasoning 1 (1987) (387)
Communicative Actions for Artificial Agents (1997) (351)
Rational interaction as the basis for communication (2003) (351)
The Frame Problem and Knowledge-Producing Actions (1993) (335)
Knowledge, action, and the frame problem (2003) (317)
Foundations for the Situation Calculus (1998) (310)
Generating Hard Satisfiability Problems (1996) (308)
What Is Planning in the Presence of Sensing? (1996) (291)
An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON (1985) (286)
Making Believers out of Computers (1986) (269)
Abductive and Default Reasoning: A Computational Core (1990) (233)
Logic and the complexity of reasoning (1988) (222)
The logic of knowledge bases (2000) (215)
A Knowledge-Level Account of Abduction (1989) (210)
An overview of Knowledge Representation (1983) (206)
Foundations of a Logical Approach to Agent Programming (1995) (177)
The adaptive agent architecture: achieving fault-tolerance using persistent broker teams (2000) (157)
An Incremental Interpreter for High-Level Programs with Sensing (1999) (147)
A Logical Approach to High-Level Robot Programming A Progress Report* (1994) (132)
Cognitive Robotics (2008) (126)
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus (1997) (123)
Speech Acts and Rationality (1985) (122)
Confirmations and Joint Action (1991) (118)
On the Semantics of Deliberation in IndiGolog — from Theory to Implementation (2002) (115)
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus (1995) (113)
Persistence, Intention, and Commitment (2003) (110)
Reasoning about Noisy Sensors in the Situation Calculus (1995) (110)
Hard problems for simple default logics (1992) (106)
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents (2009) (106)
Performatives in a Rationally Based Speech Act Theory (1990) (103)
Iterated belief change in the situation calculus (2000) (102)
Planning with Loops (2005) (100)
Reasoning about Noisy Sensors and Effectors in the Situation Calculus (1999) (99)
The Tractability of Path-Based Inheritance (1989) (99)
The cognitive agents specification language and verification environment for multiagent systems (2002) (96)
A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS (1979) (93)
On our best behaviour (2014) (92)
Competence in Knowledge Representation (1982) (80)
Ability and Knowing How in the Situation Calculus (2000) (75)
Common Sense, the Turing Test, and the Quest for Real AI (2017) (72)
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions (2005) (71)
A formal treatment of incomplete knowledge bases (1981) (71)
Semantics of Agent Communication Languages for Group Interaction (2000) (69)
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases (1998) (68)
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing (1998) (68)
KRYPTON: Integrating Terminology and Assertion (1983) (66)
The Logic of Incomplete Knowledge Bases (1982) (61)
Projection Using Regression and Sensors (1999) (55)
Situations, Si! Situation Terms, No! (2004) (54)
Indexical Knowledge and Robot Action - A Logical Account (1995) (49)
A Situation Calculus Approach to Modeling and Programming Agents (1999) (47)
The consistency of syntactical treatments of knowledge (1986) (46)
Support Set Selection for Abductive and Default Reasoning (1996) (44)
A semantic characterization of a useful fragment of the situation calculus with knowledge (2011) (44)
Knowledge Equivalence in Combined Action Theories (2002) (43)
Preliminaries to a collaborative model of dialogue (1994) (43)
The Interaction with Incomplete Knowledge Bases: A Formal Treatment (1981) (42)
What Robots Can Do: Robot Programs and Effective Achievability (1998) (40)
Chapter 14 – Actions (2004) (39)
Incremental execution of guarded theories (2001) (39)
Some Pitfalls for Experimenters with Random SAT (1996) (39)
Legolog : Inexpensive Experiments in Cognitive Robotics (2000) (39)
Goal Change (2005) (39)
Progression of Situation Calculus Action Theories with Incomplete Information (2007) (36)
A Logic of Limited Belief for Reasoning with Disjunctive Information (2004) (36)
What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level (1984) (36)
All I Know: An Abridged Report (1987) (33)
Semantics for a useful fragment of the situation calculus (2005) (33)
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (2008) (32)
Nonmonotonic reasoning in the framework of situation calculus (1992) (32)
A Correctness Result for Reasoning about One-Dimensional Planning Problems (2010) (32)
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (1991) (32)
The Language of First-Order Logic (2004) (31)
On the Limits of Planning over Belief States under Strict Uncertainty (2006) (30)
Communicative Actions for Artiicial Agents (1995) (30)
Specifying Communicative Multi-Agent Systems (Invited Paper) (1997) (29)
Knowledge representation (1991) (28)
The Knowledge Level of a KBMS (1986) (26)
Generating Hard Satis ability Problems ? (1995) (26)
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases (2003) (26)
Specifying communicative multi-agent systems (1998) (25)
Foundations for Generalized Planning in Unbounded Stochastic Domains (2016) (25)
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains (2015) (24)
First-Order Strong Progression for Local-Effect Basic Action Theories (2008) (24)
A Tractable Knowledge Representation Service with Full Introspection (1988) (24)
A Semantical Account of Progression in the Presence of Defaults (2009) (24)
Towards a logical theory of coordination and joint ability (2007) (23)
Only-Knowing: Taking It Beyond Autoepistemic Reasoning (2005) (23)
The consistency of syntactical treatments of knowledge 1 (How to compile quantificational modal logics into classical FOL) (1988) (23)
The Complexity of Path-Based Defeasible Inheritance (1993) (22)
Reasoning about Continuous Uncertainty in the Situation Calculus (2013) (22)
Forgetting in Action (2014) (21)
Logical Foundations for Cognitive Agents (1999) (20)
Belief Revision with Sensing and Fallible Actions (2012) (20)
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (2018) (19)
Goals and Rational Action in the Situation Calculus--- A Preliminary Report (1995) (19)
Reasoning about Probabilities in Dynamic Systems using Goal Regression (2013) (18)
Knowledge Level Interfaces to Information Systems (1986) (18)
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (2014) (18)
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains (2014) (17)
A concurrent programming language based on the situation calculus: Language and implementation (1999) (17)
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information (2005) (17)
An Embedding of ConGolog in 3APL (2000) (17)
Tales from the Far Side of KRYPTON (1986) (16)
Proceedings of the first international conference on Principles of knowledge representation and reasoning (1989) (16)
Thinking as Computation: A First Course (2012) (16)
Towards an Axiom System for Default Logic (2006) (15)
Planning with Loops: Some New Results (2009) (15)
Embedding decision-analytic control in a learning architecture (1992) (15)
Controlling Autonomous Robots with GOLOG (1997) (14)
Is it enough to get the behaviour right (2009) (14)
An Overview of a Procedural Approach to Semantic Networks (1977) (13)
How to Progress Beliefs in Continuous Domains (2014) (13)
A View Of Knowledge Representation (1986) (13)
Indexical Knowledge in Robot Plans (1990) (12)
Only-Knowing Meets Nonmonotonic Modal Logic (2012) (11)
An Experiment in Using Golog to Build a Personal Banking Assistant (1996) (11)
The Cognitive Agents Specification Language and Verification Environment (2010) (10)
A First-Order Logic of Probability and Only Knowing in Unbounded Domains (2016) (10)
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals (2011) (10)
A Formal Account of Nondeterministic and Failed Actions (2013) (10)
On ability to autonomously execute agent programs with sensing (2004) (10)
A Logical Theory of Localization (2016) (9)
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals (2013) (9)
How to progress a database III (2013) (9)
Towards Tractable Inference for Resource-Bounded Agents (2015) (9)
Incompleteness in knowledge bases (1981) (8)
Robot location estimation in the situation calculus (2014) (8)
Knowledge, Action, and Ability in the Situation Calculus (1994) (8)
epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems (1994) (8)
Taking Issue: Guest Editor's introduction 1 (1987) (8)
Query Evaluation and Progression in AOL Knowledge Bases (1999) (7)
Team Formation (2018) (7)
Three-valued nonmonotonic formalisms and semantics of logic programs (1992) (7)
Is It Enough to Get the Behavior Right? (2009) (7)
Progressing basic action theories with non-local effect actions (2009) (6)
Introduction to the Special Volume on Knowledge Representation (1991) (5)
Object-Oriented Representation (2004) (5)
Two approaches to efficient open-world reasoning (2000) (5)
The Situation Calculus with Sensing and Indexical Knowledge (1995) (5)
Effective classification learning (1996) (4)
On Deliberation under Incomplete Information and the Inadequacy of Entailment and Consistency-Based Formalizations (2003) (4)
Regression and progression in stochastic domains (2020) (4)
Decidable Reasoning in a Logic of Limited Belief with Function Symbols (2016) (4)
Chapter 15 – Planning (2004) (4)
Toward a New Science of Common Sense (2021) (4)
Towards Representing What Readers of Fiction Believe (2017) (3)
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus (2018) (3)
Principles of metareasoning (1992) (3)
A COUNTEREXAMPLE IS WORTH A THOUSAND WORDS (1993) (3)
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, UAI 2013, Bellevue, WA, USA, August 11-15, 2013 (2013) (3)
Explanation and Diagnosis (2004) (3)
An Argument for Indexical Representations in Temporal Reasoning (1994) (3)
The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning (1992) (3)
The Consistency of Syntactical Treatments of Knowledge. (1988) (3)
Comments on "Knowledge, Representation, and Rational Self-Government" (1988) (3)
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02) (2002) (2)
The 2005 AAAI Classic Paper Awards (2005) (2)
Machines like Us (2022) (2)
The Tradeoff between Expressiveness and Tractability (2004) (2)
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief (2019) (2)
Chapter 10 – Inheritance (2004) (2)
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events (2018) (2)
Incorporating Action Models into the Situation Calculus (2014) (1)
Chapter 3 – Expressing Knowledge (2004) (1)
10081 Abstracts Collection - Cognitive Robotics (2010) (1)
On Joint Ability in the Presence of Sensing (2009) (1)
Chapter 9 – Structured Descriptions (2004) (1)
Undirected behavior without unbounded search (1996) (1)
Progression and Regression Using Sensors (2011) (1)
KNOWLEDGE REPRESENTATION AND REASONINGl (1986) (1)
The substitutional framework for sorted deduction: fundamental results on hybrid reasoning (1992) (1)
Changing Beliefs about Domain Dynamics in the Situation Calculus (2020) (1)
Vagueness, Uncertainty, and Degrees of Belief (2004) (1)
Querying AOL Knowledge Bases (2000) (1)
Rules in Production Systems (2004) (1)
Adding DL-Lite TBoxes to Proper Knowledge Bases (2015) (1)
Chapter 11 – Defaults (2004) (1)
A logical theory of robot localization (2014) (1)
KNOWLEDGE REPRESENTATION AND REASONING1 (1989) (1)
A First-Order Logic of Limited Belief Based on Possible Worlds (2020) (1)
All I Know : An Abridged Report 1 (1999) (0)
A First-Order Logical Language (2001) (0)
Panel: logicality vs. rationality (1988) (0)
Knowledge and Action (2001) (0)
The Representation Theorem (2001) (0)
An Epistemic Logical Language (2001) (0)
Impediments to universal preference-based default theories * (1992) (0)
NOTE OF APPRECIATION FROM THE EDITORS (1995) (0)
Only-Knowing-About (2001) (0)
Temporal constraint networks (1992) (0)
Undirected behavior without unbounded search (1995) (0)
Under Consideration for Publication in Theory and Practice of Logic Programming Book Review (2012) (0)
Announcements (1982) (0)
SIA On team formation (1997) (0)
Tractable Reasoning with Incomplete Knowledge in Dynamic Systems (0)
How to Execute a Conditional (1996) (0)
On the Proof Theory of OL (2001) (0)
A Logical Theory of Localization (2015) (0)
Digging for Diamonds in the Mines of Collatz (2022) (0)
Procedural Control of Reasoning (2004) (0)
Knowledge Bases as Representations of Epistemic States (2001) (0)
10081 Abstracts Collection Cognitive Robotics Dagstuhl Seminar (2010) (0)
Only-Knowing and Autoepistemic Logic (2001) (0)
Books received (2012) (0)
Empirical Analysis of Optimization Techniques for Terminological Repre- Sentation Systems Or: Making Kris Get a Move On. Applied Artiicial Intel (0)
Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? (1986) (0)
Belief and Introspection (1991) (0)
What Robots Can Do (1998) (0)
A Concept Language for an Engineering Application with Part-whole 5.5 New Perspectives in O-odm Tennis-club V (= 1 President-mbs Tennis-player) Tennis-player V ( 1 President-mbs Tennis-club) 5.3 Modeling Wholes in Object-oriented Data Models (1996) (0)
The TELL and ASK Operations (2001) (0)
The logic EOL (2001) (0)
An experiment in using Golog to build a personal banking assistant (extended abstract) (1997) (0)
Agent Research in the Cognitive Robotics Group (0)
What is planning in the resence of sensing ? * (1999) (0)
Existence assumptions in knowledge representation (1992) (0)
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events (2018) (0)
Avoiding Logical Omniscience (2001) (0)
2.2 Sensing 2.1 Acting a Logic for Acting, Sensing and Planning (1995) (0)
8 Summary of a Winograd Schema (2012) (0)
The computational complexity of abduction (1992) (0)
Some Further Thoughts on Expressiveness and Tractability (2007) (0)
The Truth about Defaults (2006) (0)
IJCAI Organization (2007) (0)
On the applicability of nonmonotonic logic to formal reasoning in continuous time (1992) (0)
2. The Logic (2017) (0)
Reasoning with Horn Clauses (2004) (0)
Panel: Locality vs. Rationality (1988) (0)
Logical Properties of Knowledge (2001) (0)
In Memory of Ray Reiter (1939-2002) (2002) (0)
Three Variations on a Theme by Collatz (2015) (0)

This paper list is powered by the following services:

Other Resources About Hector Levesque

en.wikipedia.org

What Schools Are Affiliated With Hector Levesque?

Hector Levesque is affiliated with the following schools:

University of Toronto

Hector Levesque's Academic­Influence.com Rankings

Why Is Hector Levesque Influential?

Hector Levesque's Published Works

Published Works

Other Resources About Hector Levesque

What Schools Are Affiliated With Hector Levesque?

Hector Levesque's AcademicInfluence.com Rankings