Olivier Gasquet
Olivier Gasquet
Professeur d'informatique, Université Paul Sabatier
Adresse e-mail validée de irit.fr - Page d'accueil
Citée par
Citée par
Formalizing action and change in modal logic I: the frame problem
MA Castilho, O Gasquet, A Herzig
Journal of logic and computation 9 (5), 701-735, 1999
Lotrec: the generic tableau prover for modal and description logics
LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci
International Joint Conference on Automated Reasoning, 453-458, 2001
Modal tableaux with propagation rules and structural rules
MA Castilho, LF del Cerro, O Gasquet, A Herzig
Fundamenta Informaticae 32 (3, 4), 281-297, 1997
LoTREC: Logical tableaux research engineering companion
O Gasquet, A Herzig, D Longin, M Sahade
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
From classical to normal modal logics
O Gasquet, A Herzig
Proof theory of modal logic, 293-311, 1996
Forms of meaning, meaning of forms
B Gaume, K Duvignau, O Gasquet, MD Gineste
Journal of Experimental & Theoretical Artificial Intelligence 14 (1), 61-74, 2002
A general framework for pattern-driven modal tableaux
LF Del Cerro, O Gasquet
Log. J. IGPL 10 (1), 51-83, 2002
Tableaux based decision procedures for modal logics of confluence and density
LF del Cerro, O Gasquet
Fundamenta Informaticae 40 (4), 317-333, 1999
Agents that look at one another
P Balbiani, O Gasquet, F Schwarzentruber
Logic Journal of IGPL 21 (3), 438-467, 2013
Modal tableaux for reasoning about actions and plans
MA Castilho, O Gasquet, A Herzig
European Conference on Planning, 104-116, 1997
Kripke’s worlds: An introduction to modal logics via tableaux
O Gasquet, A Herzig, B Said, F Schwarzentruber
Springer Science & Business Media, 2013
Coalition games over Kripke semantics: expressiveness and complexity
P Balbiani, O Gasquet, A Herzig, F Schwarzentruber, N Troquard
Festschrift in Honour of Shahid Rahman. College Publications, 2008
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane
O Gasquet, V Goranko, F Schwarzentruber
International Joint Conference on Autonomous Agents and Multiagent Systems …, 2014
Optimization of deduction for multi-modal logics
O Gasquet
Applied Logic: How, What and Why, 61-77, 1995
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
O Gasquet, F Schwarzentruber, M Strecker
International Congress on Tools for Teaching Logic, 85-92, 2011
Terminating modal tableaux with simple completeness proof.
O Gasquet, A Herzig, M Sahade
Advances in Modal Logic 6, 167-186, 2006
Translating non-normal modal logics into normal modal logics
O Gasquet, A Herzig
Proceedings international workshop on deontic logic, TANO, Oslo, 1993
Déduction automatique en logique multi-modale par traduction
O Gasquet
Toulouse 3, 2026
Big brother logic: visual-epistemic reasoning in stationary multi-agent systems
O Gasquet, V Goranko, F Schwarzentruber
Autonomous Agents and Multi-Agent Systems 30 (5), 793-825, 2016
Deduction for multimodal logics
O Gasquet
Proc. of Applied Logic Conference (Logic at Work). Amsterdam, 1992
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20