Olivier Gasquet - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2020

TouIST: a Friendly Language for Propositional Logic and MoreJorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier. IJCAI 2020: 5240-5242 [doi]

2018

Compact Tree Encodings for Planning as QBFOlivier Gasquet. aepia, 21(62):103-114, 2018. [doi]

2016

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systemsOlivier Gasquet, Valentin Goranko, François Schwarzentruber. AAMAS, 30(5):793-825, 2016. [doi]

2014

Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the planeOlivier Gasquet, Valentin Goranko, François Schwarzentruber. atal 2014: 325-332 [doi]

Kripke's Worlds - An Introduction to Modal Logics via TableauxOlivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber. Studies in Universal Logic, Birkhäuser, 2014. [doi]

2013

Agents that look at one anotherPhilippe Balbiani, Olivier Gasquet, François Schwarzentruber. igpl, 21(3):438-467, 2013. [doi]

2011

Concrete Epistemic Modal Logic: FlatlandOlivier Gasquet, François Schwarzentruber. ticttl 2011: 70-76 [doi]

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate StudentsOlivier Gasquet, François Schwarzentruber, Martin Strecker. ticttl 2011: 85-92 [doi]

Satoulouse: The Computational Power of Propositional Logic Shown to BeginnersOlivier Gasquet, François Schwarzentruber, Martin Strecker. ticttl 2011: 77-84 [doi]

2010

Knowledge in linelandOlivier Gasquet, François Schwarzentruber. atal 2010: 1537-1538 [doi]

2007

Tableaux with Dynamic Filtration for Layered Modal LogicsOlivier Gasquet, Bilal Said. tableaux 2007: 107-118 [doi]

2006

On the Influence of Confluence in Modal LogicsOlivier Gasquet. FUIN, 70(3):227-250, 2006. [doi]

Terminating modal tableaux with simple completeness proofOlivier Gasquet, Andreas Herzig, Mohamad Sahade. aiml 2006: 167-186 [doi]

2005

Modal Tableaux: Completeness vs. TerminationLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade. BIRTHDAY 2005: 587-614

LoTREC: Logical Tableaux Research Engineering CompanionOlivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade. tableaux 2005: 318-322 [doi]

2002

A General Framework for Pattern-Driven Modal TableauxLuis Fariñas del Cerro, Olivier Gasquet. igpl, 10(1):51-83, 2002. [doi]

Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational ModelKarine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste. flairs 2002: 143-147

Forms of meaning, meaning of formsBruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste. jetai, 14(1):61-74, 2002.

2001

Lotrec : The Generic Tableau Prover for Modal and Description LogicsLuis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci. cade 2001: 453-458 [doi]

1999

Formalizing Action and Change in Modal Logic I: the frame problemMarcos A. Castilho, Olivier Gasquet, Andreas Herzig. logcom, 9(5):701-735, 1999. [doi]

Tableaux Based Decision Procedures for Modal Logics of Confluence and DensityLuis Fariñas del Cerro, Olivier Gasquet. FUIN, 40(4):317-333, 1999.

1998

Modal tableaux based on graph-rulesMarcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig. RelMiCS 1998: 37-42

Predicate Modal Logics Do Not Mix Very WellOlivier Gasquet. mlq, 44:45-49, 1998.

1997

Modal Tableaux for Reasoning About Actions and PlansMarcos A. Castilho, Olivier Gasquet, Andreas Herzig. ecp 1997: 104-116

Modal Tableaux with Propagation Rules and Structural RulesMarcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig. FUIN, 32(3-4):281-297, 1997.

1996

Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular LogicsOlivier Gasquet. igpl, 4(3):417-426, 1996. [doi]

1995

A New Incompleteness Result in Kripke SemanticsOlivier Gasquet. FUIN, 24(4):407-415, 1995.

1994

Translation-Based Deduction Methods for Modal LogicsOlivier Gasquet, Andreas Herzig. ipmu 1995: 399-408

1993

Translating Inaccessible Worlds Logic into Bimodal LogicOlivier Gasquet, Andreas Herzig. ecsqaru 1993: 145-150

Sign in or sign up to see more results.

runs on WebDSL