| 2026 | AAAI | Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli |
| 2026 | AAAI | Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures. | Mohammad Hossein Karimian, Shakil M. Khan, Yves Lesprance |
| 2026 | KR | Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli, Gianmarco Parretti |
| 2026 | KR | Synthesis Foundations for Online LTLf Goal Management. | Giuseppe De Giacomo, Yves Lesprance, Gianmarco Parretti, Fabio Patrizi |
| 2025 | AAAI | Reasoning About Actual Causes in Nondeterministic Domains. | Shakil M. Khan, Yves Lesprance, Maryam Rostamigiv |
| 2025 | AAAI | Situation Calculus Temporally Lifted Abstractions for Generalized Planning. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli |
| 2025 | AI | On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures. | Mohammad Hossein Karimian, Shakil M. Khan, Yves Lesprance |
| 2025 | IJCAI | Reasoning About Causal Knowledge in Nondeterministic Domains. | Shakil M. Khan, Yves Lesprance, Maryam Rostamigiv |
| 2024 | AAAI | Abstraction of Situation Calculus Concurrent Game Structures. | Yves Lesprance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan |
| 2024 | EUMAS | A Logic of Actual Cause for Nondeterministic Domains. | Maryam Rostamigiv, Shakil M. Khan, Yves Lesprance, Mriana Yadkoo |
| 2023 | EUMAS | Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains. | Haolin Sun, Yves Lesprance |
| 2023 | IJCAI | Abstraction of Nondeterministic Situation Calculus Action Theories. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2021 | KR | The Nondeterministic Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance |
| 2020 | AAAI | ElGolog: A High-Level Programming Language with Memory of the Execution History. | Giuseppe De Giacomo, Yves Lesprance, Eugenia Ternovska |
| 2020 | ECAI | Agent Abstraction via Forgetting in the Situation Calculus. | Kailun Luo, Yongmei Liu, Yves Lesprance, Ziliang Lin |
| 2020 | IJCAI | A Modal Logic for Joint Abilities under Strategy Commitments. | Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lesprance, Ronghai Xu, Hongyi Shi |
| 2018 | IJCAI | Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2017 | AAAI | Abstraction in Situation Calculus Action Theories. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2017 | AAAI | Rewards Structure in Games: Learning a Compact Representation for Action Space. | Margot Lisa-Jing Yann, Yves Lesprance, Aijun An |
| 2016 | AAAI | Verifying ConGolog Programs on Bounded Situation Calculus Theories. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Sebastian Sardia |
| 2016 | ECAI | Situation Calculus Game Structures and GDL. | Giuseppe De Giacomo, Yves Lesprance, Adrian R. Pearce |
| 2016 | IJCAI | Online Agent Supervision in the Situation Calculus. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2016 | KR | Infinite Paths in the Situation Calculus: Axiomatization and Properties. | Shakil M. Khan, Yves Lesprance |
| 2016 | KR | Online Situation-Determined Agents and their Supervision. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2014 | ECAI | LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Stavros Vassos |
| 2013 | CaiSE | Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms. | Andrea Marrella, Yves Lesprance |
| 2013 | IJCAI | Bounded Epistemic Situation Calculus Theories. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2012 | AAAI | Bounded Situation Calculus Action Theories and Decidable Verification. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2012 | AAMAS | On supervising agents in situation-determined ConGolog. | Giuseppe De Giacomo, Yves Lesprance, Christian J. Muise |
| 2012 | ECAI | Efficient Reasoning in Multiagent Epistemic Logics. | Gerhard Lakemeyer, Yves Lesprance |
| 2012 | KR | Bounded Situation Calculus Action Theories and Decidable Verification. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2012 | KR | A Logic-Based Approach to Business Process Customization. | Yves Lesprance |
| 2011 | IJCAI | Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2010 | KR | Situation Calculus Based Programs for Representing and Reasoning about Game Structures. | Giuseppe De Giacomo, Yves Lesprance, Adrian R. Pearce |
| 2009 | SAC | On-line adaptation of sequential mobile processes running concurrently. | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lesprance, Massimo Mecella |
| 2007 | AAAI | A Logical Theory of Coordination and Joint Ability. | Hojjat Ghaderi, Hector J. Levesque, Yves Lesprance |
| 2006 | CaiSE | Modeling Mental States in Agent-Oriented Requirements Engineering. | Alexei Lapouchnian, Yves Lesprance |
| 2006 | CVPR | A Multi-Channel Algorithm for Edge Detection Under Varying Lighting. | Wei Xu, Michael Jenkin, Yves Lesprance |
| 2006 | ICVS | 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 Lesprance |
| 2006 | KR | On the Limits of Planning over Belief States under Strict Uncertainty. | Sebastian Sardia, Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2005 | IJCAI | Goal Change. | Steven Shapiro, Yves Lesprance, Hector J. Levesque |
| 2002 | KR | On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque, Sebastian Sardia |
| 2000 | ECAI | An Embedding of ConGolog in 3APL. | Koen V. Hindriks, Yves Lesprance, Hector J. Levesque |
| 2000 | KR | Iterated Belief Change in the Situation Calculus. | Steven Shapiro, Maurice Pagnucco, Yves Lesprance, Hector J. Levesque |
| 1999 | CaiSE | Modeling Dynamic Domains with ConGolog. | Yves Lesprance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu |
| 1997 | IJCAI | Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 1996 | PRICAI | An Experiment in Using Golog to Build a Personal Banking Assistant. | Yves Lesprance, Hector J. Levesque, Shane J. Ruman |
| 1990 | AAAI | Indexical Knowledge in Robot Plans. | Yves Lesprance, Hector J. Levesque |
| 1989 | IJCAI | A Formal Account of Self-Knowledge and Action. | Yves Lesprance |