Recent Publications by Yves Lespérance and Students

2025

• G. De Giacomo, Y. Lespérance, G. Parretti, F. Patrizi, and R. Schram. Managing an Agent's Changing Intentions Using LTLf Synthesis - Extended Abstract. To appear in Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 3 pages, Detroit, MI, USA, May 19-23, 2025, IFAAMAS.

• G. De Giacomo, Y. Lespérance, and M. Mancanelli. Situation Calculus Temporally Lifted Abstractions for Generalized Planning. In Proc. of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025), 14848-14857, Philadelphia, PA, USA, February 25-March 4, 2025.

• S. M. Khan, Y. Lespérance, and M. Rostamigiv. Reasoning About Actual Causes in Nondeterministic Domains. In Proc. of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025), 15024-15032, Philadelphia, PA, USA, February 25-March 4, 2025.

2024

• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Abstracting Situation Calculus Action Theories. arXiv:2410.14712 [cs.LO], 2024.
• R. Schram. Using LTLf/LDLf Synthesis Algorithms to Handle Goal Change in Autonomous Agents -- Implementation and Experiments. Master's Thesis, Utrecht University, 2024.
• Y. Lespérance, G. De Giacomo, M. Rostamigiv, and S. M. Khan. Abstraction of Situation Calculus Concurrent Game Structures. In Proc. of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), 10624-10634, Vancouver, BC, February, 2024.

2023

• F. Fuggitti. Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces. PhD thesis, Dept. of Electrical Engineering and Computer Science, York University, Toronto, ON, Canada, October 2023.
• H. Sun, Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. MSc thesis, Dept. of Electrical Engineering and Computer Science, York University, Toronto, ON, Canada, October 2023.
• H. Sun and Y. Lespérance, Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. In: Malvone, V., Murano, A. (eds) Multi-Agent Systems. EUMAS 2023. Lecture Notes in Computer Science, vol 14282, 83-99, Springer, Cham. 2023. https://doi.org/10.1007/978-3-031-43264-4_6. Published version, accepted version.
• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version. arXiv:2305.14222 [cs.LO], 2023.
• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Abstraction of Nondeterministic Situation Calculus Action Theories. In Proc. of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Main Track, 3112-3122, Macao, SAR, China, August, 2022.

2021

• G. De Giacomo, and Y. Lespérance. The Nondeterministic Situation Calculus. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, 216-226, Online Event, November, 2021.

• S.M. Khan and Y. Lespérance. Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. In Proc. of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), 701-709, online, May 3-7, 2021, IFAAMAS.

2020

• Z. Liu, L. Xiong, Y. Liu, Y. Lespérance, R. Xu, and H. Shi. A Modal Logic for Joint Abilities under Strategy Commitments. In Proc. of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Main Track, 1805-1812, Yokohama, Japan, January, 2021.

• K. Luo, Z. Lin, Y. Liu, and Y. Lespérance. Agent Abstraction via Forgetting in the Situation Calculus. In Proc. of the 24th European Conference on Artificial Intelligence (ECAI 2020), 809-816, Santiago de Compostela, Spain, June 8-12, 2020, IOS Press.

• G. De Giacomo and Y. Lespérance. Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. In Proc. of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020), 294-302, Auckland, New Zealand, May 9-13, 2020, IFAAMAS.

• G. De Giacomo, Y. Lespérance, and E. Ternovska. ElGolog: A High-Level Programming Language with Memory of the Execution History. In Proc. of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), 2806-2813, New York, NY, USA, February, 2020.

2018

• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. In Proc. of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-2018), 1699-1706, Stockholm, Sweden, July 13-19, 2018.

• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Hierarchical Agent Supervision. In Proc. of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 1432-1440, Stockholm, Sweden, July 10-15, 2018, IFAAMAS.

• Shakil M. Khan. Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals, PhD thesis, Dept. of Electrical Engineering and Computer Science, York University, Tioronto, ON, Canada, June 2018.

2017

• Bita Banihashemi. Online and Hierarchical Agent Supervision, PhD thesis, Dept. of Electrical Engineering and Computer Science, York University, Toronto, ON, Canada, December 2017.

• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Abstraction in Situation Calculus Action Theories. In Proc. of the 31th AAAI Conference on Artificial Intelligence (AAAI 2017), 1048-1055, San Francisco, CA, USA, February, 2017. Also an extended version with proofs is available here.

2016

• G. De Giacomo, Y. Lespérance, and A.R. Pearce. Situation Calculus Game Structures and GDL. In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), 408-416, The Hague, The Netherlands, August, 2016.

• G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded Situation Calculus Action Theories, Artificial Intelligence, 237,172-203, 2016, doi:10.1016/j.artint.2016.04.006, on ScienceDirect.

• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Online Agent Supervision in the Situation Calculus. In Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 922-928, New York, NY, USA, July, 2016.

• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Online Agent Supervision in the Situation Calculus - Extended Version. Technical Report EECS-2016-02, Department of Electrical Enginbeering and Computer Science, York University, Toronto, Canada, July, 2016.

• B. Banihashemi, G. De Giacomo, and Y. Lespérance. Online Situation-Determined Agents and their Supervision. In Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference (KR 2016), 922-928, Cape Town, South Africa, April, 2016.

• S. Khan and Y. Lespérance. Infinite Paths in the Situation Calculus: Axiomatization and Properties. In Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference (KR 2016), 565-568, Cape Town, South Africa, April, 2016.

• G. De Giacomo, Y. Lespérance, F. Patrizi, and S. Sardina. Verifying ConGolog Programs on Bounded Situation Calculus Theories. In Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016), 950-956, Phoenix, AZ, USA, February, 2016.

2015

• G. De Giacomo, Y. Lespérance, F. Patrizi, and S. Vassos. Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Studia Logica, 104(4), 705-739, 2015, doi:10.1007/s11225-015-9626-z.

• G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded Situation Calculus Action Theories, CoRR,abs, 1509.02012, 2015.

2014

• S. Kmiec and Y. Lespérance. Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation. In Dalpaiz, F.; Dix, J.; and van Riemsdijk, B., eds., Engineering Multi-Agent Systems: 2nd Int. Workshop, EMAS 2014, Paris, France, May 2014, Revised and Selected Papers. Springer. To appear.

• G. De Giacomo, Y. Lespérance, F. Patrizi, and S. Vassos. LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. In Torsten Schaub, Gerhard Friedrich, and Barry O'Sullivan (Eds.), ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS) 2014, 369-374, Prague, Czech Republic, August, 2014.

• G. Berseth. Optimizing Simulated Crowd Behaviour. M.Sc. Thesis, Dept. of Electrical Engineering and Computer Science, York University, 2014.

• G. De Giacomo, Y. Lespérance, F. Patrizi, and S. Vassos. Progression and Verification of Situation Calculus Agents with Bounded Beliefs. In Alessio Lomuscio, Paul Scerri, Ana Bazzan, and Michael Huhns (Eds.) Proc. of the 13th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), 141-148, Paris, France, May, 2014.

2013

• A. Marrella and Y. Lespérance. Towards a Goal-oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes. In Proc. of the 2nd International Workshop on Knowledge-intensive Business Processes (KiBP 2013), held at SOCA 2013, 361-365, Kauai, HI, USA, December, 2013.

• S. Kmiec. Infinite States Verification in Game-Theoretic Logics. M.Sc. Thesis, Dept. of Electrical Engineering and Computer Science, York University, 2013.

• G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded Epistemic Situation Calculus Theories. In Francesca Rossi (Ed.) Proc. of the 23nd Int. Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, August, 2013.

• S. Kmiec and Y. Lespérance. Experiments in Infinite States Verification in Game-Theoretic Logics. In Proc. of the 10th Int. Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'13), held at IJCAI'13, Beijing, China, August, 2013.

• A. Marrella and Y. Lespérance. Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms. In Selmin Nurcan, Henderik Alex Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry A. Halpin, Ilia Bider (Eds.) Enterprise, Business-Process and Information Systems Modeling - 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, 277-291, Valencia, Spain, June 17-18, 2013. Proceedings, Springer 2013.

2012

• G. Lakemeyer and Y. Lespérance. Efficient Reasoning in Multiagent Epistemic Logics. In Proc. of the 20th European Conference on Artificial Intelligence (ECAI 2012), 498-503, Montpellier, France, August, 2012, IOS Press.

• G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded Situation Calculus Action Theories and Decidable Verification. In Proc., 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), 467-477, Rome, Italy, June, 2012.

• G. De Giacomo, Y. Lespérance, and C. Muise. On Supervising Agents in Situation-Determined ConGolog. In Proc. of the 11th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2012), 1031-1038, Valencia, Spain, June, 2012.

• S. Khan and Y. Lespérance. Logical Foundations for a Rational BDI Agent Programming Language (Extended Version) In Louise A. Dennis, Olivier Boissier, Rafael H. Bordini (Eds.) Programming Multi-Agent Systems, 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers, 3-21, LNCS 7217, Springer, 2012.

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. Proc. of the 22nd Int. Joint Conference on Artificial Intelligence (IJCAI'11), 827-832, 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. Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. Handling Prioritized Goals and Subgoals in a Logical Account of Goal Change (Extended Abstract). In Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, 119--136, LNCS vol. 5948, Springer, 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.

1980

• Y. Lespérance. Handling Exceptional Conditions in PSN. In Proc. of the Third Biennial Conference of the Canadian Society for the Computational Studies of Intelligence, 63--70, Victoria, BC, 1980.

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.