Olivier Gasquet

34 papers A* 1A 3B 3C 2Misc 1Journal 17Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	PSPACE-completeness of bimodal transitive weak-density logic. Log. J. IGPL Olivier Gasquet
2025	J	`jnl`	Complexity of some modal logics of density (extended version). CoRR Philippe Balbiani, Olivier Gasquet
2025	J	`jnl`	PSPACE-completeness of bimodal transitive weak-density logic. CoRR Philippe Balbiani, Olivier Gasquet
2025	J	`jnl`	Recursive windows for grammar logics of bounded density. CoRR Olivier Gasquet
2020	A*	`conf`	TouIST: a Friendly Language for Propositional Logic and More. IJCAI Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
2018	J	`jnl`	Compact Tree Encodings for Planning as QBF. Inteligencia Artif. Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais
2016	J	`jnl`	Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2015	J	`jnl`	Twist your logic with TouIST. CoRR Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais
2014	A	`conf`	Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. AAMAS Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2014	—	`book`	Kripke's Worlds - An Introduction to Modal Logics via Tableaux. Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
2013	J	`jnl`	Agents that look at one another. Log. J. IGPL Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
2011	—	`conf`	Concrete Epistemic Modal Logic: Flatland. TICTTL Olivier Gasquet, François Schwarzentruber
2011	—	`conf`	Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL Olivier Gasquet, François Schwarzentruber, Martin Strecker
2011	—	`conf`	Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL Olivier Gasquet, François Schwarzentruber, Martin Strecker
2010	A	`conf`	Knowledge in lineland. AAMAS Olivier Gasquet, François Schwarzentruber
2007	B	`conf`	Tableaux with Dynamic Filtration for Layered Modal Logics. TABLEAUX Olivier Gasquet, Bilal Said
2006	J	`jnl`	On the Influence of Confluence in Modal Logics. Fundam. Informaticae Olivier Gasquet
2006	B	`conf`	Terminating modal tableaux with simple completeness proof. Advances in Modal Logic Olivier Gasquet, Andreas Herzig, Mohamad Sahade
2005	B	`conf`	LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
2005	—	`conf`	Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
2002	J	`jnl`	A General Framework for Pattern-Driven Modal Tableaux. Log. J. IGPL Luis Fariñas del Cerro, Olivier Gasquet
2002	Misc	`conf`	Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model. FLAIRS Karine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste
2002	J	`jnl`	Forms of meaning, meaning of forms. J. Exp. Theor. Artif. Intell. Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste
2001	A	`conf`	Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
1999	J	`jnl`	Formalizing Action and Change in Modal Logic I: the frame problem. J. Log. Comput. Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
1999	J	`jnl`	Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Informaticae Luis Fariñas del Cerro, Olivier Gasquet
1998	—	`conf`	Modal tableaux based on graph-rules. RelMiCS Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1998	J	`jnl`	Predicate Modal Logics Do Not Mix Very Well. Math. Log. Q. Olivier Gasquet
1997	—	`conf`	Modal Tableaux for Reasoning About Actions and Plans. ECP Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
1997	J	`jnl`	Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1996	J	`jnl`	Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics. Log. J. IGPL Olivier Gasquet
1995	J	`jnl`	A New Incompleteness Result in Kripke Semantics. Fundam. Informaticae Olivier Gasquet
1994	C	`conf`	Translation-Based Deduction Methods for Modal Logics. IPMU Olivier Gasquet, Andreas Herzig
1993	C	`conf`	Translating Inaccessible Worlds Logic into Bimodal Logic. ECSQARU Olivier Gasquet, Andreas Herzig