Export Publications

Exporter les publications affichées :

Identifiants chercheur

Nombre de documents

19

CV


Article dans une revue3 documents

  • Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2016, 30 (5), pp.793 - 825. 〈10.1007/s10458-015-9306-4〉. 〈hal-01624691〉
  • Thomas Bolander, Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, et al.. Announcements to Attentive Agents. Journal of Logic, Language and Information, Springer Verlag, 2015, vol. 25 (n° 1), pp. 1-35. 〈10.1007/s10849-015-9234-3〉. 〈hal-01585237〉
  • Philippe Balbiani, Olivier Gasquet, François Schwarzentruber. Agents that look at one another. Logic Journal of the IGPL, Oxford University Press (OUP), 2013, vol. 21 (n° 3), pp. 438-467. 〈10.1093/jigpal/jzs052〉. 〈hal-01138505〉

Communication dans un congrès11 documents

  • Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber. Epistemic boolean games based on a logic of visibility and control. 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. IJCAI'16 : Proceedings of the 25th International Joint Conference on Artificial Intelligence, pp. 1116-1122, 2016. 〈hal-01530163〉
  • Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber. Games with Communication: from Belief to Preference Change. Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy. 2015. 〈hal-01194398〉
  • Sophia Knight, Bastien Maubert, François Schwarzentruber. Asynchronous Announcements in a Public Channel. Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015, Unknown, Unknown or Invalid Region. pp.272--289, 2015, 〈10.1007/978-3-319-25150-9_17〉. 〈hal-01273555〉
  • Carlos Areces, Hans Van Ditmarsch, Raul Fervari, François Schwarzentruber. Logics with Copy and Remove. Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara\'ıso, Chile, September 1-4, 2014. Proceedings, 2014, Unknown, Unknown or Invalid Region. pp.51--65, 2014, 〈10.1007/978-3-662-44145-9_4〉. 〈hal-01273560〉
  • Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane. International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2014, Paris, France. pp. 325-332, 2014. 〈hal-01113939〉
  • Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber. Belief merging in Dynamic Logic of Propositional Assignments. International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398, 2014. 〈hal-01146747〉
  • Davide Grossi, Emiliano Lorini, François Schwarzentruber. Ceteris Paribus Structure in Logics of Game Forms. Conference on Theoretical Aspects of Rationality and Knowledge - TARK 2013, Jan 2013, Chennai, India. pp. 1-11, 2013. 〈hal-01141938v2〉
  • Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber. Listen to me! Public announcements to agents that pay attention - or not. 4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp. 96-109, 2013. 〈hal-01187760〉
  • Guillaume Aucher, François Schwarzentruber. On the Complexity of Dynamic Epistemic Logic. TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India. 2013. 〈hal-00856468〉
  • Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Generalized DEL-sequents. JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France. 2012. 〈hal-00856472〉
  • Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Tableau method and NEXPTIME-Completeness of DEL-Sequents. Methods for Modalities (M4M), Nov 2011, Sevilla, Spain. Elsevier, 2011. 〈inria-00627642v2〉

Rapport4 documents

  • Tristan Charrier, François Schwarzentruber. A Succinct Language for Dynamic Epistemic Logic (long version). [Research Report] Irisa; Ens Rennes. 2017. 〈hal-01487001〉
  • Tristan Charrier, Bastien Maubert, François Schwarzentruber. On the Impact of Modal Depth in Epistemic Planning (Extended Version). [Research Report] IRISA, équipe LogicA. 2016. 〈hal-01315107〉
  • Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Generalized DEL-sequents. [Research Report] RR-8012, INRIA. 2012, pp.23. 〈hal-00716074〉
  • Guillaume Aucher, François Schwarzentruber. On the Complexity of Dynamic Epistemic Logic (Extended Version). [Research Report] RR-8164, INRIA. 2012. 〈hal-00759544〉

Thèse1 document

  • François Schwarzentruber. Voir, savoir, faire : une étude de cas en logique modale. Modélisation et simulation. Université Paul Sabatier - Toulouse III, 2010. Français. 〈tel-00609903〉