The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yves Lespérance: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Yves Lespérance, Hector J. Levesque
    Indexical Knowledge in Robot Plans. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:1030-1037 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Shakil M. Khan, Yves Lespérance
    On the semantics of conditional commitment. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1337-1344 [Conf]
  8. 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]
  9. Yves Lespérance
    On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:69-85 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Alexei Lapouchnian, Yves Lespérance
    Modeling Mental States in Agent-Oriented Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2006, pp:480-494 [Conf]
  17. 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]
  18. 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]
  19. A. German, Michael R. M. Jenkin, Yves Lespérance
    Entropy-Based Image Merging. [Citation Graph (0, 0)][DBLP]
    CRV, 2005, pp:81-86 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Yves Lespérance
    A Formal Account of Self-Knowledge and Action. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:868-874 [Conf]
  27. Steven Shapiro, Yves Lespérance, Hector J. Levesque
    Goal Change. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:582-588 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]

  43. On the Semantics of Conditional Commitment. [Citation Graph (, )][DBLP]


  44. Towards a logical theory of coordination and joint ability. [Citation Graph (, )][DBLP]


  45. A model of contingent planning for agent programming languages. [Citation Graph (, )][DBLP]


  46. Handling prioritized goals and subgoals in a logical account of goal change. [Citation Graph (, )][DBLP]


  47. A logical framework for prioritized goal change. [Citation Graph (, )][DBLP]


  48. Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. [Citation Graph (, )][DBLP]


  49. Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. [Citation Graph (, )][DBLP]


  50. Situation Calculus Based Programs for Representing and Reasoning about Game Structures. [Citation Graph (, )][DBLP]


  51. On-line adaptation of sequential mobile processes running concurrently. [Citation Graph (, )][DBLP]


  52. On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. [Citation Graph (, )][DBLP]


Search in 0.135secs, Finished in 0.138secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002