Skip to Main content

Keywords

Export Publications

Export the displayed publications:

Researcher identifiers

Number of documents

50

CV


Journal articles10 documents

  • Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber. Complexity of planning for connected agents. Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2020, 34 (2), ⟨10.1007/s10458-020-09468-5⟩. ⟨hal-03003144⟩
  • 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⟩
  • François Schwarzentruber. Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. Journal of Logic, Language and Information, Springer Verlag, 2015. ⟨hal-02534063⟩
  • 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⟩
  • Davide Grossi, Emiliano Lorini, François Schwarzentruber. The Ceteris Paribus Structure of Logics of Game Forms. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2015, vol. 53, pp. 91-126. ⟨10.1613/jair.4666⟩. ⟨hal-01809279⟩
  • 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 papers28 documents

  • Andreas Herzig, Emiliano Lorini, Elise Perrotin, Benito Fabian Romero Jimenez, François Schwarzentruber. A Logic of Explicit and Implicit Distributed Belief. 24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760. ⟨hal-03008589⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Davide Grossi, Emiliano Lorini, François Schwarzentruber. The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.5000-5004. ⟨hal-02319717⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014). Information Dynamics in Artificial Societies Workshop (IDAS 2014), SINTELNET, the European network for social intelligence, Aug 2014, Tübingen, Allemagne. ⟨hal-03246605⟩
  • 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⟩
  • François Schwarzentruber, Jin-Kao Hao. Drawing Euler diagrams from region connection calculus specifications with local search. JELIA, 2014, Funchal (Madeira), Portugal. ⟨hal-02534278⟩
  • 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⟩
  • François Schwarzentruber, Caroline Semmling. STIT is dangerously undecidable. ECAI, 2014, Prague, Czech Republic. ⟨10.3233/978-1-61499-419-0-1093⟩. ⟨hal-02534277⟩
  • Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Generalized DEL-sequents. JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France. ⟨hal-00856472⟩
  • 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⟩
  • 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⟩

Books1 document

Directions of work or proceedings2 documents

  • Jérôme Euzenat, François Schwarzentruber. Actes de la Conférence Nationale en Intelligence Artificielle et des Rencontres Jeunes Chercheurs en Intelligence Artificielle (CNIA+RJCIA). CNIA+RJCIA 2018 - Conférence Nationale d'Intelligence Artificielle et Rencontres Jeunes Chercheurs en Intelligence Artificielle, Jul 2018, Nancy, France. No commercial editor., pp.1-133, 2018. ⟨hal-01838695⟩
  • 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⟩

Reports5 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⟩
  • Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version). [Rapport de recherche] IRIT. 2014. ⟨hal-03220765⟩
  • 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⟩