The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hector J. Levesque" ( http://dblp.L3S.de/Authors/Hector_J._Levesque )

URL (Homepage):  http://www.cs.toronto.edu/~hector/  Author page on DBLP  Author page in RDF  Community of Hector J. Levesque in ASPL-2

Publication years (Num. hits)
1977-1985 (18) 1986-1989 (15) 1990-1994 (15) 1995-1997 (17) 1998-2000 (17) 2001-2005 (20) 2006-2009 (16) 2010-2013 (19) 2014-2016 (17) 2017-2019 (6)
Publication types (Num. hits)
article(42) book(2) incollection(3) inproceedings(111) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords

Results
Found 161 publication records. Showing 160 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1James P. Delgrande, Hector J. Levesque An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith Towards Representing What Readers of Fiction Believe. Search on Bibsonomy COMMONSENSE The full citation details ... 2017 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque A Logical Theory of Localization. Search on Bibsonomy Studia Logica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque A First-Order Logic of Probability and Only Knowing in Unbounded Domains. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Foundations for Generalized Planning in Unbounded Stochastic Domains. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Decidable Reasoning in a Logic of Limited Belief with Function Symbols. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Robot location estimation in the situation calculus. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Hector J. Levesque Adding DL-Lite TBoxes to Proper Knowledge Bases. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque Towards Tractable Inference for Resource-Bounded Agents. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2015 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Hector J. Levesque On our best behaviour. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Robot Location Estimation in the Situation Calculus. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque Incorporating Action Models into the Situation Calculus. Search on Bibsonomy Johan van Benthem on Logic and Information Dynamics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque A Logical Theory of Robot Localization. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque How to Progress Beliefs in Continuous Domains. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher Forgetting in Action. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque A logical theory of robot localization. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Stavros Vassos, Hector J. Levesque How to progress a database III. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Reasoning about Probabilities in Dynamic Systems using Goal Regression. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Reasoning about Probabilities in Dynamic Systems using Goal Regression. Search on Bibsonomy UAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Vaishak Belle, Hector J. Levesque Reasoning about Continuous Uncertainty in the Situation Calculus. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1James P. Delgrande, Hector J. Levesque A Formal Account of Nondeterministic and Failed Actions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Hector J. Levesque, Gerhard Lakemeyer The Truth about Defaults. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hector J. Levesque, Ernest Davis, Leora Morgenstern The Winograd Schema Challenge. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Only-Knowing Meets Nonmonotonic Modal Logic. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1James P. Delgrande, Hector J. Levesque Belief Revision with Sensing and Fallible Actions. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque A semantic characterization of a useful fragment of the situation calculus with knowledge. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque Iterated belief change in the situation calculus. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hector J. Levesque The Winograd Schema Challenge. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Yuxiao Hu, Hector J. Levesque A Correctness Result for Reasoning about One-Dimensional Planning Problems. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri 10081 Abstracts Collection - Cognitive Robotics. Search on Bibsonomy Cognitive Robotics The full citation details ... 2010 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri (eds.) Cognitive Robotics, 21.02. - 26.02.2010 Search on Bibsonomy Cognitive Robotics The full citation details ... 2010 DBLP  BibTeX  RDF
1Hector J. Levesque, Gerhard Lakemeyer Cognitive Robotics. Search on Bibsonomy Cognitive Robotics The full citation details ... 2010 DBLP  BibTeX  RDF
1Yuxiao Hu, Hector J. Levesque A Correctness Result for Reasoning about One-Dimensional Planning Problems. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Search on Bibsonomy Multi-Agent Programming, Languages, Tools and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque A Semantical Account of Progression in the Presence of Defaults. Search on Bibsonomy Conceptual Modeling: Foundations and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque A Semantical Account of Progression in the Presence of Defaults. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Hector J. Levesque Is It Enough to Get the Behavior Right? Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Hector J. Levesque, Gerhard Lakemeyer Cognitive Robotics. Search on Bibsonomy Handbook of Knowledge Representation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stavros Vassos, Hector J. Levesque On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque First-Order Strong Progression for Local-Effect Basic Action Theories. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Steven Shapiro, Yves Lespérance, Hector J. Levesque Goal Change in the Situation Calculus. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance A Logical Theory of Coordination and Joint Ability. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance A Logical Theory of Coordination and Joint Ability. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2007 DBLP  BibTeX  RDF
1Hector J. Levesque Some Further Thoughts on Expressiveness and Tractability. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Stavros Vassos, Hector J. Levesque Progression of Situation Calculus Action Theories with Incomplete Information. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance Towards a logical theory of coordination and joint ability. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Towards an Axiom System for Default Logic. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Hector J. Levesque The Truth About Defaults. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque On the Limits of Planning over Belief States under Strict Uncertainty. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Tom M. Mitchell, Hector J. Levesque The 2005 AAAI Classic Paper Awards. Search on Bibsonomy AI Magazine The full citation details ... 2005 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Only-Knowing: Taking It Beyond Autoepistemic Reasoning. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Hector J. Levesque Planning with Loops. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Steven Shapiro, Yves Lespérance, Hector J. Levesque Goal Change. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Semantics for a useful fragment of the situation calculus. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Jürgen Dix, Michael Fisher 0001, Hector J. Levesque, Leon Sterling Introduction. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF models of agency, planning with, incomplete information, deliberation, agent programming
1Ronald J. Brachman, Hector J. Levesque Knowledge Representation and Reasoning. Search on Bibsonomy 2004   RDF
1Yongmei Liu 0001, Gerhard Lakemeyer, Hector J. Levesque A Logic of Limited Belief for Reasoning with Disjunctive Information. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Situations, Si! Situation Terms, No! Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque On Ability to Autonomously Execute Agent Programs with Sensing. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Richard B. Scherl, Hector J. Levesque Knowledge, action, and the frame problem. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yongmei Liu 0001, Hector J. Levesque A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque In Memory of Ray Reiter (1939-2002). Search on Bibsonomy AI Magazine The full citation details ... 2002 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
1Ronald P. A. Petrick, Hector J. Levesque Knowledge Equivalence in Combined Action Theories. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
1Steven Shapiro, Yves Lespérance, Hector J. Levesque The cognitive agents specification language and verification environment for multiagent systems. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF agent specification languages, theorem proving, proof assistants, verification tools
1Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña Incremental execution of guarded theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF agent behavior, situation calculus, reasoning about actions
1Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque ConGolog, a concurrent programming language based on the situation calculus. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl Ability and Knowing How in the Situation Calculus. Search on Bibsonomy Studia Logica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hector J. Levesque, Gerhard Lakemeyer The logic of knowledge bases. Search on Bibsonomy 2000   RDF
1Gerhard Lakemeyer, Hector J. Levesque Querying AOL Knowledge Bases. Search on Bibsonomy Intellectics and Computational Logic The full citation details ... 2000 DBLP  BibTeX  RDF
1Sanjeev Kumar 0004, Philip R. Cohen, Hector J. Levesque The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. Search on Bibsonomy ICMAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sanjeev Kumar 0004, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque Semantics of Agent Communication Languages for Group Interaction. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Koen V. Hindriks, Yves Lespérance, Hector J. Levesque An Embedding of ConGolog in 3APL. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque Iterated Belief Change in the Situation Calculus. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
1Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque Query Evaluation and Progression in AOL Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Hector J. Levesque Projection Using Regression and Sensors. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Hector J. Levesque, Fiora Pirri, Raymond Reiter Foundations for the Situation Calculus. Search on Bibsonomy Electron. Trans. Artif. Intell. The full citation details ... 1998 DBLP  BibTeX  RDF
1Fangzhen Lin, Hector J. Levesque What Robots Can Do: Robot Programs and Effective Achievability. Search on Bibsonomy Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque Reasoning about Noisy Sensors and Effectors in the Situation Calculus Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
1Hector J. Levesque What Robots Can Do. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Gerhard Lakemeyer, Hector J. Levesque AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Hector J. Levesque A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl GOLOG: A Logic Programming Language for Dynamic Domains. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Yves Lespérance, Hector J. Levesque, Shane J. Ruman An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Search on Bibsonomy Agents The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. Search on Bibsonomy IJCAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin Controlling Autonomous Robots with GOLOG. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Steven Shapiro, Yves Lespérance, Hector J. Levesque Specifying Communicative Multi-Agent Systems (Invited Paper). Search on Bibsonomy Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 160 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license