Olivier Gasquet

According to our database, Olivier Gasquet authored at least 30 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

TouIST: a Friendly Language for Propositional Logic and More.

Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Compact Tree Encodings for Planning as QBF.

Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais

Inteligencia Artif., 2018

2016

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems.

Olivier Gasquet, Valentin Goranko, François Schwarzentruber

Auton. Agents Multi Agent Syst., 2016

2015

Twist your logic with TouIST.

Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais

CoRR, 2015

2014

Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane.

Olivier Gasquet, Valentin Goranko, François Schwarzentruber

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Kripke's Worlds - An Introduction to Modal Logics via Tableaux.

Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

Studies in Universal Logic, Birkhäuser, ISBN: 978-3-7643-8503-3, 2014

2013

Agents that look at one another.

Philippe Balbiani, Olivier Gasquet, François Schwarzentruber

Log. J. IGPL, 2013

2011

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students.

Olivier Gasquet, François Schwarzentruber, Martin Strecker

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Satoulouse: The Computational Power of Propositional Logic Shown to Beginners.

Olivier Gasquet, François Schwarzentruber, Martin Strecker

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Concrete Epistemic Modal Logic: Flatland.

Olivier Gasquet, François Schwarzentruber

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2010

Knowledge in lineland.

Olivier Gasquet, François Schwarzentruber

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2007

Tableaux with Dynamic Filtration for Layered Modal Logics.

Olivier Gasquet, Bilal Said

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

2006

On the Influence of Confluence in Modal Logics.

Olivier Gasquet

Fundam. Informaticae, 2006

Terminating modal tableaux with simple completeness proof.

Olivier Gasquet, Andreas Herzig, Mohamad Sahade

Proceedings of the Advances in Modal Logic 6, 2006

2005

LoTREC: Logical Tableaux Research Engineering Companion.

Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Modal Tableaux: Completeness vs. Termination.

Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2002

Forms of meaning, meaning of forms.

Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste

J. Exp. Theor. Artif. Intell., 2002

A General Framework for Pattern-Driven Modal Tableaux.

Luis Fariñas del Cerro, Olivier Gasquet

Log. J. IGPL, 2002

Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model.

Karine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste

Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

2001

Lotrec : The Generic Tableau Prover for Modal and Description Logics.

Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1999

Formalizing Action and Change in Modal Logic I: the frame problem.

Marcos A. Castilho, Olivier Gasquet, Andreas Herzig

J. Log. Comput., 1999

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.

Luis Fariñas del Cerro, Olivier Gasquet

Fundam. Informaticae, 1999

1998

Predicate Modal Logics Do Not Mix Very Well.

Olivier Gasquet

Math. Log. Q., 1998

Modal tableaux based on graph-rules.

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Modal Tableaux with Propagation Rules and Structural Rules.

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig

Fundam. Informaticae, 1997

Modal Tableaux for Reasoning About Actions and Plans.

Marcos A. Castilho, Olivier Gasquet, Andreas Herzig

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

1996

Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics.

Olivier Gasquet

Log. J. IGPL, 1996

1995

A New Incompleteness Result in Kripke Semantics.

Olivier Gasquet

Fundam. Informaticae, 1995

1994

Translation-Based Deduction Methods for Modal Logics.

Olivier Gasquet, Andreas Herzig

Proceedings of the Advances in Intelligent Computing, 1994

1993

Translating Inaccessible Worlds Logic into Bimodal Logic.

Olivier Gasquet, Andreas Herzig

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993