Follow
Olivier Gasquet
Olivier Gasquet
Professeur d'informatique, Université Paul Sabatier
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
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
1141999
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
771997
Lotrec: the generic tableau prover for modal and description logics
LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
712001
LoTREC: Logical tableaux research engineering companion
O Gasquet, A Herzig, D Longin, M Sahade
Automated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005
622005
From classical to normal modal logics
O Gasquet, A Herzig
Proof theory of modal logic, 293-311, 1996
581996
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
522002
Agents that look at one another
P Balbiani, O Gasquet, F Schwarzentruber
Logic Journal of IGPL 21 (3), 438-467, 2013
302013
Kripke’s World
O Gasquet, A Herzig, B Said, F Schwarzentruber
Studies in Universal Logic. Basel: Birkhaüser, 2014
272014
Tableaux based decision procedures for modal logics of confluence and density
LF del Cerro, O Gasquet
Fundamenta Informaticae 40 (4), 317-333, 1999
261999
A general framework for pattern-driven modal tableaux
LF Del Cerro, O Gasquet
Log. J. IGPL 10 (1), 51-83, 2002
252002
Modal tableaux for reasoning about actions and plans
MA Castilho, O Gasquet, A Herzig
Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 …, 1997
251997
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
O Gasquet, F Schwarzentruber, M Strecker
Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011
192011
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane
O Gasquet, V Goranko, F Schwarzentruber
IFAAMAS, 2014
182014
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
172008
Big brother logic: visual-epistemic reasoning in stationary multi-agent systems
O Gasquet, V Goranko, F Schwarzentruber
Autonomous Agents and Multi-Agent Systems 30, 793-825, 2016
162016
Terminating modal tableaux with simple completeness proof.
O Gasquet, A Herzig, M Sahade
Advances in Modal Logic 6, 167-186, 2006
142006
Translating non-normal modal logics into normal modal logics
O Gasquet, A Herzig
Proceedings international workshop on deontic logic, TANO, Oslo, 1993
121993
Compact tree encodings for planning as QBF
O Gasquet, D Longin, F Maris, P Régnier, M Valais
Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence …, 2018
112018
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners
O Gasquet, F Schwarzentruber, M Strecker
Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011
112011
Déduction automatique en logique multi-modale par traduction
O Gasquet
Toulouse 3, 1994
111994
The system can't perform the operation now. Try again later.
Articles 1–20