Publications de
Thomas Bolander, Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents
Dans : Journal of Logic, Language and Information, Springer, Vol. 25 N. 1, p. 1-35, janvier 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jolli16.html – https://oatao.univ-toulouse.fr/16889/
BibTeXOlivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
Dans : Journal of Autonomous Agents and Multi-Agent Systems, Springer, Vol. 30 N. 5, p. 793-825, septembre 2016.
Résumé Accès : http://dx.doi.org/10.1007/s10458-015-9306-4 – https://oatao.univ-toulouse.fr/16852/
BibTeXDavide Grossi, Emiliano Lorini, François Schwarzentruber
The Ceteris Paribus Structure of Logics of Game Forms
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 53, p. 91-126, 2015.
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.
Emiliano Lorini, François Schwarzentruber
A logic for reasoning about counterfactual emotions
Dans : Artificial Intelligence, Elsevier, Vol. 175 N. 3-4, p. 814-847, 2011.
Emiliano Lorini, François Schwarzentruber
A Modal Logic of Epistemic Games
Dans : Games, MDPI Publishing, Basel – Switzerland, Numéro spécial Epistemic Game Theory and Modal Logic, Vol. 1 N. 4, p. 478-526, 2010.
Accès : http://www.irit.fr/publis/LILAC/EpistemicGamesLoriniSchwarze.pdf
BibTeX
Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Epistemic boolean games based on a logic of visibility and control (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, 09/07/16-15/07/16, Subbarao Kambhampati (Eds.), AAAI Press, p. 1116-1122, juillet 2016.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ijcai16.html – https://oatao.univ-toulouse.fr/16978/
BibTeXTristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Building epistemic logic from observations and public announcements (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Capetown, 25/04/16-29/04/16, AAAI Press, p. 268-277, 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Kr16.pdf – https://oatao.univ-toulouse.fr/16903/
BibTeXOlivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane.
Dans : Information Dynamics in Artificial Societies Workshop (IDAS-14), Tübingen, Germany, 18/08/14-22/08/14.
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (regular paper)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, France, 05/05/14-09/05/14, Ana Bazzan, Michael Huhns, Alessio Lomuscio, Paul Scerri (Eds.), IFAAMAS, p. 325-332, 2014.
Accès : http://aamas2014.lip6.fr/proceedings/aamas/p325.pdf – https://oatao.univ-toulouse.fr/12838/
BibTeXAndreas Herzig, Pilar Pozos Parra, François Schwarzentruber
Belief merging in Dynamic Logic of Propositional Assignments (regular paper)
Dans : International Symposium on Foundations of Information and Knowledge Systems (FolKS 2014), Bordeaux, 03/03/14-07/03/14, Christoph Beierle, Carlo Meghini (Eds.), Springer, LNCS 8367, p. 381-398, mars 2014.
Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
Listen to me! Public announcements to agents that pay attention – or not (regular paper)
Dans : 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, p. 96-109, 2013.
Davide Grossi, Emiliano Lorini, François Schwarzentruber
Ceteris Paribus Structure in Logics of Game Forms (regular paper)
Dans : Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, 07/01/13-09/01/13, University of California, p. 94-104, 2013.
Accès : 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)
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.
Emiliano Lorini, François Schwarzentruber, Andreas Herzig
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together (regular paper)
Dans : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, China, 08/10/09-11/10/09, Springer-Verlag, p. 212-226, 2009.
Knowledge about lights along a line
Dans : 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)
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
BibTeXEmiliano Lorini, François Schwarzentruber
A logic for reasoning about counterfactual emotions
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena (USA), 11/07/09-17/07/09, C. Boutilier (Eds.), AAAI Press, p. 867-872, 2009.
A non-normal geometric logic related to the coalition logic
Dans : 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)
Dans : Advances in Modal Logic (AiML 2008), Nancy, 09/09/08-12/09/08, Carlos Areces, Robert Goldblatt (Eds.), College Publications, p. 133-149, septembre 2008.
Résumé Accès : 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
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.
Seeing, knowing, doing: case studies in modal logic
Thèse de doctorat, Université Paul Sabatier, décembre 2010.
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Kripke’s Worlds – An introduction to modal logics via tableaux, Springer-Verlag, Studies in Universal Logic, janvier 2014.
Résumé Accès : http://dx.doi.org/10.1007/978-3-7643-8504-0
BibTeX