Yves Lespérance

Dept. of Electrical Engineering and Computer Science , York University , Toronto , Ontario , Canada

10 papers in the IJCAI proceedings

IJCAI 2025

Reasoning About Causal Knowledge in Nondeterministic Domains

with Shakil M. Khan, Maryam Rostamigiv

doi:10.24963/ijcai.2025/507

Details PDF

IJCAI 2023

Abstraction of Nondeterministic Situation Calculus Action Theories

with Bita Banihashemi, Giuseppe De Giacomo

doi:10.24963/ijcai.2023/347

Details PDF

IJCAI 2020

A Modal Logic for Joint Abilities under Strategy Commitments

with Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Ronghai Xu, Hongyi Shi

doi:10.24963/ijcai.2020/250

Details PDF

IJCAI 2018

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus

with Bita Banihashemi, Giuseppe De Giacomo

doi:10.24963/ijcai.2018/235

Details PDF

IJCAI 2016

Online Agent Supervision in the Situation Calculus

with Bita Banihashemi, Giuseppe De Giacomo

Details PDF

IJCAI 2013

Bounded Epistemic Situation Calculus Theories

with Giuseppe De Giacomo, Fabio Patrizi

Details PDF

IJCAI 2011

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals

with Giuseppe De Giacomo, Hector J. Levesque

doi:10.5591/978-1-57735-516-8/IJCAI11-144

Details PDF

IJCAI 2005

Goal Change

with Steven Shapiro, Hector J. Levesque

Details PDF

IJCAI 1997

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus

with Giuseppe De Giacomo, Hector J. Levesque

Details PDF

IJCAI 1989

A Formal Account of Self-Knowledge and Action

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings