Publications de 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
Dans : Logic Journal of the IGPL, Oxford University Press, Numéro spécial :Combined Special Issue: Best papers of FAMAS 2007 and FAMAS 2009, Vol. 21 N. 3, p. 438-467, juin 2013.
On the influence of confluence in modal logics
Dans : Fundamenta Informaticae, IOS Press, Vol. 70 N. 3, p. 227-250, 2006.
Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste
Forms of meaning, meaning of forms
Dans : Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 14 N. 2, p. 61-74, 2002.
Luis Fariñas del Cerro, Olivier Gasquet
General Framework for Pattern-Driven Modal Tableaux
Dans : Logic Journal of the IGPL, Dov M. Gabbay, Vol. 10 N. 1, p. 51-83, 2002.
Luis Fariñas del Cerro, Olivier Gasquet
Minimal Structures for Modal Tableaux: Some Examples
Dans : <A HREF =, Andrzej Pietruszczak & Jerzy Perzanowski., Department of LogicNicholas Copernicus UniversityAsnyka 2a 87-100 Torun, Vol. 8, p. 1-16, 2000.
Luis Fariñas del Cerro, Olivier Gasquet
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
Dans : Fundamenta Informaticae , Vol. 40 N. 4, p. 317-333, décembre 1999.
Accès : 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
Dans : Journal of Logic and Computation, Vol. 9 N. 5, p. 701-735, 1999.
Predicate multi-modal logics do not mix very well
Dans : Mathematical Logic Quarterly, Vol. 44, p. 45-49, 1998.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules
Dans : Fundamenta Informaticae, Vol. 32 N. 3/4, p. 281-297, 1997.
Accès : http://www.irit.fr/~Andreas.Herzig/P/fi98.pdf
BibTeXCompleteness Results in Neighbourhood Semantics for Muti-Modal Monotonic and Regular Logics
Dans : Journal of the IGPL, Vol. 4 N. 3, p. 419-428, 1996.
A New Incompleteness Result in Kripke Semantics
Dans : 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)
Dans : 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, p. 70-76, 2011.
Accès : http://dx.doi.org/10.1007/978-3-642-21350-2_9
BibTeXOlivier 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)
Dans : 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, p. 85-92, 2011.
Accès : http://dx.doi.org/10.1007/978-3-642-21350-2_11
BibTeXOlivier Gasquet, François Schwarzentruber, Martin Strecker
Satoulouse: the computational power of propositional logic shown to beginners (regular paper)
Dans : 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, p. 77-84, 2011.
Accès : http://dx.doi.org/10.1007/978-3-642-21350-2_10
BibTeXPhilippe Balbiani, Olivier Gasquet, François Schwarzentruber
Knowledge reasoning in Lineland
Dans : Advances in Modal Logic, Moscow, 24/08/10-27/08/10.
Olivier Gasquet, François Schwarzentruber
Knowledge in Lineland (Extended Abstract) (short paper)
Dans : 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, p. 1537-1538, 2010.
Résumé Accès : http://dl.acm.org/citation.cfm?doid=1838206.1838469
BibTeXPhilippe Balbiani, Olivier Gasquet, François Schwarzentruber
Représentation des connaissances dans flatland
Dans : 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)
Dans : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway, 06/07/09-10/07/09, University of Oslo, p. 1-15, juillet 2009.
Résumé Accès : http://www.irit.fr/publis/LILAC/Reports/Tableaux2009RT.pdf
BibTeXEfficient Graph Rewriting System Using Local Event-driven Pattern Matching
Dans : International Workshop on Graph Computation Models 2008 – GCM 08, Leicester, 08/09/08.
Résumé Accès : http://www.irit.fr/publis/LILAC/B.SAID_O.GASQUET_GCM08-FINAL.pdf
BibTeXPhilippe Balbiani, Olivier Gasquet
Fondements logiques du droit de savoir
Dans : Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), Amiens (France), 22/01/08-25/01/08, I. Bloch, P. Marquis (Eds.), AFRIF-AFIA, (support électronique), janvier 2008.
Tableaux with Dynamic Filtration for Layered Modal Logics
Dans : 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, p. 107-118, 2007.
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Terminating modal tableaux with simple completenness proof
Dans : 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, p. 167-186, septembre 2006.
Résumé Accès : 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
Dans : 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, p. 41-44, septembre 2006.
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Une plateforme de raisonnement par tableaux
Dans : 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), (en ligne), 2006.
Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion (regular paper)
Dans : 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, p. 318-322, septembre 2005.
Résumé Accès : 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
Dans : 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
Dans : 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.).
Accès : 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
Dans : 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)
Dans : 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, p. 453-458, 2001.
Accès : 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 ?
Dans : Etats Généraux du Programme de REcherches en Sciences COgnitives de Toulouse (PRESCOT), Toulouse, 18/10/00-20/10/00.
Accès : 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
Dans : 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)
Dans : Tableaux’98, Netherlands, .
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Solving the frame and ramification problem with modal logic plus dependence
Dans : International Joint Conference on Artificial Intelligence (IJCAI’97), Nagoya, Japan, 01/01/97.
Accès : 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
Dans : Working notes of the Symposium on Logical Approaches to Agent Modeling and Desing – ESSLLI’97, Aix-en-Provence, France, 01/01/97.
Accès : 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
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 145-160, mars 1997.
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Modal tableaux for reasoning about actions and plans (regular paper)
Dans : European Conference on Planning (ECP ), –, Springer, p. 104-116, janvier 1997.
Accès : 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
Dans : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, p. 11-32, octobre 2008.
Luis Fariñas del Cerro, Olivier Gasquet
Modal tableaux for reasoning about diagrams
Dans : Essays in Logic and Ontology. J. Malinowski, A. Pietruszczak (Eds.) , Rodopi, p. 169-184, Vol. 91, Poznan Studies in the Philosophy of the Sciences and the Humanities, 2007.
Accès : 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
Dans : We Will Show Them: Essays in Honour of Dov Gabbay. Sergei Artemov, Howard Barringer, Luis Lamb, John Woods (Eds.) , College Publications (ISBN 1904987117), London, p. 587-614, Vol. 1, 2005.
Olivier Gasquet, Andreas Herzig
From Classical to Normal Logics
Dans : Proof Theory of Modal Logics. Heinrich Wansing (Eds.) , Kluwer, p. 293-311, Vol. Num. 2, Applied Logic Series, 1996.
Accès : http://www.irit.fr/~Andreas.Herzig/P/ptml96.html
BibTeXOlivier Gasquet, Andreas Herzig
Translation-Based Deduction Methods for Modal Logics
Dans : Advances in Intelligent Computing – IPMU’94, Selected Papers. B. Bouchon-Meunier, R.R. Yager, L. Zadeh (Eds.) , Springer, p. 399-408, LNCS 945, 1995.
Optimization of Deduction for Multi-Modal Logics
Dans : Applied Logic: How, What and Why. M. Masuch, L. Polos (Eds.) , Kluwer, p. 61-77, 1995.
Accès : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/P/APLOC.ps.gz
BibTeX
Logique multimodale : sémantique, déduction et applications
Habilitation à diriger des recherches, Université Paul Sabatier, décembre 2002.
Déduction automatique en logique multimodale, par traduction
Thèse de doctorat, Université Paul Sabatier, 1994.
Accès : 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