Toward a computational interpretation of situation semantics. - Yves Lespérance (Comput. Intell., 1986)

A Formal Account of Self-Knowledge and Action. - Yves Lespérance (IJCAI, 1989)

Indexical Knowledge in Robot Plans. - Yves Lespérance; Hector J. Levesque (AAAI, 1990)

A formal theory of indexical knowledge and action. - Yves Lespérance (1991)

Foundations of a Logical Approach to Agent Programming. - Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Daniel Marcu; Raymond Reiter; Richard B. Scherl (ATAL, 1995)

Indexical Knowledge and Robot Action - A Logical Account. - Yves Lespérance; Hector J. Levesque (Artif. Intell., 1995)

An Experiment in Using Golog to Build a Personal Banking Assistant. - Yves Lespérance; Hector J. Levesque; Shane J. Ruman (PRICAI Workshop on Intelligent Agent Systems, 1996)

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

An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). - Yves Lespérance; Hector J. Levesque; Shane J. Ruman (Agents, 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, 1997)

Controlling Autonomous Robots with GOLOG. - Kenneth Tam; J. Lloyd; Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Daniel Marcu; Raymond Reiter; Michael R. M. Jenkin (Australian Joint Conference on Artificial Intelligence, 1997)

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

GOLOG: A Logic Programming Language for Dynamic Domains. - Hector J. Levesque; Raymond Reiter; Yves Lespérance; Fangzhen Lin; Richard B. Scherl (J. Log. Program., 1997)

Reactivity in a Logic-Based Robot Programming Framework. - Yves Lespérance; Kenneth Tam; Michael R. M. Jenkin (ATAL, 1999)

Modeling Dynamic Domains with ConGolog. - Yves Lespérance; Todd G. Kelley; John Mylopoulos; Eric S. K. Yu (CAiSE, 1999)

Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. - Steven Shapiro; Yves Lespérance (ATAL, 2000)

An Embedding of ConGolog in 3APL. - Koen V. Hindriks; Yves Lespérance; Hector J. Levesque (ECAI, 2000)

ConGolog, a concurrent programming language based on the situation calculus. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (Artif. Intell., 2000)

Ability and Knowing How in the Situation Calculus. - Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Richard B. Scherl (Stud Logica, 2000)

AAAI 2000 Workshop Reports. - Yves Lespérance; Gerd Wagner 001; 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; et al. (AI Mag., 2001)

The cognitive agents specification language and verification environment for multiagent systems. - Steven Shapiro; Yves Lespérance; Hector J. Levesque (AAMAS, 2002)

Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. - Alexei Lapouchnian; Yves Lespérance (Appl. Artif. Intell., 2002)

On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. - Yves Lespérance (Log. J. IGPL, 2003)

A Model of Rational Agency for Communicating Agents. - Shakil M. Khan 001; Yves Lespérance (AC, 2004)

On Ability to Autonomously Execute Agent Programs with Sensing. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (AAMAS, 2004)

On the Semantics of Deliberation in Indigolog - from Theory to Implementation. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (Ann. Math. Artif. Intell., 2004)

Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning. - Erick Martínez; Yves Lespérance (AAAI Fall Symposium: Agents and the Semantic Web, 2005)

ECASL: a model of rational agency for communicating agents. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2005)

Controlling Camera and Lights for Intelligent Image Acquisition and Merging. - Olena Borzenko; Yves Lespérance; Michael R. M. Jenkin (CRV, 2005)

Entropy-Based Image Merging. - Andrew German; Michael R. M. Jenkin; Yves Lespérance (CRV, 2005)

Goal Change. - Steven Shapiro; Yves Lespérance; Hector J. Levesque (IJCAI, 2005)

On the Semantics of Conditional Commitment. - Shakil M. Khan 001; Yves Lespérance (AC, 2006)

Modeling Mental States in the Analysis of Multiagent Systems Requirements. - Alexei Lapouchnian; Yves Lespérance (AOSE, 2006)

Modeling Mental States in Agent-Oriented Requirements Engineering. - Alexei Lapouchnian; Yves Lespérance (CAiSE, 2006)

A New Logical Semantics for Agent Communication. - Jamal Bentahar; Bernard Moulin; John-Jules Ch. Meyer; Yves Lespérance (CLIMA, 2006)

A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. - Wei Xu; Michael Jenkin; Yves Lespérance (CVPR (2), 2006)

Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System. - Olena Borzenko; Wei Xu; Mark Obsniuk; Arjun Chopra; Piotr Jasiobedzki; Michael R. M. Jenkin; Yves Lespérance (ICVS, 2006)

On the Limits of Planning over Belief States under Strict Uncertainty. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (KR, 2006)

A Logical Theory of Coordination and Joint Ability. - Hojjat Ghaderi; Hector J. Levesque; Yves Lespérance (AAAI, 2007)

Towards a logical theory of coordination and joint ability. - Hojjat Ghaderi; Hector J. Levesque; Yves Lespérance (AAMAS, 2007)

INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. - Olena Borzenko; Yves Lespérance; Michael Jenkin (CRV, 2007)

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

A model of contingent planning for agent programming languages. - Yves Lespérance; Giuseppe De Giacomo; Atalay Nafi Ozgovde (AAMAS (1), 2008)

On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. - Yves Lespérance; Alexei Lapouchnian (iStar, 2008)

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque; Sebastian Sardiña (Multi-Agent Programming, Languages, Tools and Applications, 2009)

Handling prioritized goals and subgoals in a logical account of goal change. - Shakil M. Khan 001; Yves Lespérance (AAMAS (2), 2009)

Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. - Alexei Lapouchnian; Yves Lespérance (Conceptual Modeling: Foundations and Applications, 2009)

Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. - Shakil M. Khan 001; Yves Lespérance (DALT, 2009)

Golog Speaks the BDI Language. - Sebastian Sardiña; Yves Lespérance (PROMAS, 2009)

On-line adaptation of sequential mobile processes running concurrently. - Massimiliano de Leoni; Giuseppe De Giacomo; Yves Lespérance; Massimo Mecella (SAC, 2009)

A logical framework for prioritized goal change. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2010)

Situation Calculus Based Programs for Representing and Reasoning about Game Structures. - Giuseppe De Giacomo; Yves Lespérance; Adrian R. Pearce (KR, 2010)

Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of /* Models. - Alexei Lapouchnian; Yves Lespérance (Social Modeling for Requirements Engineering, 2011)

SR-APL: a model for a programming language for rational BDI agents with prioritized goals. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2011)

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (IJCAI, 2011)

Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). - Shakil M. Khan 001; Yves Lespérance (ProMAS, 2011)

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

Bounded Situation Calculus Action Theories and Decidable Verification. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (CogRob@AAAI, 2012)

On supervising agents in situation-determined ConGolog. - Giuseppe De Giacomo; Yves Lespérance; Christian J. Muise (AAMAS, 2012)

Efficient Reasoning in Multiagent Epistemic Logics. - Gerhard Lakemeyer; Yves Lespérance (ECAI, 2012)

A Logic-Based Approach to Business Process Customization. - Yves Lespérance (KiBP@KR, 2012)

Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms. - Andrea Marrella; Yves Lespérance (BMMDS/EMMSAD, 2013)

Bounded Epistemic Situation Calculus Theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (IJCAI, 2013)

Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes. - Andrea Marrella; Yves Lespérance (SOCA, 2013)

Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation. - Slawomir Kmiec; Yves Lespérance (EMAS@AAMAS, 2014)

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Stavros Vassos (ECAI, 2014)

Synchronous Games in the Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance; Adrian R. Pearce (AAMAS, 2015)

Verifying ConGolog Programs on Bounded Situation Calculus Theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Sebastian Sardiña (AAAI, 2016)

Situation Calculus Game Structures and GDL. - Giuseppe De Giacomo; Yves Lespérance; Adrian R. Pearce (ECAI, 2016)

Online Agent Supervision in the Situation Calculus. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2016)

Infinite Paths in the Situation Calculus: Axiomatization and Properties. - Shakil M. Khan 001; Yves Lespérance (KR, 2016)

Online Situation-Determined Agents and their Supervision. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (KR, 2016)

Bounded situation calculus action theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (Artif. Intell., 2016)

Progression and Verification of Situation Calculus Agents with Bounded Beliefs. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Stavros Vassos (Stud Logica, 2016)

Abstraction in Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (AAAI, 2017)

Rewards Structure in Games: Learning a Compact Representation for Action Space. - Margot Lisa-Jing Yann; Yves Lespérance; Aijun An (AAAI Workshops, 2017)

A planning approach to the automated synthesis of template-based process models. - Andrea Marrella; Yves Lespérance (Serv. Oriented Comput. Appl., 2017)

Hierarchical Agent Supervision. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (AAMAS, 2018)

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2018)

ElGolog: A High-Level Programming Language with Memory of the Execution History. - Giuseppe De Giacomo; Yves Lespérance; Eugenia Ternovska (AAAI, 2020)

Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. - Giuseppe De Giacomo; Yves Lespérance (AAMAS, 2020)

Agent Abstraction via Forgetting in the Situation Calculus. - Kailun Luo; Yongmei Liu 001; Yves Lespérance; Ziliang Lin (ECAI, 2020)

A Modal Logic for Joint Abilities under Strategy Commitments. - Zhaoshuai Liu; Liping Xiong; Yongmei Liu 001; Yves Lespérance; Ronghai Xu; Hongyi Shi (IJCAI, 2020)

Transcultural Health-Aware Guides for the Elderly. - Rafael H. Bordini; Viviana Mascardi; Stefania Costantini; Amal El Fallah Seghrouchni; Yves Lespérance; Alessandro Ricci (WOA, 2020)

Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2021)

The Nondeterministic Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance (KR, 2021)

Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. - Haolin Sun; Yves Lespérance (EUMAS, 2023)

Abstraction of Nondeterministic Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2023)

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (CoRR, 2023)

Abstraction of Situation Calculus Concurrent Game Structures. - Yves Lespérance; Giuseppe De Giacomo; Maryam Rostamigiv; Shakil M. Khan 001 (AAAI, 2024)

A Logic of Actual Cause for Nondeterministic Domains. - Maryam Rostamigiv; Shakil M. Khan 001; Yves Lespérance; Mriana Yadkoo (EUMAS, 2024)

Situation Calculus Temporally Lifted Abstractions for Generalized Planning - Extended Abstract. - Giuseppe De Giacomo; Yves Lespérance; Matteo Mancanelli (KoDis+CAKR+SYNERGY@KR, 2024)

Abstracting Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (CoRR, 2024)

Reasoning about Actual Causes in Nondeterministic Domains - Extended Version. - Shakil M. Khan 001; Yves Lespérance; Maryam Rostamigiv (CoRR, 2024)

Reasoning About Actual Causes in Nondeterministic Domains. - Shakil M. Khan 001; Yves Lespérance; Maryam Rostamigiv (AAAI, 2025)

Situation Calculus Temporally Lifted Abstractions for Generalized Planning. - Giuseppe De Giacomo; Yves Lespérance; Matteo Mancanelli (AAAI, 2025)

On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures. - Mohammad Hossein Karimian; Shakil M. Khan 001; Yves Lespérance (Canadian AI, 2025)

Managing an Agent's Changing Intentions Using ltlf Synthesis. - Giuseppe De Giacomo; Yves Lespérance; Gianmarco Parretti; Fabio Patrizi; Renzo Schram (AAMAS, 2025)