Publications of
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.
Emiliano Lorini, François Schwarzentruber
A logic for reasoning about counterfactual emotions
In : Artificial Intelligence, Elsevier, Vol. 175 N. 3-4, pp. 814-847, 2011.
Emiliano Lorini, François Schwarzentruber
A Modal Logic of Epistemic Games
In : Games, MDPI Publishing, Basel – Switzerland, Special issue Epistemic Game Theory and Modal Logic, Vol. 1 N. 4, pp. 478-526, 2010.
URL : http://www.irit.fr/publis/LILAC/EpistemicGamesLoriniSchwarze.pdf
BibTeX
Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
Listen to me! Public announcements to agents that pay attention – or not (regular paper)
In : International Workshop on Logic, Rationality and Interaction (LORI 2013), Hangzhou, 09/10/13-12/10/13, Davide Grossi, Olivier Roy, Huaxin Huang (Eds.), Springer-Verlag, LNCS 8196, pp. 96-109, 2013.
Davide Grossi, Emiliano Lorini, François Schwarzentruber
Ceteris Paribus Structure in Logics of Game Forms (regular paper)
In : Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, 07/01/13-09/01/13, University of California, pp. 94-104, 2013.
URL : http://www.irit.fr/publis/LILAC/TARK2013_GrossiLoriniSchwarzentruber.pdf – https://oatao.univ-toulouse.fr/12417/
BibTeXOlivier 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.
Emiliano Lorini, François Schwarzentruber, Andreas Herzig
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together (regular paper)
In : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, China, 08/10/09-11/10/09, Springer-Verlag, pp. 212-226, 2009.
Knowledge about lights along a line
In : FAMAS’09, Turino, Italia, 07/09/09-11/09/09.
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
BibTeXEmiliano Lorini, François Schwarzentruber
A logic for reasoning about counterfactual emotions
In : International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena (USA), 11/07/09-17/07/09, C. Boutilier (Eds.), AAAI Press, pp. 867-872, 2009.
A non-normal geometric logic related to the coalition logic
In : DGL 2008, ILLC, Amsterdam, 30/06/08-02/07/08.
Andreas Herzig, François Schwarzentruber
Properties of logics of individual and group agency (regular paper)
In : Advances in Modal Logic (AiML 2008), Nancy, 09/09/08-12/09/08, Carlos Areces, Robert Goldblatt (Eds.), College Publications, pp. 133-149, September 2008.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Aiml08.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.
Seeing, knowing, doing: case studies in modal logic
Master’s Thesis, Université Paul Sabatier, December 2010.