Publications of Olivier GASQUET
Olivier Gasquet, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier, Sergei Soloviev
TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics
Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF
Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, 2018, 21 (62), pp.103-113
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
Autonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Agents that look at one another
In : Logic Journal of the IGPL, Oxford University Press, Special issue :Combined Special Issue: Best papers of FAMAS 2007 and FAMAS 2009, Vol. 21 N. 3, pp. 438-467, June 2013.
On the influence of confluence in modal logics
In : Fundamenta Informaticae, IOS Press, Vol. 70 N. 3, pp. 227-250, 2006.
Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste
Forms of meaning, meaning of forms
In : Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 14 N. 2, pp. 61-74, 2002.
Luis Fariñas del Cerro, Olivier Gasquet
General Framework for Pattern-Driven Modal Tableaux
In : Logic Journal of the IGPL, Dov M. Gabbay, Vol. 10 N. 1, pp. 51-83, 2002.
Luis Fariñas del Cerro, Olivier Gasquet
Minimal Structures for Modal Tableaux: Some Examples
In : <A HREF =, Andrzej Pietruszczak & Jerzy Perzanowski., Department of LogicNicholas Copernicus UniversityAsnyka 2a 87-100 Torun, Vol. 8, pp. 1-16, 2000.
Luis Fariñas del Cerro, Olivier Gasquet
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
In : Fundamenta Informaticae , Vol. 40 N. 4, pp. 317-333, December 1999.
URL : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/P/fi99.zip
BibTeXMarcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Formalizing action and change in modal logic I: the frame problem
In : Journal of Logic and Computation, Vol. 9 N. 5, pp. 701-735, 1999.
Predicate multi-modal logics do not mix very well
In : Mathematical Logic Quarterly, Vol. 44, pp. 45-49, 1998.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules
In : Fundamenta Informaticae, Vol. 32 N. 3/4, pp. 281-297, 1997.
Completeness Results in Neighbourhood Semantics for Muti-Modal Monotonic and Regular Logics
In : Journal of the IGPL, Vol. 4 N. 3, pp. 419-428, 1996.
A New Incompleteness Result in Kripke Semantics
In : Fundamenta Informaticae, IOS Press, Vol. 24 N. 4, 1995.
Jorge H. Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF
13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Codages d’arbres compacts (CTE) pour la planification QBF
12èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2018), Jun 2018, Amiens, France. pp.1-9
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
TouIST again… Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF
Journées d’Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Frédéric Maris, Maël Valais
Twist your logic with TouIST
4th International Congress on Tools for Teaching Logic (TTL 2015), IRISA: Institut de Recherche en Informatique et Systèmes Aléatoires; INRIA, Jun 2015, Rennes, France. pp.1-8
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014)
Information Dynamics in Artificial Societies Workshop (IDAS 2014), SINTELNET, the European network for social intelligence, Aug 2014, Tübingen, Allemagne
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2014, Paris, France. pp. 325-332
Olivier Gasquet, François Schwarzentruber
Concrete epistemic modal logic: Flatland (regular paper)
In : International Congress on Tools for Teaching Logic (ICTTL 2011), Salamanca (Spain), 01/06/11-04/06/11, Vol. 6680, Patrick Blackburn, Hans P. van Ditmarsch, Maria Manzano, Fernando Soler-Tosca (Eds.), Springer, Lecture Notes in Computer Science, pp. 70-76, 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} (regular paper)
In : International Congress on Tools for Teaching Logic (ICTTL 2011), Salamanca (Spain), 01/06/11-04/06/11, Vol. 6680, Patrick Blackburn, Hans P. van Ditmarsch, Maria Manzano, Fernando Soler-Tosca (Eds.), Springer, Lecture Notes in Computer Science, pp. 85-92, 2011.
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Satoulouse: the computational power of propositional logic shown to beginners (regular paper)
In : International Congress on Tools for Teaching Logic (ICTTL 2011), Salamanca (Spain), 01/06/11-04/06/11, Vol. 6680, Patrick Blackburn, Hans P. van Ditmarsch, Maria Manzano, Fernando Soler-Tosca (Eds.), Springer, Lecture Notes in Computer Science, pp. 77-84, 2011.
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Knowledge reasoning in Lineland
In : Advances in Modal Logic, Moscow, 24/08/10-27/08/10.
Olivier Gasquet, François Schwarzentruber
Knowledge in Lineland (Extended Abstract) (short paper)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto (Canada), 10/05/10-14/05/10, Vol. Volume 1-3, Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen (Eds.), IFAAMAS, pp. 1537-1538, 2010.
Abstract URL : http://dl.acm.org/citation.cfm?doid=1838206.1838469
BibTeXPhilippe Balbiani, Olivier Gasquet, François Schwarzentruber
Représentation des connaissances dans flatland
In : RTE (Représentation du Temps et de l’Espace) dans RFIA 2010 (Représentation des Formes et Intelligence Artificielle), Caen, 19/01/10-22/01/10.
Olivier Gasquet, Bilal Said, François Schwarzentruber
A semantics for an event based generic tableau prover (student paper)
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway, 06/07/09-10/07/09, University of Oslo, pp. 1-15, July 2009.
Abstract URL : http://www.irit.fr/publis/LILAC/Reports/Tableaux2009RT.pdf
BibTeXEfficient Graph Rewriting System Using Local Event-driven Pattern Matching
In : International Workshop on Graph Computation Models 2008 – GCM 08, Leicester, 08/09/08.
Abstract URL : http://www.irit.fr/publis/LILAC/B.SAID_O.GASQUET_GCM08-FINAL.pdf
BibTeXPhilippe Balbiani, Olivier Gasquet
Fondements logiques du droit de savoir
In : Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), Amiens (France), 22/01/08-25/01/08, I. Bloch, P. Marquis (Eds.), AFRIF-AFIA, (electronic medium), January 2008.
Tableaux with Dynamic Filtration for Layered Modal Logics
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Nicola Olivetti (Eds.), Springer-Verlag, LNAI 4548, pp. 107-118, 2007.
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Terminating modal tableaux with simple completenness proof
In : Advances in Modal Logic (AiML 2006), Noosa, Sunshine Coast, Queensland, Australia, 25/09/06-28/09/06, Vol. 6, Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.), College Publications, pp. 167-186, September 2006.
Abstract URL : http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
LoTREC: An environment for experiencing Kripke Semantics
In : International Congress on Tools for Teaching Logic (ICTTL 2006), Salamanca, Spain, 26/09/06-30/09/06, Maria Manzano, Belén Pérez Lancho, Ana Gil (Eds.), University of Salamanca, pp. 41-44, September 2006.
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Une plateforme de raisonnement par tableaux
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Tours, France, 25/01/06-27/01/06, Association Française pour la Reconnaissance et l’Interprétation des Formes (AFRIF), (on line), 2006.
Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion (regular paper)
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, 14/09/05-17/09/05, Vol. 3702, Bernhard Beckert (Eds.), Springer-Verlag, LNCS, pp. 318-322, September 2005.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2005_Gasquet_et_al_TABLEAUX.pdf – https://doi.org/10.1007/11554554_25
BibTeXLuis Fariñas del Cerro, Olivier Gasquet
Modal tableaux for reasoning about diagrams
In : Int. Workshop on Knowledge Representation and Approximate Reasoning, Olsztyn, Poland, 16/05/03-18/05/03.
Olivier Gasquet, Andreas Herzig, Dominique Longin
Actions perceptives et non-perceptives dans une logique de croyances et intentions
In : Premières Journées Francophones des Modeles formels de l’interaction (MFI’01), Toulouse, 21/05/01-23/05/01, B. Chaib-draa, P. Enjalbert (Eds.).
URL : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2001_Gasquet_et_al_MFI.pdf
BibTeXOlivier Gasquet, Bruno Gaume, Karine Duvignau
Acquisition and Structure of the lexicon : analogy for verb-learning
In : Special Workshop on Multidisciplinary Aspects of Learning, Clichy (Paris, France), 17/01/01-19/01/01.
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec: a generic tableau prover for modal and description logics (regular paper)
In : International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, 18/06/01-23/06/01, Vol. 2083, R. Goré, A. Leitsch, T. Nipkow (Eds.), Springer-Verlag, LNCS, pp. 453-458, 2001.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2001_Farinas_et_al_IJCAR.pdf
BibTeXKarine Duvignau, Cécile Fabre, Frédéric Ferraty, Olivier Gasquet, Bruno Gaume, Bertrand Jouve, Jérôme Lang, Marie-Paule Pery-Woodley
Les dictionaires de langue. Des Graphes aux Propriétés Topologico-Sémantiques ?
In : Etats Généraux du Programme de REcherches en Sciences COgnitives de Toulouse (PRESCOT), Toulouse, 18/10/00-20/10/00.
URL : ftp://ftp.irit.fr/pub/IRIT/PRESCOT/Etats-generaux-PRESCOT.pdf
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Marcos Alexandre Castilho
Reasoning about actions in modal logic
In : Working Notes of the Symposium on Reasoning about Actions: Foundations and Applications at ESSLLI’98, Saarbrücken, Germany, .
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules (position paper)
In : Tableaux’98, Netherlands, .
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Solving the frame and ramification problem with modal logic plus dependence
In : International Joint Conference on Artificial Intelligence (IJCAI’97), Nagoya, Japan, 01/01/97.
URL : http://www.irit.fr/~Andreas.Herzig/P/jlc99.html
BibTeXMarcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
A customized tableau method for reasoning about actions and plans in modal logic
In : Working notes of the Symposium on Logical Approaches to Agent Modeling and Desing – ESSLLI’97, Aix-en-Provence, France, 01/01/97.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeXSalem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
In : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, pp. 145-160, March 1997.
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Modal tableaux for reasoning about actions and plans (regular paper)
In : European Conference on Planning (ECP ), –, Springer, pp. 104-116, January 1997.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeX
Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
Coalition games over Kripke semantics
In : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, pp. 11-32, October 2008.
Luis Fariñas del Cerro, Olivier Gasquet
Modal tableaux for reasoning about diagrams
In : Essays in Logic and Ontology. J. Malinowski, A. Pietruszczak (Eds.) , Rodopi, pp. 169-184, Vol. 91, Poznan Studies in the Philosophy of the Sciences and the Humanities, 2007.
URL : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/Pub/GasquetFarinas.pdf
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination
In : We Will Show Them: Essays in Honour of Dov Gabbay. Sergei Artemov, Howard Barringer, Luis Lamb, John Woods (Eds.) , College Publications (ISBN 1904987117), London, pp. 587-614, Vol. 1, 2005.
Olivier Gasquet, Andreas Herzig
From Classical to Normal Logics
In : Proof Theory of Modal Logics. Heinrich Wansing (Eds.) , Kluwer, pp. 293-311, Vol. Num. 2, Applied Logic Series, 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/ptml96.html
BibTeXOlivier Gasquet, Andreas Herzig
Translation-Based Deduction Methods for Modal Logics
In : Advances in Intelligent Computing – IPMU’94, Selected Papers. B. Bouchon-Meunier, R.R. Yager, L. Zadeh (Eds.) , Springer, pp. 399-408, LNCS 945, 1995.
Optimization of Deduction for Multi-Modal Logics
In : Applied Logic: How, What and Why. M. Masuch, L. Polos (Eds.) , Kluwer, pp. 61-77, 1995.
URL : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/P/APLOC.ps.gz
BibTeX
Logique multimodale : sémantique, déduction et applications
HDR, Université Paul Sabatier, December 2002.
Déduction automatique en logique multimodale, par traduction
Master’s Thesis, Université Paul Sabatier, 1994.
URL : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/Pub/la.zip
BibTeX
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Kripke’s Worlds: An introduction to modal logics via tableaux
Springer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic – Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩
Karine Duvignau, Bruno Gaume, Olivier Gasquet
Regards croisés sur l’analogie
, Hermès Science, Vol. 5/6, Revue d’Intelligence Artificielle (RIA), 2003.
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
Poster sur “La logique facile avec TouIST
Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017
Luis Fariñas del Cerro, Olivier Gasquet, Malik Ghallab, J.P. Krivine, Henri Prade
Débat : ‘Progrès et prospectives en IA — Une journée thématique ‘Intelligence Artificialle’ à l’Observatoire de Recherche Fondamentale en Informatique
Diffusion scientifique. 1996. Bulletin de l’AFIA, V.25, p.7-15