Lespérance, Yves

19 publications

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

IJCAI 2025 Reasoning About Causal Knowledge in Nondeterministic Domains Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv

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

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

IJCAI 2023 Abstraction of Nondeterministic Situation Calculus Action Theories Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

IJCAI 2020 A Modal Logic for Joint Abilities Under Strategy Commitments Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi

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

IJCAI 2018 Abstraction of Agents Executing Online and Their Abilities in the Situation Calculus Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

AAAI 2017 Abstraction in Situation Calculus Action Theories Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

IJCAI 2016 Online Agent Supervision in the Situation Calculus Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

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

IJCAI 2013 Bounded Epistemic Situation Calculus Theories Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi

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

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

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

IJCAI 2005 Goal Change Steven Shapiro, Yves Lespérance, Hector J. Levesque

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

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

IJCAI 1989 A Formal Account of Self-Knowledge and Action Yves Lespérance