Search the dblp DataBase
Yves Lespérance :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Yves Lespérance , Hector J. Levesque , Fangzhen Lin , Daniel Marcu , Raymond Reiter , Richard B. Scherl Foundations of a Logical Approach to Agent Programming. [Citation Graph (1, 0)][DBLP ] ATAL, 1995, pp:331-346 [Conf ] Hector J. Levesque , Raymond Reiter , Yves Lespérance , Fangzhen Lin , Richard B. Scherl GOLOG: A Logic Programming Language for Dynamic Domains. [Citation Graph (1, 0)][DBLP ] J. Log. Program., 1997, v:31, n:1-3, pp:59-83 [Journal ] Yves Lespérance , Hector J. Levesque Indexical Knowledge in Robot Plans. [Citation Graph (0, 0)][DBLP ] AAAI, 1990, pp:1030-1037 [Conf ] Shakil M. Khan , Yves Lespérance A Model of Rational Agency for Communicating Agents. [Citation Graph (0, 0)][DBLP ] AC, 2004, pp:242-259 [Conf ] Yves Lespérance , Hector J. Levesque , Shane J. Ruman An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Agents, 1997, pp:486-487 [Conf ] Shakil M. Khan , Yves Lespérance ECASL: a model of rational agency for communicating agents. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:762-769 [Conf ] Shakil M. Khan , Yves Lespérance On the semantics of conditional commitment. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:1337-1344 [Conf ] Alexei Lapouchnian , Yves Lespérance Modeling mental states in the analysis of multiagent systems requirements. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:241-243 [Conf ] Yves Lespérance On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. [Citation Graph (0, 0)][DBLP ] ATAL, 2001, pp:69-85 [Conf ] Yves Lespérance , Kenneth Tam , Michael R. M. Jenkin Reactivity in a Logic-Based Robot Programming Framework. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:173-187 [Conf ] Sebastian Sardiña , Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque On Ability to Autonomously Execute Agent Programs with Sensing. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:1522-1523 [Conf ] Steven Shapiro , Yves Lespérance Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. [Citation Graph (0, 0)][DBLP ] ATAL, 2000, pp:244-259 [Conf ] Steven Shapiro , Yves Lespérance , Hector J. Levesque The cognitive agents specification language and verification environment for multiagent systems. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:19-26 [Conf ] Kenneth Tam , J. Lloyd , Yves Lespérance , Hector J. Levesque , Fangzhen Lin , Daniel Marcu , Raymond Reiter , Michael R. M. Jenkin Controlling Autonomous Robots with GOLOG . [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 1997, pp:1-12 [Conf ] Steven Shapiro , Yves Lespérance , Hector J. Levesque Specifying Communicative Multi-Agent Systems (Invited Paper). [Citation Graph (0, 0)][DBLP ] Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997, pp:1-14 [Conf ] Alexei Lapouchnian , Yves Lespérance Modeling Mental States in Agent-Oriented Requirements Engineering. [Citation Graph (0, 0)][DBLP ] CAiSE, 2006, pp:480-494 [Conf ] Yves Lespérance , Todd G. Kelley , John Mylopoulos , Eric S. K. Yu Modeling Dynamic Domains with ConGolog. [Citation Graph (0, 0)][DBLP ] CAiSE, 1999, pp:365-380 [Conf ] Jamal Bentahar , Bernard Moulin , John-Jules Ch. Meyer , Yves Lespérance A New Logical Semantics for Agent Communication. [Citation Graph (0, 0)][DBLP ] CLIMA VII, 2006, pp:151-170 [Conf ] A. German , Michael R. M. Jenkin , Yves Lespérance Entropy-Based Image Merging. [Citation Graph (0, 0)][DBLP ] CRV, 2005, pp:81-86 [Conf ] Olena Borzenko , Yves Lespérance , Michael R. M. Jenkin Controlling Camera and Lights for Intelligent Image Acquisition and Merging. [Citation Graph (0, 0)][DBLP ] CRV, 2005, pp:602-609 [Conf ] Olena Borzenko , Yves Lespérance , Michael Jenkin INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. [Citation Graph (0, 0)][DBLP ] CRV, 2007, pp:387-394 [Conf ] Wei Xu , Michael Jenkin , Yves Lespérance A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. [Citation Graph (0, 0)][DBLP ] CVPR (2), 2006, pp:1885-1892 [Conf ] Koen V. Hindriks , Yves Lespérance , Hector J. Levesque An Embedding of ConGolog in 3APL. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:558-562 [Conf ] Olena Borzenko , Wei Xu , Mark Obsniuk , Arjun Chopra , Piotr Jasiobedzki , Michael R. M. Jenkin , Yves Lespérance Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System. [Citation Graph (0, 0)][DBLP ] ICVS, 2006, pp:42- [Conf ] Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] IJCAI, 1997, pp:1221-1226 [Conf ] Yves Lespérance A Formal Account of Self-Knowledge and Action. [Citation Graph (0, 0)][DBLP ] IJCAI, 1989, pp:868-874 [Conf ] Steven Shapiro , Yves Lespérance , Hector J. Levesque Goal Change. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:582-588 [Conf ] Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque , Sebastian Sardiña On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:603-614 [Conf ] Steven Shapiro , Maurice Pagnucco , Yves Lespérance , Hector J. Levesque Iterated Belief Change in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] KR, 2000, pp:527-538 [Conf ] Sebastian Sardiña , Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque On the Limits of Planning over Belief States under Strict Uncertainty. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:463-471 [Conf ] Yves Lespérance , Hector J. Levesque , Shane J. Ruman An Experiment in Using Golog to Build a Personal Banking Assistant. [Citation Graph (0, 0)][DBLP ] PRICAI Workshop on Intelligent Agent Systems, 1996, pp:27-43 [Conf ] Alexei Lapouchnian , Yves Lespérance Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 2002, v:16, n:9-10, pp:813-829 [Journal ] Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque ConGolog, a concurrent programming language based on the situation calculus. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2000, v:121, n:1-2, pp:109-169 [Journal ] Yves Lespérance , Hector J. Levesque Indexical Knowledge and Robot Action - A Logical Account. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1995, v:73, n:1-2, pp:69-115 [Journal ] Yves Lespérance , Gerd Wagner , William P. Birmingham , Kurt D. Bollacker , Alexander Nareyek , J. Paul Walser , David W. Aha , Timothy W. Finin , Benjamin N. Grosof , Nathalie Japkowicz , Robert Holte , Lise Getoor , Carla P. Gomes , Holger H. Hoos , Alan C. Schultz , Miroslav Kubat , Tom M. Mitchell , Jörg Denzinger , Yolanda Gil , Karen L. Myers , Claudio Bettini , Angelo Montanari AAAI 2000 Workshop Reports. [Citation Graph (0, 0)][DBLP ] AI Magazine, 2001, v:22, n:1, pp:127-136 [Journal ] Sebastian Sardiña , Giuseppe De Giacomo , Yves Lespérance , Hector J. Levesque On the Semantics of Deliberation in Indigolog - from Theory to Implementation. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:259-299 [Journal ] Yves Lespérance Toward a computational interpretation of situation semantics. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1986, v:2, n:, pp:9-27 [Journal ] Eric S. K. Yu , John Mylopoulos , Yves Lespérance AI Models for Business Process Reengineering. [Citation Graph (0, 0)][DBLP ] IEEE Expert, 1996, v:11, n:4, pp:16-23 [Journal ] Yves Lespérance On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2003, v:11, n:2, pp:161-178 [Journal ] Yves Lespérance , Hector J. Levesque , Fangzhen Lin , Richard B. Scherl Ability and Knowing How in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2000, v:66, n:1, pp:165-186 [Journal ] Hojjat Ghaderi , Hector J. Levesque , Yves Lespérance A Logical Theory of Coordination and Joint Ability. [Citation Graph (0, 0)][DBLP ] AAAI, 2007, pp:421-426 [Conf ] Alexei Lapouchnian , Yves Lespérance Modeling Mental States in the Analysis of Multiagent Systems Requirements. [Citation Graph (0, 0)][DBLP ] AOSE, 2006, pp:104-121 [Conf ] On the Semantics of Conditional Commitment. [Citation Graph (, )][DBLP ] Towards a logical theory of coordination and joint ability. [Citation Graph (, )][DBLP ] A model of contingent planning for agent programming languages. [Citation Graph (, )][DBLP ] Handling prioritized goals and subgoals in a logical account of goal change. [Citation Graph (, )][DBLP ] A logical framework for prioritized goal change. [Citation Graph (, )][DBLP ] Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. [Citation Graph (, )][DBLP ] Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. [Citation Graph (, )][DBLP ] Situation Calculus Based Programs for Representing and Reasoning about Game Structures. [Citation Graph (, )][DBLP ] On-line adaptation of sequential mobile processes running concurrently. [Citation Graph (, )][DBLP ] On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.307secs