Login with OpenID | Report issues

 

Author: Yves Lespérance [RDF, Bibtex, BibBase, BibGraph] has 44 publications

report error (So far 0 user(s) reported errors on this item)

See also:


Iterated belief change in the situation calculus. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque. Artif. Intell. 165-192 2011


Goal Change in the Situation Calculus Steven Shapiro, Yves Lespérance, Hector J. Levesque. J. Log. Comput. 983-1018 2007


Towards a logical theory of coordination and joint ability Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance. 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 81 2007


A Logical Theory of Coordination and Joint Ability Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada 421-426 2007


On the Limits of Planning over Belief States under Strict Uncertainty Sebastian Sardi na, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 463-471 2006


On the Limits of Planning over Belief States Under Strict Uncertainty Sebastian Sardina, Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. KR 463--471 2006


Goal Change Steven Shapiro, Yves Lespérance, Hector J. Levesque. IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 582-588 2005


On Ability to Autonomously Execute Agent Programs with Sensing Sebastian Sardi na, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA 1522-1523 2004


On the Semantics of Deliberation in IndiGolog -- From Theory to Implementation Sebastian Sardina, Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Annals of Mathematics and Artificial Intelligence 259--299 2004


On Ability to Autonomously Execute Agent Programs with Sensing Sebastian Sardina, Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Proceedings of the 4th International Workshop on Cognitive Robotics (CoRobo-04) 2004


On the Semantics of Deliberation in IndiGolog: From Theory to Implementation Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardi na. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 603-614 2002


On the Semantics of Deliberation in IndiGolog -- From Theory to Implementation Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian na, Fensel, F. Giunchiglia, D. McGuinness, Mary Anne Williams. Proceedings of Eighth International Conference in Principles of Knowledge Representation and Reasoning (KR-2002) 603--614 2002


The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems Steven Shapiro, Yves Lespérance, Hector J. Levesque, Christiano Castelfranchi, W. L. Johnson. Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02) 19--26 2002


On the Epistemic Feasibility of Plans in Multiagent Systems Specifications Yves Lespérance, J. J. Meyer, M. Tambe. Pre-Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL-01) LNAI 69--85 2001


Modeling Multiagent Systems with the Cognitive Agents Specification Language --- A Feature Interaction Resolution Application Steven Shapiro, Yves Lespérance, Christiano Castelfranchi, Yves Lespérance. Intelligent Agents Volume VII --- Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-00) LNAI 244--259 2001


Modeling Multiagent Systems with the Cognitive Agents Specification Language --- A Feature Interaction Resolution Application Steven Shapiro, Yves Lespérance, Christiano Castelfranchi, Yves Lespérance. Intelligent Agents Volume VII --- Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-00) LNAI 244--259 2001


Integrating Planning into Reactive High-Level Robot Programs Yves Lespérance, Ho Kong Ng. In Proceedings of the Second International Cognitive Robotics Workshop 49--54 2000


Ability and Knowing How in the Situation Calculus Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard Scherl. Studia Logica 165--186 2000


An Embedding of ConGolog in 3APL Koen V. Hindriks, Yves Lespérance, Hector J. Levesque. ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 558-562 2000


ConGolog, A Concurrent Programming Language Based on the Situation Calculus Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Artificial Intelligence 109--169 2000


Iterated Belief Change in the Situation Calculus Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque, A. G. Cohn, F. Giunchiglia, Bart Selman. Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000) 2000


Iterated Belief Change in the Situation Calculus Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque. KR 527-538 2000


A Situation Calculus Approach to Modeling and Programming Agents Yves Lespérance, Hector J. Levesque, Ray Reiter, Rao A., M. Wooldridge. Foundations and Theories of Rational Agency 1999


Modeling Dynamic Domains with ConGolog Yves Lespérance, Todd G. Kelly, John Mylopoulos, Eric SK Yu. Proceedings of CAiSE-99 1999


Reactivity in a Logic-Based Robot Programming Framework Yves Lespérance, K. Tam, M. Jenkin. Cognitive Robotics - Papers from the 1998 AAAI Fall Symposium 98--105 1998


An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract) Yves Lespérance, Hector J. Levesque, Shane J. Ruman. Agents 486-487 1997


An Experiment in Using Golog to Build a Personal Banking Assistant Yves Lespérance, Hector J. Levesque, S. Ruman, L. Rao, W. Wobcke. Intelligent Agent Systems: Theoretical and Practical Issues Lectures Notes in Artificial Intelligence (LNAI) 27--43 1997


Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. IJCAI 1221-1226 1997


Specifying Communicative Multi-Agent Systems (Invited Paper) Steven Shapiro, Yves Lespérance, Hector J. Levesque. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1-14 1997


Specifying Communicative Multi-Agent Systems with ConGolog Steven Shapiro, Yves Lespérance, Hector J. Levesque. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines 72--82 1997


Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97) 1221--1226 1997


GOLOG: A Logic Programming Language for Dynamic Domains Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl. Journal of Logic Programming 1997


An Experiment in Using Golog to Build a Personal Banking Assistant Yves Lespérance, Hector J. Levesque, Shane J. Ruman. Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996 27-43 1996


AI Models for Business Process Reengineering Eric S K Yu, John Mylopoulos, Yves Lespérance. IEEE Expert 16--23 1996


Foundations of a Logical Approach to Agent Programming Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard Scherl, M Woolridge, J. Muller, M. Tambe. Intelligent Agents II. Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95) 331-346 1995


Indexical Knowledge and Robot Action -- A Logical Account Yves Lespérance, Hector J. Levesque. Artificial Intelligence 69--115 1995


Foundations of a Logical Approach to Agent Programming Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl. Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings 331-346 1995


Goals and Rational Action in the Situation Calculus - A Preliminary Report Steven Shapiro, Yves Lespérance, Hector J. Levesque. Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications 117--122 1995


Distributed Software Agents and Communication in the Situation Calculus M. Marcu, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Ray Reiter, Richard Scherl. In Proc. Intelligent Computer Communication (ICC'95) 1995


The Situation Calculus with Sensing and Indexical Knowledge Richard Scherl, Hector J. Levesque, Yves Lespérance, Moshe Koppel, Eli Shamir. Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence 86-95 1995


An Argument for Indexical Representations in Temporal Reasoning Yves Lespérance, Hector J. Levesque, Renee Elio. Proceedings of the Tenth Biennial Conference of the Canadian Society for Computational Studies of Intelligence 271--277 1994


A Logical Approach to High-Level Robot Programming. A Progress Report Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard Scherl. Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium 1994


An Approach to Modeling Indexicality in Action and Communication Yves Lespérance. In Reasoning about Mental States: Formal Theories and Applications, Papers from the 1993 AAAI Spring Symposium 79--85 1993


Indexical Knowledge in Robot Plans Yves Lespérance, Hector J. Levesque. AAAI 1030-1037 1990