Hector J. Levesque

167 papers A* 69A 9B 6Journal 44Unranked 31

Year	Rank	Type	Title / Venue / Authors
2022	A*	`conf`	Toward a New Science of Common Sense. AAAI Ronald J. Brachman, Hector J. Levesque
2021	J	`jnl`	Toward a New Science of Common Sense. CoRR Ronald J. Brachman, Hector J. Levesque
2020	A*	`conf`	A First-Order Logic of Limited Belief Based on Possible Worlds. KR Gerhard Lakemeyer, Hector J. Levesque
2020	A*	`conf`	Changing Beliefs about Domain Dynamics in the Situation Calculus. KR Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
2020	J	`jnl`	Regression and progression in stochastic domains. Artif. Intell. Vaishak Belle, Hector J. Levesque
2019	A*	`conf`	A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2019	J	`jnl`	An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events. Stud Logica James P. Delgrande, Hector J. Levesque
2018	J	`jnl`	Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. CoRR Vaishak Belle, Hector J. Levesque
2018	J	`jnl`	Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Artif. Intell. Vaishak Belle, Hector J. Levesque
2018	A*	`conf`	Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. KR Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
2017	—	`conf`	Towards Representing What Readers of Fiction Believe. COMMONSENSE Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith
2016	A*	`conf`	A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque
2016	J	`jnl`	A Logical Theory of Localization. Stud Logica Vaishak Belle, Hector J. Levesque
2016	A*	`conf`	Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR Gerhard Lakemeyer, Hector J. Levesque
2016	A*	`conf`	Foundations for Generalized Planning in Unbounded Stochastic Domains. KR Vaishak Belle, Hector J. Levesque
2015	A*	`conf`	ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. IJCAI Vaishak Belle, Hector J. Levesque
2015	—	`conf`	Adding DL-Lite TBoxes to Proper Knowledge Bases. ISWC (1) Giuseppe De Giacomo, Hector J. Levesque
2015	J	`jnl`	Robot location estimation in the situation calculus. J. Appl. Log. Vaishak Belle, Hector J. Levesque
2015	—	`conf`	Towards Tractable Inference for Resource-Bounded Agents. AAAI Spring Symposia Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
2014	—	`conf`	A Logical Theory of Robot Localization. AAAI Spring Symposia Vaishak Belle, Hector J. Levesque
2014	A	`conf`	A logical theory of robot localization. AAMAS Vaishak Belle, Hector J. Levesque
2014	A*	`conf`	Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. KR Gerhard Lakemeyer, Hector J. Levesque
2014	A*	`conf`	Forgetting in Action. KR David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher
2014	A*	`conf`	How to Progress Beliefs in Continuous Domains. KR Vaishak Belle, Hector J. Levesque
2014	—	`ch.`	Incorporating Action Models into the Situation Calculus. Johan van Benthem on Logic and Information Dynamics Yongmei Liu, Hector J. Levesque
2014	J	`jnl`	On our best behaviour. Artif. Intell. Hector J. Levesque
2014	A*	`conf`	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. AAAI Vaishak Belle, Hector J. Levesque
2014	J	`jnl`	Robot Location Estimation in the Situation Calculus. CoRR Vaishak Belle, Hector J. Levesque
2013	A*	`conf`	A Formal Account of Nondeterministic and Failed Actions. IJCAI James P. Delgrande, Hector J. Levesque
2013	A*	`conf`	Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2013	J	`jnl`	How to progress a database III. Artif. Intell. Stavros Vassos, Hector J. Levesque
2013	A*	`conf`	Reasoning about Continuous Uncertainty in the Situation Calculus. IJCAI Vaishak Belle, Hector J. Levesque
2013	A	`conf`	Reasoning about Probabilities in Dynamic Systems using Goal Regression. UAI Vaishak Belle, Hector J. Levesque
2013	J	`jnl`	Reasoning about Probabilities in Dynamic Systems using Goal Regression. CoRR Vaishak Belle, Hector J. Levesque
2012	A*	`conf`	Belief Revision with Sensing and Fallible Actions. KR James P. Delgrande, Hector J. Levesque
2012	A*	`conf`	Only-Knowing Meets Nonmonotonic Modal Logic. KR Gerhard Lakemeyer, Hector J. Levesque
2012	—	`conf`	The Truth about Defaults. Correct Reasoning Hector J. Levesque, Gerhard Lakemeyer
2012	A*	`conf`	The Winograd Schema Challenge. KR Hector J. Levesque, Ernest Davis, Leora Morgenstern
2011	A*	`conf`	A Correctness Result for Reasoning about One-Dimensional Planning Problems. IJCAI Yuxiao Hu, Hector J. Levesque
2011	J	`jnl`	A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. Gerhard Lakemeyer, Hector J. Levesque
2011	A*	`conf`	Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2011	J	`jnl`	Iterated belief change in the situation calculus. Artif. Intell. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
2011	—	`conf`	The Winograd Schema Challenge. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Hector J. Levesque
2010	—	`conf`	10081 Abstracts Collection - Cognitive Robotics. Cognitive Robotics Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri
2010	A*	`conf`	A Correctness Result for Reasoning about One-Dimensional Planning Problems. KR Yuxiao Hu, Hector J. Levesque
2010	—	`ed.`	Cognitive Robotics, 21.02. - 26.02.2010 Cognitive Robotics Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri
2010	—	`conf`	Cognitive Robotics. Cognitive Robotics Hector J. Levesque, Gerhard Lakemeyer
2009	—	`conf`	A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications Gerhard Lakemeyer, Hector J. Levesque
2009	A*	`conf`	A Semantical Account of Progression in the Presence of Defaults. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2009	—	`ch.`	IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Multi-Agent Programming, Languages, Tools and Applications Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
2009	A*	`conf`	Is It Enough to Get the Behavior Right? IJCAI Hector J. Levesque
2008	—	`ch.`	Cognitive Robotics. Handbook of Knowledge Representation Hector J. Levesque, Gerhard Lakemeyer
2008	A*	`conf`	First-Order Strong Progression for Local-Effect Basic Action Theories. KR Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque
2008	A*	`conf`	On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. AAAI Stavros Vassos, Hector J. Levesque
2007	A*	`conf`	A Logical Theory of Coordination and Joint Ability. AAAI Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
2007	—	`conf`	A Logical Theory of Coordination and Joint Ability. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
2007	J	`jnl`	Goal Change in the Situation Calculus. J. Log. Comput. Steven Shapiro, Yves Lespérance, Hector J. Levesque
2007	A*	`conf`	Progression of Situation Calculus Action Theories with Incomplete Information. IJCAI Stavros Vassos, Hector J. Levesque
2007	—	`conf`	Some Further Thoughts on Expressiveness and Tractability. Description Logics Hector J. Levesque
2007	A	`conf`	Towards a logical theory of coordination and joint ability. AAMAS Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
2006	A*	`conf`	On the Limits of Planning over Belief States under Strict Uncertainty. KR Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2006	A	`conf`	The Truth About Defaults. ECAI Hector J. Levesque
2006	A*	`conf`	Towards an Axiom System for Default Logic. AAAI Gerhard Lakemeyer, Hector J. Levesque
2005	A*	`conf`	Goal Change. IJCAI Steven Shapiro, Yves Lespérance, Hector J. Levesque
2005	A*	`conf`	Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI Gerhard Lakemeyer, Hector J. Levesque
2005	A*	`conf`	Planning with Loops. IJCAI Hector J. Levesque
2005	A*	`conf`	Semantics for a useful fragment of the situation calculus. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2005	J	`jnl`	The 2005 AAAI Classic Paper Awards. AI Mag. Tom M. Mitchell, Hector J. Levesque
2005	A*	`conf`	Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI Yongmei Liu, Hector J. Levesque
2005	A*	`conf`	Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI Yongmei Liu, Hector J. Levesque
2004	A*	`conf`	A Logic of Limited Belief for Reasoning with Disjunctive Information. KR Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
2004	J	`jnl`	Introduction. Ann. Math. Artif. Intell. Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling
2004	—	`book`	Knowledge Representation and Reasoning. Ronald J. Brachman, Hector J. Levesque
2004	A	`conf`	On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2004	J	`jnl`	On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2004	A*	`conf`	Situations, Si! Situation Terms, No! KR Gerhard Lakemeyer, Hector J. Levesque
2003	A*	`conf`	A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI Yongmei Liu, Hector J. Levesque
2003	J	`jnl`	Knowledge, action, and the frame problem. Artif. Intell. Richard B. Scherl, Hector J. Levesque
2002	J	`jnl`	In Memory of Ray Reiter (1939-2002). AI Mag. Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque
2002	A*	`conf`	Knowledge Equivalence in Combined Action Theories. KR Ronald P. A. Petrick, Hector J. Levesque
2002	A*	`conf`	On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
2002	A	`conf`	The cognitive agents specification language and verification environment for multiagent systems. AAMAS Steven Shapiro, Yves Lespérance, Hector J. Levesque
2001	J	`jnl`	Incremental execution of guarded theories. ACM Trans. Comput. Log. Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
2000	J	`jnl`	Ability and Knowing How in the Situation Calculus. Stud Logica Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
2000	A	`conf`	An Embedding of ConGolog in 3APL. ECAI Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
2000	J	`jnl`	ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2000	A*	`conf`	Iterated Belief Change in the Situation Calculus. KR Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
2000	—	`conf`	Querying AOL Knowledge Bases. Intellectics and Computational Logic Gerhard Lakemeyer, Hector J. Levesque
2000	—	`conf`	Semantics of Agent Communication Languages for Group Interaction. AAAI/IAAI Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque
2000	—	`conf`	The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. ICMAS Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque
2000	—	`book`	The logic of knowledge bases. Hector J. Levesque, Gerhard Lakemeyer
1999	A*	`conf`	Projection Using Regression and Sensors. IJCAI Giuseppe De Giacomo, Hector J. Levesque
1999	A*	`conf`	Query Evaluation and Progression in AOL Knowledge Bases. IJCAI Gerhard Lakemeyer, Hector J. Levesque
1999	J	`jnl`	Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1998	A*	`conf`	A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. KR Hector J. Levesque
1998	A*	`conf`	AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR Gerhard Lakemeyer, Hector J. Levesque
1998	J	`jnl`	Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. Hector J. Levesque, Fiora Pirri, Raymond Reiter
1998	J	`jnl`	Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1998	A*	`conf`	What Robots Can Do. KR Hector J. Levesque
1998	J	`jnl`	What Robots Can Do: Robot Programs and Effective Achievability. Artif. Intell. Fangzhen Lin, Hector J. Levesque
1997	—	`conf`	An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Agents Yves Lespérance, Hector J. Levesque, Shane J. Ruman
1997	—	`conf`	Controlling Autonomous Robots with Australian Joint Conference on Artificial Intelligence Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin
1997	J	`jnl`	GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
1997	—	`conf`	Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
1997	—	`conf`	Specifying Communicative Multi-Agent Systems (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Steven Shapiro, Yves Lespérance, Hector J. Levesque
1996	—	`conf`	An Experiment in Using Golog to Build a Personal Banking Assistant. PRICAI Workshop on Intelligent Agent Systems Yves Lespérance, Hector J. Levesque, Shane J. Ruman
1996	J	`jnl`	Generating Hard Satisfiability Problems. Artif. Intell. Bart Selman, David G. Mitchell, Hector J. Levesque
1996	J	`jnl`	Some Pitfalls for Experimenters with Random SAT. Artif. Intell. David G. Mitchell, Hector J. Levesque
1996	J	`jnl`	Support Set Selection for Abductive and Default Reasoning. Artif. Intell. Bart Selman, Hector J. Levesque
1996	J	`jnl`	Undirected Behavior Without Unbounded Search. ACM Comput. Surv. Ronald J. Brachman, Hector J. Levesque
1996	—	`conf`	What Is Planning in the Presence of Sensing? AAAI/IAAI, Vol. 2 Hector J. Levesque
1995	—	`conf`	Communicative Actions for Artificial Agents. ICMAS Philip R. Cohen, Hector J. Levesque
1995	—	`conf`	Foundations of a Logical Approach to Agent Programming. ATAL Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl
1995	J	`jnl`	Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. Yves Lespérance, Hector J. Levesque
1995	—	`conf`	Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1995	A*	`conf`	Reasoning about Noisy Sensors in the Situation Calculus. IJCAI Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1995	J	`jnl`	Undirected Behaviour Without Unbounded Search. ACM Comput. Surv. Ronald J. Brachman, Hector J. Levesque
1994	B	`conf`	Knowledge, Action, and Ability in the Situation Calculus. TARK Hector J. Levesque
1994	J	`jnl`	Preliminaries to a collaborative model of dialogue. Speech Communication Philip R. Cohen, Hector J. Levesque
1993	J	`jnl`	The Complexity of Path-Based Defeasible Inheritance. Artif. Intell. Bart Selman, Hector J. Levesque
1993	A*	`conf`	The Frame Problem and Knowledge-Producing Actions. AAAI Richard B. Scherl, Hector J. Levesque
1992	A*	`conf`	A New Method for Solving Hard Satisfiability Problems. AAAI Bart Selman, Hector J. Levesque, David G. Mitchell
1992	A*	`conf`	Hard and Easy Distributions of SAT Problems. AAAI David G. Mitchell, Bart Selman, Hector J. Levesque
1991	—	`conf`	Belief and Introspection. Artificial and Mathematical Theory of Computation Hector J. Levesque
1991	A*	`conf`	Confirmations and Joint Action. IJCAI Philip R. Cohen, Hector J. Levesque
1991	J	`jnl`	Introduction to the Special Volume on Knowledge Representation. Artif. Intell. Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
1991	—	`ch.`	The Tractability of Path-Based Inheritance. Principles of Semantic Networks Bart Selman, Hector J. Levesque
1990	A*	`conf`	Abductive and Default Reasoning: A Computational Core. AAAI Bart Selman, Hector J. Levesque
1990	J	`jnl`	All I Know: A Study in Autoepistemic Logic. Artif. Intell. Hector J. Levesque
1990	A*	`conf`	Indexical Knowledge in Robot Plans. AAAI Yves Lespérance, Hector J. Levesque
1990	J	`jnl`	Intention is Choice with Commitment. Artif. Intell. Philip R. Cohen, Hector J. Levesque
1990	A*	`conf`	On Acting Together. AAAI Hector J. Levesque, Philip R. Cohen, José H. T. Nunes
1990	A*	`conf`	Performatives in a Rationally Based Speech Act Theory. ACL Philip R. Cohen, Hector J. Levesque
1989	A*	`conf`	A Knowledge-Level Account of Abduction. IJCAI Hector J. Levesque
1989	A*	`ed.`	Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. KR Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
1989	A*	`conf`	The Tractability of Path-Based Inheritance. IJCAI Bart Selman, Hector J. Levesque
1988	B	`conf`	A Tractable Knowledge Representation Service with Full Introspection. TARK Gerhard Lakemeyer, Hector J. Levesque
1988	B	`conf`	Comments on "Knowledge, Representation, and Rational Self-Government". TARK Hector J. Levesque
1988	J	`jnl`	Logic and the complexity of reasoning. J. Philos. Log. Hector J. Levesque
1988	B	`conf`	Panel: Locality vs. Rationality. TARK Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore
1988	J	`jnl`	The consistency of syntactical treatments of knowledge. Comput. Intell. Jim des Rivières, Hector J. Levesque
1987	A*	`conf`	All I Know: An Abridged Report. AAAI Hector J. Levesque
1987	J	`jnl`	Expressiveness and tractability in knowledge representation and reasoning. Comput. Intell. Hector J. Levesque, Ronald J. Brachman
1987	A*	`conf`	Intention = Choice + Commitment. AAAI Philip R. Cohen, Hector J. Levesque
1986	J	`jnl`	Making Believers out of Computers. Artif. Intell. Hector J. Levesque
1986	B	`conf`	Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? TARK Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason
1986	—	`conf`	Tales from the Far Side of KRYPTON. Expert Database Conf. Ronald J. Brachman, Hector J. Levesque
1986	B	`conf`	The Consistency of Syntactical Treatments of Knowledge. TARK Jim des Rivières, Hector J. Levesque
1985	—	`conf`	A View Of Knowledge Representation. On Knowledge Base Management Systems (Islamorada) Hector J. Levesque
1985	A*	`conf`	An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque
1985	—	`conf`	Knowledge Level Interfaces to Information Systems. On Knowledge Base Management Systems (Islamorada) Hector J. Levesque, Ronald J. Brachman
1985	A*	`conf`	Speech Acts and Rationality. ACL Philip R. Cohen, Hector J. Levesque
1985	—	`conf`	The Knowledge Level of a KBMS. On Knowledge Base Management Systems (Islamorada) Ronald J. Brachman, Hector J. Levesque
1984	A*	`conf`	A Logic of Implicit and Explicit Belief. AAAI Hector J. Levesque
1984	J	`jnl`	Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. Hector J. Levesque
1984	A*	`conf`	The Tractability of Subsumption in Frame-Based Description Languages. AAAI Ronald J. Brachman, Hector J. Levesque
1984	—	`conf`	What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level. Expert Database Workshop Ronald J. Brachman, Hector J. Levesque
1983	—	`conf`	An Overview of Knowledge Representation. GWAI John Mylopoulos, Hector J. Levesque
1983	A*	`conf`	KRYPTON: Integrating Terminology and Assertion. AAAI Ronald J. Brachman, Hector J. Levesque, Richard Fikes
1983	J	`jnl`	Krypton: A Functional Approach to Knowledge Representation. Computer Ronald J. Brachman, Richard Fikes, Hector J. Levesque
1982	A	`conf`	An Overview of Knowledge Representation. On Conceptual Modelling (Intervale) John Mylopoulos, Hector J. Levesque
1982	A*	`conf`	Competence in Knowledge Representation. AAAI Ronald J. Brachman, Hector J. Levesque
1982	A	`conf`	The Logic of Incomplete Knowledge Bases. On Conceptual Modelling (Intervale) Hector J. Levesque
1981	—	`—`	A formal treatment of incomplete knowledge bases. Hector J. Levesque
1981	A*	`conf`	The Interaction with Incomplete Knowledge Bases: A Formal Treatment. IJCAI Hector J. Levesque
1980	—	`conf`	Incompleteness in Knowledge Bases. Workshop on Data Abstraction, Databases and Conceptual Modelling Hector J. Levesque
1977	A*	`conf`	An Overview of a Procedural Approach to Semantic Networks. IJCAI Hector J. Levesque, John Mylopoulos