François Schwarzentruber

130 papers A* 29A 14B 12C 3Journal 46Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Linear Planar 3-SAT. Theor. Comput. Sci. Victorien Desbois, Ocan Sankur, François Schwarzentruber
2026	J	`jnl`	Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality. J. Artif. Intell. Res. Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek
2025	—	`ed.`	19èmes Journées d'Intelligence Artificielle Fondamentale et 20èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, JIAF-JFPDA 2025, Dijon, France, July 2-4, 2025. JIAF-JFPDA Jean-Guy Mailly, François Schwarzentruber, Anaëlle Wilczynski
2025	A*	`conf`	A Computationally Grounded Framework for Cognitive Attitudes. AAAI Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber
2025	A	`conf`	A Simple Integration of Epistemic Logic and Reinforcement Learning. AAMAS Thorsten Engesser, Thibaut Le Marre, Emiliano Lorini, François Schwarzentruber, Bruno Zanuttini
2025	J	`jnl`	Lecture Notes on Verifying Graph Neural Networks. CoRR François Schwarzentruber
2025	J	`jnl`	Linear Planar 3-SAT and Its Applications in Planning. CoRR Victorien Desbois, Ocan Sankur, François Schwarzentruber
2025	J	`jnl`	On Dynamic Programming Theory for Leader-Follower Stochastic Games. CoRR Jilles Steeve Dibangoye, Thibaut Le Marre, Ocan Sankur, François Schwarzentruber
2025	A*	`conf`	Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete. KR Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2025	J	`jnl`	Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete. CoRR Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2025	J	`jnl`	Spanning-Tree Based Coverage for a Tethered Robot. IEEE Robotics Autom. Lett. Xiao Peng, François Schwarzentruber, Olivier Simonin, Christine Solnon
2025	J	`jnl`	Verifying Graph Neural Networks with Readout is Intractable. CoRR Artem Chernobrovkin, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2025	A*	`conf`	Verifying Quantized Graph Neural Networks is PSPACE-complete. IJCAI Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2025	J	`jnl`	Verifying Quantized Graph Neural Networks is PSPACE-complete. CoRR Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024	—	`ed.`	18èmes Journées d'Intelligence Artificielle Fondamentale et 19èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, JIAF-JFPDA 2024, La Rochelle, France, July 1-3, 2024. JIAF-JFPDA Jean-Guy Mailly, François Schwarzentruber, Anaëlle Wilczynski
2024	J	`jnl`	A Computationally Grounded Framework for Cognitive Attitudes (extended version). CoRR Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber
2024	J	`jnl`	A Logic for Reasoning About Aggregate-Combine Graph Neural Networks. CoRR Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024	A*	`conf`	A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. IJCAI Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024	A	`conf`	An Efficient Modular Algorithm for Connected Multi-Agent Path Finding. ECAI Victorien Desbois, Ocan Sankur, François Schwarzentruber
2024	A*	`conf`	Qiana: A First-Order Formalism to Quantify over Contexts and Formulas. KR Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek
2024	A*	`conf`	Rhythm Inference Helping Writing Music Scores. IJCAI François Schwarzentruber
2023	—	`ed.`	17èmes Journées d'Intelligence Artificielle Fondamentale, JIAF 2023, Strasbourg, France, July 6-7, 2023. JIAF Zied Bouraoui, François Schwarzentruber, Anaëlle Wilczynski
2023	J	`jnl`	A Modal Logic for Explaining some Graph Neural Networks. CoRR Pierre Nunn, François Schwarzentruber
2023	B	`conf`	Base-Based Model Checking for Multi-agent only Believing. JELIA Tiago de Lima, Emiliano Lorini, François Schwarzentruber
2023	J	`jnl`	Base-based Model Checking for Multi-Agent Only Believing (long version). CoRR Tiago de Lima, Emiliano Lorini, François Schwarzentruber
2023	J	`jnl`	Complexity of planning for connected agents in a partially known environment. Theor. Comput. Sci. Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2023	A	`conf`	Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding. AAMAS Isseïnie Calviac, Ocan Sankur, François Schwarzentruber
2023	A*	`conf`	On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. KR Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2023	J	`jnl`	On simple expectations and observations of intelligent agents: A complexity study. CoRR Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2023	—	`ed.`	Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023. FCR@KI Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg
2023	C	`conf`	Qualitative Uncertainty Reasoning in AgentSpeak. EUMAS Michael J. Vezina, Babak Esfandiari, Sandra Morley, François Schwarzentruber
2023	A	`conf`	Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic. AAMAS Michael J. Vezina, François Schwarzentruber, Babak Esfandiari, Sandra Morley
2022	—	`conf`	Dependency Matrices for Multiplayer Strategic Dependencies. FSTTCS Dylan Bellier, Sophie Pinchinat, François Schwarzentruber
2022	A*	`conf`	Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. KR Emiliano Lorini, Elise Perrotin, François Schwarzentruber
2022	A*	`conf`	Formula Synthesis in Propositional Dynamic Logic with Shuffle. AAAI Sophie Pinchinat, Sasha Rubin, François Schwarzentruber
2022	J	`jnl`	Introduction (EN). Rev. Ouverte Intell. Artif. Isabelle Bloch, Jérôme Euzenat, Jérôme Lang, François Schwarzentruber
2022	J	`jnl`	Introduction (FR). Rev. Ouverte Intell. Artif. Isabelle Bloch, Jérôme Euzenat, Jérôme Lang, François Schwarzentruber
2022	A*	`conf`	On Verifying Expectations and Observations of Intelligent Agents. IJCAI Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2022	J	`jnl`	On verifying expectations and observations of intelligent agents. CoRR Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
2021	B	`conf`	A Computationally Grounded Logic of Graded Belief. JELIA Emiliano Lorini, François Schwarzentruber
2021	A*	`conf`	Connect Multi-Agent Path Finding: Generation and Visualization. IJCAI Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2021	J	`jnl`	Copy and remove as dynamic operators. J. Appl. Non Class. Logics Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber
2021	A*	`conf`	How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI Thomas Eiter, Aaron Hunter, François Schwarzentruber
2021	A*	`conf`	Multi-Agent Belief Base Revision. IJCAI Emiliano Lorini, François Schwarzentruber
2021	—	`conf`	Planning for Connected Agents in a Partially Known Environment. Canadian AI Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2020	A	`conf`	A Logic of Explicit and Implicit Distributed Belief. ECAI Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber
2020	J	`jnl`	Complexity of planning for connected agents. Auton. Agents Multi Agent Syst. Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2020	A*	`conf`	Concurrent Games in Dynamic Epistemic Logic. IJCAI Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	J	`jnl`	Conflict-Based Search for Connected Multi-Agent Path Finding. CoRR Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2020	J	`jnl`	DEL-based epistemic planning: Decidability and complexity. Artif. Intell. Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
2020	A	`conf`	Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	J	`jnl`	Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	J	`jnl`	Knowledge-based programs as succinct policies for partially observable domains. Artif. Intell. Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine, François Schwarzentruber
2020	—	`conf`	Library-Based Attack Tree Synthesis. GraMSec Sophie Pinchinat, François Schwarzentruber, Sébastien Lê Cong
2019	A*	`conf`	Hintikka's World: Scalable Higher-order Knowledge. IJCAI Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber
2019	A*	`conf`	Reachability Games in Dynamic Epistemic Logic. IJCAI Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
2019	J	`jnl`	Reachability Games in Dynamic Epistemic Logic. CoRR Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
2019	A	`conf`	Reachability and Coverage Planning for Connected Agents. AAMAS Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2019	A*	`conf`	Reachability and Coverage Planning for Connected Agents. IJCAI Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2019	J	`jnl`	Reachability and Coverage Planning for Connected Agents: Extended Version. CoRR Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
2019	J	`jnl`	Reasoning about knowledge and messages in asynchronous multi-agent systems. Math. Struct. Comput. Sci. Sophia Knight, Bastien Maubert, François Schwarzentruber
2019	J	`jnl`	Symbolic model checking of public announcement protocols. J. Log. Comput. Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
2019	J	`jnl`	The Complexity of Tiling Problems. CoRR François Schwarzentruber
2019	J	`jnl`	The Packed Interval Covering Problem is NP-complete. CoRR Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
2018	—	`ed.`	Actes de la Conférence Nationale d'Intelligence Artificielle et Rencontres des Jeunes Chercheurs en Intelligence Artificielle (CNIA+RJCIA 2018), Nancy, France, 4-6 Juillet 2018. CNIA+RJCIA Jérôme Euzenat, François Schwarzentruber
2018	B	`conf`	Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. Advances in Modal Logic Gaëtan Douéneau-Tabot, Sophie Pinchinat, François Schwarzentruber
2018	B	`conf`	Complexity of Dynamic Epistemic Logic with Common Knowledge. Advances in Modal Logic Tristan Charrier, François Schwarzentruber
2018	—	`conf`	Deciding the Non-emptiness of Attack Trees. GraMSec Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux
2018	J	`jnl`	Dynamic Connected Cooperative Coverage Problem. CoRR Tristan Charrier, François Schwarzentruber, Eva Soulier
2018	A*	`conf`	Generating Plans for Cooperative Connected UAVs. IJCAI François Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber
2018	A*	`conf`	Hintikka's World: Agents with Higher-order Knowledge. IJCAI François Schwarzentruber
2018	A*	`conf`	Knowledge-Based Policies for Qualitative Decentralized POMDPs. AAAI Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini
2018	A*	`conf`	Small Undecidable Problems in Epistemic Planning. IJCAI Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
2017	A	`conf`	A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics. AAMAS Emiliano Lorini, François Schwarzentruber
2017	A	`conf`	A Succinct Language for Dynamic Epistemic Logic. AAMAS Tristan Charrier, François Schwarzentruber
2017	A*	`conf`	Belief Manipulation Through Propositional Announcements. IJCAI Aaron Hunter, François Schwarzentruber, Eric Tsang
2017	J	`jnl`	Epistemic protocols for dynamic gossip. J. Appl. Log. Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
2017	—	`conf`	Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. DALI@TABLEAUX Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
2017	J	`jnl`	Preface. FLAP Sophie Pinchinat, François Schwarzentruber
2017	A*	`conf`	The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). IJCAI Davide Grossi, Emiliano Lorini, François Schwarzentruber
2017	J	`jnl`	The modal logic of copy and remove. Inf. Comput. Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2016	A*	`conf`	A Tool for Generating Interactive Euler Diagrams. IJCAI François Schwarzentruber
2016	J	`jnl`	Announcements to Attentive Agents. J. Log. Lang. Inf. Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
2016	J	`jnl`	Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2016	A*	`conf`	Building Epistemic Logic from Observations and Public Announcements. KR Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
2016	A*	`conf`	Epistemic Boolean Games Based on a Logic of Visibility and Control. IJCAI Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
2016	A*	`conf`	On the Impact of Modal Depth in Epistemic Planning. IJCAI Tristan Charrier, Bastien Maubert, François Schwarzentruber
2015	—	`conf`	Arbitrary Announcements in Propositional Belief Revision. DARe@IJCAI Aaron Hunter, François Schwarzentruber
2015	A	`conf`	Arbitrary Public Announcement Logic with Mental Programs. AAMAS Tristan Charrier, François Schwarzentruber
2015	C	`conf`	Asynchronous Announcements in a Public Channel. ICTAC Sophia Knight, Bastien Maubert, François Schwarzentruber
2015	A*	`conf`	Complexity Results in Epistemic Planning. IJCAI Thomas Bolander, Martin Holm Jensen, François Schwarzentruber
2015	J	`jnl`	Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. J. Log. Lang. Inf. François Schwarzentruber
2015	J	`jnl`	Dynamic Gossip. CoRR Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
2015	B	`conf`	Games with Communication: From Belief to Preference Change. PRIMA Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
2015	—	`conf`	Tableaux for Non-normal Public Announcement Logic. ICLA Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada
2015	J	`jnl`	The Ceteris Paribus Structure of Logics of Game Forms. J. Artif. Intell. Res. Davide Grossi, Emiliano Lorini, François Schwarzentruber
2014	—	`conf`	Belief Merging in Dynamic Logic of Propositional Assignments. FoIKS Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber
2014	A	`conf`	Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. AAMAS Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2014	A	`conf`	Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration). AAMAS Tristan Charrier, Florent Ouchet, François Schwarzentruber
2014	J	`jnl`	DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
2014	B	`conf`	Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. JELIA François Schwarzentruber, Jin-Kao Hao
2014	B	`conf`	Epistemic Probability Logic Simplified. Advances in Modal Logic Jan van Eijck, François Schwarzentruber
2014	—	`book`	Kripke's Worlds - An Introduction to Modal Logics via Tableaux. Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
2014	C	`conf`	Logics with Copy and Remove. WoLLIC Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2014	A	`conf`	STIT is dangerously undecidable. ECAI François Schwarzentruber, Caroline Semmling
2013	J	`jnl`	Agents that look at one another. Log. J. IGPL Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
2013	B	`conf`	Ceteris Paribus Structure in Logics of Game Forms. TARK Davide Grossi, Emiliano Lorini, François Schwarzentruber
2013	J	`jnl`	Ceteris Paribus Structure in Logics of Game Forms. CoRR Davide Grossi, Emiliano Lorini, François Schwarzentruber
2013	—	`conf`	Listen to Me! Public Announcements to Agents That Pay Attention - or Not. LORI Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
2013	—	`ch.`	Normative Reasoning and Consequence. Normative Multi-Agent Systems Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber
2013	B	`conf`	On the Complexity of Dynamic Epistemic Logic. TARK Guillaume Aucher, François Schwarzentruber
2013	J	`jnl`	On the Complexity of Dynamic Epistemic Logic. CoRR Guillaume Aucher, François Schwarzentruber
2012	B	`conf`	Building an Epistemic Logic for Argumentation. JELIA François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra
2012	J	`jnl`	Complexity Results of STIT Fragments. Stud Logica François Schwarzentruber
2012	B	`conf`	Generalized DEL-Sequents. JELIA Guillaume Aucher, Bastien Maubert, François Schwarzentruber
2011	J	`jnl`	A logic for reasoning about counterfactual emotions. Artif. Intell. Emiliano Lorini, François Schwarzentruber
2011	—	`conf`	Concrete Epistemic Modal Logic: Flatland. TICTTL Olivier Gasquet, François Schwarzentruber
2011	—	`conf`	LotrecScheme. M4M/LAMAS François Schwarzentruber
2011	—	`conf`	Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL Olivier Gasquet, François Schwarzentruber, Martin Strecker
2011	—	`conf`	Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL Olivier Gasquet, François Schwarzentruber, Martin Strecker
2011	—	`conf`	Seeing, Knowledge and Common Knowledge. LORI François Schwarzentruber
2011	—	`conf`	Tableau Method and NEXPTIME-Completeness of DEL-Sequents. M4M/LAMAS Guillaume Aucher, Bastien Maubert, François Schwarzentruber
2010	J	`jnl`	A Modal Logic of Epistemic Games. Games Emiliano Lorini, François Schwarzentruber
2010	A	`conf`	Knowledge in lineland. AAMAS Olivier Gasquet, François Schwarzentruber
2010	—	`—`	Voir, savoir, faire : une étude de cas en logique modale. (Seeing, knowing, doing: case studies in modal logic). François Schwarzentruber
2009	A*	`conf`	A Logic for Reasoning about Counterfactual Emotions. IJCAI Emiliano Lorini, François Schwarzentruber
2009	—	`conf`	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. LORI Emiliano Lorini, François Schwarzentruber, Andreas Herzig
2009	—	`conf`	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. Information processing, rational belief change and social interaction Emiliano Lorini, François Schwarzentruber, Andreas Herzig
2009	—	`conf`	Knowledge about Lights along a Line. MALLOW François Schwarzentruber
2008	B	`conf`	Properties of logics of individual and group agency. Advances in Modal Logic Andreas Herzig, François Schwarzentruber