![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Olivier Gasquet
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c16]Jorge 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. IJCAI 2020: 5240-5242
2010 – 2019
- 2018
- [j12]Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais:
Compact Tree Encodings for Planning as QBF. Inteligencia Artif. 21(62): 103-114 (2018) - 2016
- [j11]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): 793-825 (2016) - 2015
- [i1]Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais:
Twist your logic with TouIST. CoRR abs/1507.03663 (2015) - 2014
- [b1]Olivier Gasquet, Andreas Herzig, Bilal Said
, François Schwarzentruber
:
Kripke's Worlds - An Introduction to Modal Logics via Tableaux. Studies in Universal Logic, Birkhäuser 2014, ISBN 978-3-7643-8503-3, pp. I-XV, 1-198 - [c15]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: 325-332 - 2013
- [j10]Philippe Balbiani
, Olivier Gasquet, François Schwarzentruber
:
Agents that look at one another. Log. J. IGPL 21(3): 438-467 (2013) - 2011
- [c14]Olivier Gasquet, François Schwarzentruber
:
Concrete Epistemic Modal Logic: Flatland. TICTTL 2011: 70-76 - [c13]Olivier Gasquet, François Schwarzentruber
, Martin Strecker:
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL 2011: 77-84 - [c12]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: 85-92 - 2010
- [c11]Olivier Gasquet, François Schwarzentruber
:
Knowledge in lineland. AAMAS 2010: 1537-1538
2000 – 2009
- 2007
- [c10]Olivier Gasquet, Bilal Said:
Tableaux with Dynamic Filtration for Layered Modal Logics. TABLEAUX 2007: 107-118 - 2006
- [j9]Olivier Gasquet:
On the Influence of Confluence in Modal Logics. Fundam. Informaticae 70(3): 227-250 (2006) - [c9]Olivier Gasquet, Andreas Herzig, Mohamad Sahade:
Terminating modal tableaux with simple completeness proof. Advances in Modal Logic 2006: 167-186 - 2005
- [c8]Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade:
Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614 - [c7]Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade:
LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX 2005: 318-322 - 2002
- [j8]Luis Fariñas del Cerro, Olivier Gasquet:
A General Framework for Pattern-Driven Modal Tableaux. Log. J. IGPL 10(1): 51-83 (2002) - [j7]Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste:
Forms of meaning, meaning of forms. J. Exp. Theor. Artif. Intell. 14(1): 61-74 (2002) - [c6]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 2002: 143-147 - 2001
- [c5]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: 453-458
1990 – 1999
- 1999
- [j6]Luis Fariñas del Cerro, Olivier Gasquet:
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Informaticae 40(4): 317-333 (1999) - [j5]Marcos A. Castilho, Olivier Gasquet, Andreas Herzig:
Formalizing Action and Change in Modal Logic I: the frame problem. J. Log. Comput. 9(5): 701-735 (1999) - 1998
- [j4]Olivier Gasquet:
Predicate Modal Logics Do Not Mix Very Well. Math. Log. Q. 44: 45-49 (1998) - [c4]Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
Modal tableaux based on graph-rules. RelMiCS 1998: 37-42 - 1997
- [j3]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): 281-297 (1997) - [c3]Marcos A. Castilho, Olivier Gasquet, Andreas Herzig:
Modal Tableaux for Reasoning About Actions and Plans. ECP 1997: 104-116 - 1996
- [j2]Olivier Gasquet:
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics. Log. J. IGPL 4(3): 417-426 (1996) - 1995
- [j1]Olivier Gasquet:
A New Incompleteness Result in Kripke Semantics. Fundam. Informaticae 24(4): 407-415 (1995) - 1994
- [c2]Olivier Gasquet, Andreas Herzig:
Translation-Based Deduction Methods for Modal Logics. IPMU 1994: 399-408 - 1993
- [c1]Olivier Gasquet, Andreas Herzig:
Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU 1993: 145-150
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint