Recent Publications by Yves Lespérance and Students

2011

• G. De Giacomo, Y. Lespérance, and C. Muise. Agent Supervision in Situation-Determined ConGolog. In Working Notes of the 9th Int. Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-2011), Barcelona, Spain, July, 2011.

• G. Lakemeyer and Y. Lespérance. Efficient Reasoning in Multiagent Knowledge Bases. In Actes des 6èmes Journées Francophones Modèles Formels de l'Interaction (MFI'11), Rouen, France, June, 2011.

• S. Shapiro, M. Pagnucco, Y. Lespérance, and H.J. Levesque. Iterated Belief Change in the Situation Calculus. Artificial Intelligence 175 (1), 165--192, 2011.

  Lapouchnian, A. and Lespérance, Y. Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. In Yu, E., Giorgini, P., Maiden, N., and Mulopoulos, J. (Eds.), Social Modeling for Requirements Engineering, 219--253, MIT Press, 2011.

• G. De Giacomo, Y. Lespérance, and H.J. Levesque. Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. To appear in Proc. of the 22nd Int. Joint Conference on Artificial Intelligence (IJCAI'11), Barcelona, Spain, July, 2011.

2010

• S. Shapiro, Y. Lespérance, and H.J. Levesque. The Cognitive Agents Specification Language and Verification Environment, in Dastani, M., Hindriks, K.V., Meyer, J.-J. C. (Eds.) Specification and Verification of Multi-agent Systems, 289--316, Springer, 2010.

• A. Lapouchnian and Y. Lespérance. From Adaptive Systems Design to Autonomous Agent Design. In J. Castro, X. Franch, J. Mylopoulos, and E. Yu (Eds.) iStar'10, 4th Int. i* Workshop, Proc., CEUR Workshop Proceedings vol. 586, 108-112, Hammamet, Tunisia, June, 2010.

• G. De Giacomo, Y. Lespérance, and A. R. Pearce Situation Calculus-based Programs for Representing and Reasoning about Game Structures. In Proc., 12th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2010), 445--455, Toronto, ON, Canada, May, 2010.

• S. Khan and Y. Lespérance. A Logical Framework for Prioritized Goal Change. In Proc. of the 9th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2010), 283--290, Toronto, ON, Canada, May, 2010.

2009

• G. De Giacomo, Y. Lespérance, H.J. Levesque, and S. Sardina. IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. In Bordini, R.H., Dastani, M., Dix, J., and El Fallah Seghrouchni, A. (Eds.) Multi-Agent Programming: Languages, Tools and Applications, 31-72, Springer, 2009.

• Lapouchnian, A. and Lespérance, Y. Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. In A. Borgida, V.K. Chaudri, P. Giorgini, and E.S.K. Yu, (Eds.), Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, 483-503, Springer, 2009.

• H. Ghaderi, H. Levesque, and Y. Lespérance. On Joint Ability in the Presence of Sensing. In Commonsense 2009: Proc. of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning, June 1-3, 2009, Fields Institute, Toronto, Canada, G. Lakemeyer, L. Morgenstern, and M.-A. Williams (Eds.), 47-52, UTSePress, Sydney, Australia, 2009.

• S. Khan and Y. Lespérance. A Logical Account of Prioritized Goals and their Dynamics. In Commonsense 2009: Proc. of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning June 1-3, 2009, Fields Institute, Toronto, Canada, G. Lakemeyer, L. Morgenstern, and M.-A.Williams (Eds.), 85-90, (Outstanding Student Paper Award), UTSePress, Sydney, Australia, 2009.

• Y. Lespérance and S. Shapiro. On Agent Programming Language Support for Rational Communication. In N. Maudet and P.-Y. Schobbens (Eds.) 5èmes Journées Francophones Modèles Formels de l'Interaction (MFI'09), Lannion, France, 223-232, June, 2009.

• S. Khan and Y. Lespérance. Handling Prioritized Goals and Subgoals in a Logical Account of Goal Change (Extended Abstract). In Proc. of the 8th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'09), 1155-1156, Budapest, Hungary, May, 2009.

• S. Sardina and Y. Lespérance. Golog Speaks the BDI Language. In Programming Multi-Agent Systems, 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 11-12, 2009. Revised Invited and Selected Papers, 82--99, LNCS vol. 5919, Springer, 2009.

• M. de Leoni, G. De Giacomo, Y. Lespérance, and M. Mecella. On-line adaptation of sequential mobile processes running concurrently. In S.Y. Shin and S. Ossowski (Eds.) Proc. of the 2009 ACM Symposium on Applied Computing (SAC), 1345-1352, Honolulu, HI, USA, March, 2009.

2008

• Y. Lespérance, G. De Giacomo, and A. N. Ozgovde. A Model of Contingent Planning for Agent Programming Languages. In Proc. of the 7th Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), 477-484, Estoril, Portugal, May 2008.

• Y. Lespérance and A. Lapouchnian. On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. In J. Castro, X. Franch, A. Perini, and E. Yu (Eds.) iStar'08, 3rd Int. i* Workshop, Proc., CEUR Workshop Proceedings vol. 322, 55-60, Recife, Brasil, February, 2008.

2007

• S. Shapiro, Y. Lespérance, and H. J. Levesque. Goal Change in the Situation Calculus. J. of Logic and Computation 17(5): 983-1018, 2007.

• O. Borzenko, Y. Lespérance, and M. Jenkin. INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. In Proc. of the 4th Canadian Conference on Computer and Robot Vision (CRV'07), 387-394, Montréal, QC, May, 2007.

• H. Ghaderi, H. Levesque, and Y. Lespérance. A Logical Theory of Coordination and Joint Ability. In Proc. of AAAI'07, 421-426, Vancouver, BC, July, 2007.

• A. Goultiaeva and Y. Lespérance. Incremental Plan Recognition in an Agent Programming Framework. In Working Notes of the AAAI 2007 Workshop on Plan, Activity, and Intent Recognition (PAIR'07), Vancouver, BC, July, 2007.

2006

• O. Borzenko, W. Xu, M. Obsniuk, A. Chopra, P. Jasiobedzki, M. Jenkin, and Y. Lespérance. Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System. In Proc. of the IEEE International Conference on Vision Systems (ICVS'06), paper 42 (8 pages), New York, NY, January, 2006.

• S. Khan and Y. Lespérance. On the Semantics of Conditional Commitment. In Proc. of the 5th Int. Joint Conference on Autonomous Agents and Multiagent Systems, 1337-1344, Hakodate, Japan, May 2006.

• A. Lapouchnian and Y. Lespérance. Modeling Mental States in Agent-Oriented Requirements Engineering. In Proc. of the 18th Conference on Advanced Information Systems Engineering (CAiSE'06), 480-494, Luxembourg, June, 2006.

• S. Sardina, G. De Giacomo, Y. Lespérance, and H.J. Levesque. On the Limits of Planning over Belief States under Strict Uncertainty. In P. Doherty, J. Mylopoulos, C. A. Welty (Eds.), Proceedings, 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), 463-471, Lake District, UK, June, 2006.

• W. Xu, M. Jenkin, and Y. Lespérance. A Multi-Channel Algorithm for Edge Detection under Varying Lighting Conditions. In Proc. of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'06), Vol. 2, 1885-1892, New York, NY, June, 2006.

2005

• S. Shapiro, Y. Lespérance, and H.J. Levesque. Goal Change. In Proc. of the 19th Int. Joint Conference on Artificial Intelligence, Edinburgh, UK, July, 2005.

• S. Khan and Y. Lespérance. ECASL: A Model of Rational Agency for Communicating Agents. In Proc. of the 4th Int. Joint Conference on Autonomous Agents and Multiagent Systems, 762-769, Utrecht, The Netherlands, July, 2005.

• S. Khan and Y. Lespérance. On the Semantics of Conditional Commitment. To appear in Proc. of the AAMAS 2005 Workshop on Agent Communication, Utrecht, The Netherlands, July, 2005.

• A. German, M.R. Jenkin, and Y. Lespérance. Entropy-Based Image Merging. In Proc. of the 2nd Canadian Conference on Computer and Robot Vision, 81-86, Victoria, BC, May, 2005.

• O. Borzenko, Y. Lespérance, and M. Jenkin. Controlling Camera and Lights for Intelligent Image Acquisition and Merging. In Proc. of the 2nd Canadian Conference on Computer and Robot Vision, (Poster Paper), 602-609, Victoria, BC, May, 2005.

2004

• S. Sardina, G. De Giacomo, Y. Lespérance, and H.J. Levesque. On Ability to Autonomously Execute Agent Programs with Sensing. In Proc. of the 4th International Cognitive Robotics Workshop, Valencia, Spain, August, 2004.

• S. Khan and Y. Lespérance. A model of rational agency for communicating agents. In Proceedings of the AAMAS 2004 Workshop on Agent Communication, 193-208, New York, NY, USA, July, 2004.

• E. Martinez and Y. Lespérance. IG-JADE-PKSlib: An Agent-Based Framework for Advanced Web Service Composition and Provisioning. In Proceedings of the AAMAS 2004 Workshop on Web-services and Agent-based Engineering, 2-10, New York, NY, USA, July, 2004.

• E. Martinez and Y. Lespérance. Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning. In Proceedings of the ICAPS-2004 Workshop on Planning and Scheduling for Web and Grid Services, 62-69, Whistler, BC, June, 2004.

• G. De Giacomo, Y. Lespérance, H.J. Levesque, and S. Sardina. On the Semantics of Deliberation in IndiGolog - From Theory to Implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4), 259-299, August, 2004.

• A. Lapouchnian, Modeling Mental States in Requirements Engineering - An Agent-Oriented Framework Based on i* and CASL, M.Sc. Thesis, Dept. of Computer Science, York University, 2004.

2003

• G. De Giacomo, Y. Lespérance, H.J. Levesque, and S. Sardina. On Deliberation under Incomplete Information and the Inadequacy of Entailment and Consistency-Based Formalizations. In Working Notes of the 1st Int. Workshop on Programming Multiagent Systems (PROMAS-2003), Melbourne, July, 2003.

2002

• S. Shapiro, Y. Lespérance, and H.J. Levesque. The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. In C. Castelfranchi and W. Lewis Johnson (Eds.), Proc. of the 1st Int. Joint Conference on Autonomous Agents and Multiagent Systems, 19-26, Bologna, Italy, July 15-19, 2002. ACM Press. Best student paper prize.

• G. De Giacomo, Y. Lespérance, H.J. Levesque, and S. Sardina. On the Semantics of Deliberation in IndiGolog - From Theory to Implementation. In D. Fensel, F. Giunchiglia, D. McGuiness, and M.-A. Williams (Eds.), Principles of Knowledge Representation and Reasoning, Proc. of the 8th Int. Conf. (KR2002), Toulouse, France, April 22-25, 2002, 603-614, Morgan Kaufmann, 2002.

• A. Lapouchnian and Y. Lespérance. Interfacing IndiGolog and OAA - A Toolkit for Advanced Multiagent Applications. Applied Artificial Intelligence 16(9-10), 813-829, 2002.
  Earlier versions appeared in:
  Cybernetics and Systems 2002 - Proc. EMCSR 2002, 3rd Int. Symposium "From Agent Theory to Agent Implementation", R.Trappl (ed.), Austrian Society for Cybernetic Studies, Vienna, Austria, April 2-5, 2002, and
  Cognitive Robotics (CogRob2002), Papers from the AAAI Workshop, Tech. Report WS-02-05, 66-72, AAAI Press, 2002.

• Y. Lespérance. On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. In J.J.C. Meyer and M. Tambe (Eds) Intelligent Agents VIII, Agent Theories, Architectures, and Languages, 8th International Workshop, ATAL-2001, Seattle, WA, USA, Aug. 1-3, 2001, Revised papers, 69-85, LNAI 2333, Springer, 2002.
  Also French version/Aussi, version francaise:
  Y. Lespérance. De l'exécutabilité épistémique des plans dans les spécifications de systèmes multiagents. Information - Interaction - Intelligence, numéro hors série, 41-66, 2002.
  Une version antérieure a aussi paru dans MFI01 - 1ères journées francophones des Modèles formels de l'interaction, B. Chaib-draa et P. Enjalbert, éditeurs, 231-243, Toulouse, France, Mai, 2001.

2001

• H.-K. Ng. Topics in High-Level Robot Control: Integrating Planning and Reactivity, and Multiple-Robot Control, M.Sc. Thesis, Dept. of Computer Science, York University, 2001.

• X. Wang and Y. Lespérance, Agent-Oriented Requirements Engineering Using ConGolog and i*. In Wagner, G., Karlapalem, K., Lespérance, Y., and Yu, E., editors, Agent-Oriented Information Systems 2001, Proceedings of the 3rd International Bi-Conference Workshop AOIS-2001, 59-78, iCue Publishing, Berlin, 2001.

• X. Wang, Agent-Oriented Requirements Engineering Using the ConGolog and i* Frameworks, M.Sc. Thesis, Dept. of Computer Science, York University, 2001.

• S. Shapiro and Y. Lespérance. Modeling Multiagent Systems with the Cognitive Agents Specification Language - A Feature Interaction Resolution Application. In Castelfranchi, C. and Lespérance, Y., editors, Intelligent Agents Volume VII - Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI, vol. 1986, 244-259, Springer-Verlag, Berlin, 2001.

2000

• G. De Giacomo, Y. Lespérance, and H.J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121, 109-169, 2000.
  Published version from Artificial Intelligence avaliable from York and other Elsevier subscriber hosts; Submitted version.

• Y. Lespérance, H.J. Levesque, F. Lin, and R.B. Scherl. Ability and Knowing How in the Situation Calculus. Studia Logica, 66(1), 165-186, October 2000.

• S. Shapiro, M. Pagnucco, Y. Lespérance, and H.J. Levesque. Iterated Belief Change in the Situation Calculus, in A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000), pp. 527-538, Morgan Kaufmann Publishers, 2000.

• K.V. Hindriks, Y. Lespérance, and H.J. Levesque. A Formal Embedding of ConGolog in 3APL. In Proceedings of the 14th European Conference on Artificial Intelligence, 558-562, Berlin, Germany, August, 2000. Extended version available on line.

• Y. Lespérance and H.-K. Ng. Integrating Planning into Reactive High-Level Robot Programs. In Proceedings of the Second International Cognitive Robotics Workshop, 49-54, Berlin, Germany, August, 2000.

1999

• Y. Lespérance, T.G.Kelley, J. Mylopoulos, E.S.K. Yu. Modeling Dynamic Domains with ConGolog, in Advanced Information Systems Engineering, 11th International Conference, CAiSE-99, Proceedings, pp. 365-380, Heidelberg, Germany, June 1999, LNCS vol. 1626, Springer-Verlag, Berlin.

• Y. Lespérance, H.J. Levesque, and R. Reiter. A Situation Calculus Approach to Modeling and Programming Agents. In M. Wooldridge and A. Rao, editors, Foundations of Rational Agency, pp. 275--299, Kluwer, 1999.

• Y. Lespérance and S. Shapiro. On Agent-Oriented Requirements Engineering, Position paper for the Agent-Oriented Information Systems Workshop (AOIS'99), Heidelberg, Germany, June 1999.

1998

• Y. Lespérance, K. Tam, and M. Jenkin. Reactivity in a Logic-Based Robot Programming Framework. Cognitive Robotics - Papers from the 1998 AAAI Fall Symposium, Technical Report FS-98-02, AAAI Press, pp. 98-105, Orlando, FL, October, 1998.

• K. Tam. Experiments in High-Level Robot Control Using ConGolog - Reactivity, Failure Handling, and Knowledge-Based Search, M.Sc. Thesis, Dept. of Computer Science, York University, 1998.

1997

• H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming, 31, 59-84, 1997.

• G. De Giacomo, Y. Lespérance, and H.J. Levesque. Reasoning about Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus, in the Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1221-1226, Nagoya, August 1997.

• S. Shapiro, Y. Lespérance, and H.J. Levesque. Specifying Communicative Multi-Agent Systems with ConGolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pp. 75-82, Cambridge, MA, November, 1997, AAAI Press. A version of this paper also appears in Agents and Multi-Agent Systems -- Formalisms, Methodologies, and Applications, W. Wobcke, M. Pagnucco, and C. Zhang, eds., pp. 1-14, LNAI, Springer-Verlag, Berlin, 1998.

• Y. Lespérance, H.J. Levesque, and S. Ruman. An Experiment in Using Golog to Build a Personal Banking Assistant. In Intelligent Agent Systems: Theoretical and Practical Issues (Based on a Workshop Held at PRICAI '96 Cairns, Australia, August 1996), Cavedon, L., Rao, A., and Wobcke, W. (Eds.), LNAI volume 1209, 27-43, Springer-Verlag, 1997.

1996

• E.S.K. Yu, J. Mylopoulos, and Y. Lespérance. AI Models for Business Process Reengineering. IEEE Expert, 11, 16-23, 1996.

1995

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Foundations of a Logical Approach to Agent Programming. In M. Wooldridge, J.P. Müller, and M. Tambe, editors, Intelligent Agents Volume II - Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95), pp. 331-346, Springer-Verlag, Lecture Notes in Artificial Intelligence, 1996.

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Fondements d'une Approche Logique à la Programmation d'Agents. Actes des Troisièmes Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents, pp. 3-14, Chambéry-St-Badolph, France, March, 1995.

• Y. Lespérance and H.J. Levesque. Indexical Knowledge and Robot Action -- A Logical Account. Artificial Intelligence, 73, 69-115, 1995.

• D. Marcu, Y. Lespérance, H. Levesque, F. Lin, R. Reiter, and R. Scherl. Distributed Software Agents and Communication in the Situation Calculus. In Proc. Intelligent Computer Communication (ICC'95) Conference, Cluj-Napoca, Romania, June, 1995.

• R. Scherl, H. Levesque, and Y. Lespérance. The Situation Calculus with Sensing and Indexical Knowledge, in Moshe Koppel and Eli Shamir, editors, Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence, pp. 86-95, Ramat Gan and Jerusalem, Israel, June, 1995.

• S. Shapiro, Y. Lespérance, and H. Levesque. Goals and Rational Action in the Situation Calculus - A Preliminary Report. In Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, Cambridge, MA, November, 1995.

1994

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A Logical Approach to High-Level Robot Programming - A Progress Report. In Benjamin Kuipers, editor,Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, pages 79-85, New Orleans, LA, November, 1994.

• Y. Lespérance and H.J. Levesque. An Argument for Indexical Representations in Temporal Reasoning. In Renee Elio, editor, Proceedings of the Tenth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, pp. 271-277, Banff, Canada, May, 1994.

1993

• Y. Lespérance. An Approach to Modeling Indexicality in Action and Communication. In Reasoning about Mental States: Formal Theories and Applications, Papers from the 1993 AAAI Spring Symposium, March 1993, Stanford, CA, pp. 79-85, Technical Report, AAAI Press, Menlo Park, CA; also appears in the Proceedings of the IJCAI Workshop on Using Knowledge in its Context, Chambery, France, August 1993.

Many of the above papers are co-authored with members of the University of Toronto Cognitive Robotics Group.

Back to Yves Lespérance's home page.