Olivier Gasquet

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 4

Top Topics

Automated Reasoning

Propositional Logic

Top Venues

Inteligencia Artif.

Auton. Agents Multi Agent Syst.

Publications

Jorge Luis Fernandez Davila, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More. IJCAI (2020)
Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF. Inteligencia Artif. 21 (62) (2018)
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. 30 (5) (2016)
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais
Twist your logic with TouIST. CoRR (2015)
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. AAMAS (2014)
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Agents that look at one another. Log. J. IGPL 21 (3) (2013)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL (2011)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL (2011)
Olivier Gasquet, François Schwarzentruber
Concrete Epistemic Modal Logic: Flatland. TICTTL (2011)
Olivier Gasquet, François Schwarzentruber
Knowledge in lineland. AAMAS (2010)
Olivier Gasquet, Bilal Said
Tableaux with Dynamic Filtration for Layered Modal Logics. TABLEAUX (2007)
Olivier Gasquet
On the Influence of Confluence in Modal Logics. Fundam. Informaticae 70 (3) (2006)
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Terminating modal tableaux with simple completeness proof. Advances in Modal Logic (2006)
Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) (2005)
Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX (2005)
Luis Fariñas del Cerro, Olivier Gasquet
A General Framework for Pattern-Driven Modal Tableaux. Log. J. IGPL 10 (1) (2002)
Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste
Forms of meaning, meaning of forms. J. Exp. Theor. Artif. Intell. 14 (1) (2002)
Karine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste
Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model. FLAIRS Conference (2002)
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR (2001)
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
Formalizing Action and Change in Modal Logic I: the frame problem. J. Log. Comput. 9 (5) (1999)
Luis Fariñas del Cerro, Olivier Gasquet
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Informaticae 40 (4) (1999)
Olivier Gasquet
Predicate Modal Logics Do Not Mix Very Well. Math. Log. Q. 44 (1998)
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal tableaux based on graph-rules. RelMiCS (1998)
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae 32 (3-4) (1997)
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
Modal Tableaux for Reasoning About Actions and Plans. ECP (1997)
Olivier Gasquet
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics. Log. J. IGPL 4 (3) (1996)
Olivier Gasquet
A New Incompleteness Result in Kripke Semantics. Fundam. Informaticae 24 (4) (1995)
Olivier Gasquet, Andreas Herzig
Translation-Based Deduction Methods for Modal Logics. IPMU (1994)
Olivier Gasquet, Andreas Herzig
Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU (1993)