Skip to Main content

Export Publications

Export the displayed publications:

Researcher identifiers

Number of documents

42

CV


Journal articles8 documents

  • Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine, François Schwarzentruber. Knowledge-Based Programs as Succinct Policies for Partially Observable Domains. Artificial Intelligence, Elsevier, 2020, 288. ⟨hal-02942873⟩
  • Tristan Charrier, Sophie Pinchinat, François Schwarzentruber. Symbolic model checking of public announcement protocols. Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (8), pp.1211-1249. ⟨10.1093/logcom/exz023⟩. ⟨hal-02533680⟩
  • Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber. The Modal Logic of Copy and Remove. Information and Computation, Elsevier, 2017, 255, pp.243-261. ⟨10.1016/j.ic.2017.01.004⟩. ⟨hal-02533970⟩
  • Sophia Knight, Bastien Maubert, François Schwarzentruber. Reasoning about knowledge and messages in asynchronous multi-agent systems. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017. ⟨hal-02533897⟩
  • 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⟩
  • François Schwarzentruber. Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. Journal of Logic, Language and Information, Springer Verlag, 2015. ⟨hal-02534063⟩
  • 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⟩

Conference papers25 documents

  • Bastien Maubert, Sophie Pinchinat, François Schwarzentruber. Reachability Games in Dynamic Epistemic Logic. the Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. ⟨hal-02533558⟩
  • Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber. Reachability and Coverage Planning for Connected Agents. AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876. ⟨hal-02349490⟩
  • Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber. Reachability and Coverage Planning for Connected Agents. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7. ⟨hal-02349475⟩
  • Maxime Audinot, François Schwarzentruber, Florence Wacheux. Deciding the Non-emptiness of Attack Trees. 5th International Workshop on Graphical Models for Security, Jul 2018, Oxford, United Kingdom. ⟨hal-02533499⟩
  • François Schwarzentruber, Gaetan Douéneau-Tabot. Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. Advances in Modal Logic 12, Aug 2018, Bern, Switzerland. ⟨hal-02533508⟩
  • François Schwarzentruber, Sebastien Le Công. Small undecidable problems in epistemic planning. Small undecidable problems in epistemic planning, Jul 2018, Stockholm, Sweden. ⟨hal-02533481⟩
  • Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini. Knowledge-Based Policies for Qualitative Decentralized POMDPs. 32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States. ⟨hal-01646207⟩
  • Alexandre Niveau, François Schwarzentruber, Bruno Zanuttini. Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent. Actes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France. ⟨hal-01837924⟩
  • Tristan Charrier, Sophie Pinchinat, François Schwarzentruber. Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment. DALI@TABLEAUX, 2017, Brasília, Brazil. ⟨hal-02534021⟩
  • 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. pp. 1116-1122. ⟨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. ⟨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 Region. pp.272--289, ⟨10.1007/978-3-319-25150-9_17⟩. ⟨hal-01273555⟩
  • Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando Velázquez-Quesada. Tableaux for non-normal public announcement logic. Indian Conference on Logic and Its Applications, 2015, Mumbai, India. ⟨hal-02534074⟩
  • Aaron Hunter, François Schwarzentruber. Arbitrary Announcements in Propositional Belief Revision. DARe@IJCAI, 2015, Buenos Aires, Argentina. ⟨hal-02534088⟩
  • 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. ⟨hal-01146747⟩
  • 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. ⟨hal-01113939⟩
  • 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 Region. pp.51--65, ⟨10.1007/978-3-662-44145-9_4⟩. ⟨hal-01273560⟩
  • Jan van Eijck, François Schwarzentruber. Epistemic Probability Logic Simplified. Advances in Modal Logic, 2014, Groningen, Netherlands. ⟨hal-02534272⟩
  • François Schwarzentruber, Caroline Semmling. STIT is dangerously undecidable. ECAI, 2014, Prague, Czech Republic. ⟨10.3233/978-1-61499-419-0-1093⟩. ⟨hal-02534277⟩
  • François Schwarzentruber, Jin-Kao Hao. Drawing Euler diagrams from region connection calculus specifications with local search. JELIA, 2014, Funchal (Madeira), Portugal. ⟨hal-02534278⟩
  • Guillaume Aucher, François Schwarzentruber. On the Complexity of Dynamic Epistemic Logic. TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India. ⟨hal-00856468⟩
  • Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Generalized DEL-sequents. JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France. ⟨hal-00856472⟩
  • 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. ⟨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. ⟨hal-01187760⟩
  • Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Tableau method and NEXPTIME-Completeness of DEL-Sequents. Methods for Modalities (M4M), Nov 2011, Sevilla, Spain. ⟨inria-00627642v2⟩

Directions of work or proceedings1 document

  • Sandra Bringay, Olivier Buffet, Alain Dutech, Jérôme Euzenat, Juliette Mattioli, et al.. Conférence Nationale d'Intelligence Artificielle Année 2018. Association Française pour l'Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle 2018, Jul 2018, Nancy, France. 2018. ⟨hal-02189744⟩

Preprints, Working Papers, ...1 document

  • Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri. Dynamic Epistemic Logic Games with Epistemic Temporal Goals. 2020. ⟨hal-02533766⟩

Reports4 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⟩

Theses1 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⟩

Lectures2 documents

  • François Schwarzentruber. Kit de survie - Logique. Master. France. 2019, pp.1-72. ⟨cel-01995410⟩
  • François Schwarzentruber. Kit de survie - Calculabilité. Master. France. 2018. ⟨cel-01947220⟩