Yves Lespérance

122 papers A* 27A 23C 3Misc 1Journal 23Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures. AAAI Mohammad Hossein Karimian, Shakil M. Khan, Yves Lespérance
2026	J	`jnl`	Formal semantics for knowledge representation and automated reasoning in BPMN process models. Inf. Syst. Angelo Casciani, Simone Agostinelli, Yves Lespérance, Andrea Marrella, Sebastian Sardiña
2026	J	`jnl`	Incremental LTLf Synthesis. CoRR Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Moshe Y. Vardi
2026	A*	`conf`	Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus. AAAI Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2025	J	`jnl`	Abstracting situation calculus action theories. Artif. Intell. Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2025	—	`conf`	Autonomy in Business Process Execution: Why We Need First-Class Abstractions for Goals and Normative Frames. PMAI Diego Calvanese, Giuseppe De Giacomo, Timotheus Kampik, Yves Lespérance, Andrea Marrella, Andrea Matta
2025	A	`conf`	Managing an Agent's Changing Intentions Using ltl AAMAS Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Renzo Schram
2025	—	`conf`	On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures. Canadian AI Mohammad Hossein Karimian, Shakil M. Khan, Yves Lespérance
2025	A*	`conf`	Reasoning About Actual Causes in Nondeterministic Domains. AAAI Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2025	A*	`conf`	Reasoning About Causal Knowledge in Nondeterministic Domains. IJCAI Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2025	A*	`conf`	Situation Calculus Temporally Lifted Abstractions for Generalized Planning. AAAI Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2025	—	`conf`	Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus - Extended Abstract. OVERLAY Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2025	J	`jnl`	Using Large Language Models for Abstraction of Planning Domains - Extended Version. CoRR Bita Banihashemi, Megh Patel, Yves Lespérance
2024	C	`conf`	A Logic of Actual Cause for Nondeterministic Domains. EUMAS Maryam Rostamigiv, Shakil M. Khan, Yves Lespérance, Mriana Yadkoo
2024	J	`jnl`	Abstracting Situation Calculus Action Theories. CoRR Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2024	A*	`conf`	Abstraction of Situation Calculus Concurrent Game Structures. AAAI Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
2024	J	`jnl`	Reasoning about Actual Causes in Nondeterministic Domains - Extended Version. CoRR Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2024	—	`conf`	Situation Calculus Temporally Lifted Abstractions for Generalized Planning - Extended Abstract. KoDis+CAKR+SYNERGY@KR Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2023	J	`jnl`	Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2023	A*	`conf`	Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2023	C	`conf`	Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. EUMAS Haolin Sun, Yves Lespérance
2021	A	`conf`	Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. AAMAS Shakil M. Khan, Yves Lespérance
2021	A*	`conf`	The Nondeterministic Situation Calculus. KR Giuseppe De Giacomo, Yves Lespérance
2020	A*	`conf`	A Modal Logic for Joint Abilities under Strategy Commitments. IJCAI Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi
2020	A	`conf`	Agent Abstraction via Forgetting in the Situation Calculus. ECAI Kailun Luo, Yongmei Liu, Yves Lespérance, Ziliang Lin
2020	A*	`conf`	ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
2020	—	`ed.`	Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers EMAS@AAMAS Louise A. Dennis, Rafael H. Bordini, Yves Lespérance
2020	A	`conf`	Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. AAMAS Giuseppe De Giacomo, Yves Lespérance
2020	—	`conf`	Transcultural Health-Aware Guides for the Elderly. WOA Rafael H. Bordini, Viviana Mascardi, Stefania Costantini, Amal El Fallah Seghrouchni, Yves Lespérance, Alessandro Ricci
2018	A*	`conf`	Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. IJCAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2018	A	`conf`	Hierarchical Agent Supervision. AAMAS Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2017	J	`jnl`	A planning approach to the automated synthesis of template-based process models. Serv. Oriented Comput. Appl. Andrea Marrella, Yves Lespérance
2017	A*	`conf`	Abstraction in Situation Calculus Action Theories. AAAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2017	—	`conf`	Rewards Structure in Games: Learning a Compact Representation for Action Space. AAAI Workshops Margot Lisa-Jing Yann, Yves Lespérance, Aijun An
2016	J	`jnl`	Bounded situation calculus action theories. Artif. Intell. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2016	A*	`conf`	Infinite Paths in the Situation Calculus: Axiomatization and Properties. KR Shakil M. Khan, Yves Lespérance
2016	A*	`conf`	Online Agent Supervision in the Situation Calculus. IJCAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2016	A*	`conf`	Online Situation-Determined Agents and their Supervision. KR Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2016	J	`jnl`	Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2016	A	`conf`	Situation Calculus Game Structures and GDL. ECAI Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
2016	A*	`conf`	Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña
2015	J	`jnl`	Bounded Situation Calculus Action Theories. CoRR Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2015	A	`conf`	Synchronous Games in the Situation Calculus. AAMAS Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
2014	—	`conf`	Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation. EMAS@AAMAS Slawomir Kmiec, Yves Lespérance
2014	A	`conf`	LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2014	A	`conf`	Progression and verification of situation calculus agents with bounded beliefs. AAMAS Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2013	A*	`conf`	Bounded Epistemic Situation Calculus Theories. IJCAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2013	—	`conf`	Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms. BMMDS/EMMSAD Andrea Marrella, Yves Lespérance
2013	—	`conf`	Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes. SOCA Andrea Marrella, Yves Lespérance
2012	—	`conf`	A Logic-Based Approach to Business Process Customization. KiBP@KR Yves Lespérance
2012	—	`conf`	Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2012	A*	`conf`	Bounded Situation Calculus Action Theories and Decidable Verification. KR Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2012	A	`conf`	Efficient Reasoning in Multiagent Epistemic Logics. ECAI Gerhard Lakemeyer, Yves Lespérance
2012	A	`conf`	On supervising agents in situation-determined ConGolog. AAMAS Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise
2011	A*	`conf`	Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2011	J	`jnl`	Iterated belief change in the situation calculus. Artif. Intell. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
2011	—	`conf`	Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). ProMAS Shakil M. Khan, Yves Lespérance
2011	A	`conf`	SR-APL: a model for a programming language for rational BDI agents with prioritized goals. AAMAS Shakil M. Khan, Yves Lespérance
2011	—	`ch.`	Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of /* Models. Social Modeling for Requirements Engineering Alexei Lapouchnian, Yves Lespérance
2010	A	`ed.`	9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 AAMAS Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen
2010	A	`conf`	A logical framework for prioritized goal change. AAMAS Shakil M. Khan, Yves Lespérance
2010	A*	`conf`	Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
2009	—	`conf`	Golog Speaks the BDI Language. PROMAS Sebastian Sardiña, Yves Lespérance
2009	—	`conf`	Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) Shakil M. Khan, Yves Lespérance
2009	—	`ch.`	IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Multi-Agent Programming, Languages, Tools and Applications Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
2009	Misc	`conf`	On-line adaptation of sequential mobile processes running concurrently. SAC Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella
2009	—	`conf`	Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. DALT Shakil M. Khan, Yves Lespérance
2009	—	`conf`	Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. Conceptual Modeling: Foundations and Applications Alexei Lapouchnian, Yves Lespérance
2008	—	`conf`	A model of contingent planning for agent programming languages. AAMAS (1) Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde
2008	—	`conf`	On Using i* for Modeling Autonomy, Reasoning, and Planning in Adaptive Systems. iStar Yves Lespérance, Alexei Lapouchnian
2007	A*	`conf`	A Logical Theory of Coordination and Joint Ability. AAAI Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
2007	—	`conf`	A Logical Theory of Coordination and Joint Ability. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
2007	J	`jnl`	Goal Change in the Situation Calculus. J. Log. Comput. Steven Shapiro, Yves Lespérance, Hector J. Levesque
2007	—	`conf`	INVICON: A Toolkit for Knowledge-Based Control of Vision Systems. CRV Olena Borzenko, Yves Lespérance, Michael Jenkin
2007	A	`conf`	Towards a logical theory of coordination and joint ability. AAMAS Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
2006	—	`conf`	A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. CVPR (2) Wei Xu, Michael Jenkin, Yves Lespérance
2006	—	`conf`	A New Logical Semantics for Agent Communication. CLIMA Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
2006	C	`conf`	Lights and Camera: Intelligently Controlled Multi-channel Pose Estimation System. ICVS Olena Borzenko, Wei Xu, Mark Obsniuk, Arjun Chopra, Piotr Jasiobedzki, Michael R. M. Jenkin, Yves Lespérance
2006	A	`conf`	Modeling Mental States in Agent-Oriented Requirements Engineering. CAiSE Alexei Lapouchnian, Yves Lespérance
2006	—	`conf`	Modeling Mental States in the Analysis of Multiagent Systems Requirements. AOSE Alexei Lapouchnian, Yves Lespérance
2006	A	`conf`	Modeling mental states in the analysis of multiagent systems requirements. AAMAS Alexei Lapouchnian, Yves Lespérance
2006	A*	`conf`	On the Limits of Planning over Belief States under Strict Uncertainty. KR Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2006	—	`conf`	On the Semantics of Conditional Commitment. AC Shakil M. Khan, Yves Lespérance
2006	A	`conf`	On the semantics of conditional commitment. AAMAS Shakil M. Khan, Yves Lespérance
2005	—	`conf`	Controlling Camera and Lights for Intelligent Image Acquisition and Merging. CRV Olena Borzenko, Yves Lespérance, Michael R. M. Jenkin
2005	A	`conf`	ECASL: a model of rational agency for communicating agents. AAMAS Shakil M. Khan, Yves Lespérance
2005	—	`conf`	Entropy-Based Image Merging. CRV Andrew German, Michael R. M. Jenkin, Yves Lespérance
2005	A*	`conf`	Goal Change. IJCAI Steven Shapiro, Yves Lespérance, Hector J. Levesque
2005	—	`conf`	Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning. AAAI Fall Symposium: Agents and the Semantic Web Erick Martínez, Yves Lespérance
2004	—	`conf`	A Model of Rational Agency for Communicating Agents. AC Shakil M. Khan, Yves Lespérance
2004	A	`conf`	On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2004	J	`jnl`	On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2003	J	`jnl`	On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. Log. J. IGPL Yves Lespérance
2002	—	`ed.`	AOIS '02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at AAMAS*02) AOIS@AAMAS Paolo Giorgini, Yves Lespérance, Gerd Wagner, Eric S. K. Yu
2002	—	`ed.`	AOIS '02, Agent-Oriented Information Systems, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002 at CAiSE*02) AOIS@CAiSE Paolo Giorgini, Yves Lespérance, Gerd Wagner, Eric S. K. Yu
2002	J	`jnl`	Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications. Appl. Artif. Intell. Alexei Lapouchnian, Yves Lespérance
2002	A*	`conf`	On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
2002	A	`conf`	The cognitive agents specification language and verification environment for multiagent systems. AAMAS Steven Shapiro, Yves Lespérance, Hector J. Levesque
2001	J	`jnl`	AAAI 2000 Workshop Reports. AI Mag. Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt 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
2001	—	`ed.`	Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings ATAL Cristiano Castelfranchi, Yves Lespérance
2001	—	`conf`	On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. ATAL Yves Lespérance
2000	J	`jnl`	Ability and Knowing How in the Situation Calculus. Stud Logica Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
2000	A	`conf`	An Embedding of ConGolog in 3APL. ECAI Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
2000	J	`jnl`	ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2000	—	`ed.`	Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings ATAL Nicholas R. Jennings, Yves Lespérance
2000	A*	`conf`	Iterated Belief Change in the Situation Calculus. KR Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
2000	—	`conf`	Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. ATAL Steven Shapiro, Yves Lespérance
1999	A	`conf`	Modeling Dynamic Domains with ConGolog. CAiSE Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu
1999	—	`conf`	Reactivity in a Logic-Based Robot Programming Framework. ATAL Yves Lespérance, Kenneth Tam, Michael R. M. Jenkin
1997	—	`conf`	An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Agents Yves Lespérance, Hector J. Levesque, Shane J. Ruman
1997	—	`conf`	Controlling Autonomous Robots with Australian Joint Conference on Artificial Intelligence Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin
1997	J	`jnl`	GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
1997	—	`conf`	Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
1997	—	`conf`	Specifying Communicative Multi-Agent Systems (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Steven Shapiro, Yves Lespérance, Hector J. Levesque
1996	J	`jnl`	AI Models for Business Process Reengineering. IEEE Expert Eric S. K. Yu, John Mylopoulos, Yves Lespérance
1996	—	`conf`	An Experiment in Using Golog to Build a Personal Banking Assistant. PRICAI Workshop on Intelligent Agent Systems Yves Lespérance, Hector J. Levesque, Shane J. Ruman
1995	—	`conf`	Foundations of a Logical Approach to Agent Programming. ATAL Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl
1995	J	`jnl`	Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. Yves Lespérance, Hector J. Levesque
1991	—	`—`	A formal theory of indexical knowledge and action. Yves Lespérance
1990	A*	`conf`	Indexical Knowledge in Robot Plans. AAAI Yves Lespérance, Hector J. Levesque
1989	A*	`conf`	A Formal Account of Self-Knowledge and Action. IJCAI Yves Lespérance
1986	J	`jnl`	Toward a computational interpretation of situation semantics. Comput. Intell. Yves Lespérance