Demri, Stéphane

7 publications

AAAI 2023 Model-Checking for Ability-Based Logics with Constrained Plans Stéphane Demri, Raul Fervari

IJCAI 2020 A Framework for Reasoning About Dynamic Axioms in Description Logics Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti

AAAI 2020 Parameterised Resource-Bounded ATL Natasha Alechina, Stéphane Demri, Brian Logan

IJCAI 1997 Prefixed Tableaux Systems for Modal Logics with Enriched Languages Philippe Balbiani, Stéphane Demri

IJCAI 1995 On the Complexity of Extending Ground Resolution with Symmetry Rules Thierry Boy de la Tour, Stéphane Demri

IJCAI 1993 Cooperation Between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5 Ricardo Caferra, Stéphane Demri

AAAI 1991 Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics Ricardo Caferra, Stéphane Demri, Michel Herment