Olivier Gasquet
Olivier Gasquet
Professeur d'informatique, Université Paul Sabatier
Geverifieerd e-mailadres voor irit.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1031999
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
671997
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
652001
LoTREC: Logical tableaux research engineering companion
O Gasquet, A Herzig, D Longin, M Sahade
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
532005
From classical to normal modal logics
O Gasquet, A Herzig
Proof theory of modal logic, 293-311, 1996
501996
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
422002
A general framework for pattern-driven modal tableaux
LF Del Cerro, O Gasquet
Logic Journal of IGPL 10 (1), 51-83, 2002
262002
Tableaux based decision procedures for modal logics of confluence and density
LF del Cerro, O Gasquet
Fundamenta Informaticae 40 (4), 317-333, 1999
261999
Agents that look at one another
P Balbiani, O Gasquet, F Schwarzentruber
Logic Journal of IGPL 21 (3), 438-467, 2013
252013
Modal tableaux for reasoning about actions and plans
MA Castilho, O Gasquet, A Herzig
European Conference on Planning, 104-116, 1997
231997
Kripke’s worlds: An introduction to modal logics via tableaux
O Gasquet, A Herzig, B Said, F Schwarzentruber
Springer Science & Business Media, 2013
192013
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
Optimization of deduction for multi-modal logics
O Gasquet
Applied Logic: How, What and Why, 61-77, 1995
171995
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane
O Gasquet, V Goranko, F Schwarzentruber
142014
Terminating modal tableaux with simple completeness proof.
O Gasquet, A Herzig, M Sahade
Advances in Modal Logic 6, 167-186, 2006
132006
Translating non-normal modal logics into normal modal logics
O Gasquet, A Herzig
Proceedings international workshop on deontic logic, TANO, Oslo, 1993
121993
Déduction automatique en logique multi-modale par traduction
O Gasquet
Toulouse 3, 1994
111994
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
102016
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
102011
Deduction for multimodal logics
O Gasquet
Proc. of Applied Logic Conference (Logic at Work). Amsterdam, 1992
101992
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20