François Schwarzentruber

21 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (8) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (2) 🏃 Academic Marathon (10) 🗺️ Taxonomy Completionist (24) 🌈 Renaissance Researcher (7) 🐺 Lone Wolf (3) 🏆 Keyword Champion (4) ❓ The Questioner 🔥 Unstoppable (8) 🗃️ Keyword Collector (77) 💎 Century Club (21)

Conferences

IJCAI (19) AAAI (2)

Top co-authors

Emiliano Lorini (4) Sophie Pinchinat (4) Arthur Queffelec (3) Tristan Charrier (3) Aaron Hunter (2) Ocan Sankur (2) Bastien Maubert (2) Marco Sälzer (2) Nicolas Troquard (2) Andreas Herzig (1)

Keywords

multi-agent system (7) model checking (5) modal logic (4) dynamic epistemic logic (4) epistemic logic (3) formal verification (2) belief revision (2) higher-order knowledge (2) graph neural network (2) epistemic planning (2) multi-player game (2) complexity analysis (2) satisfiability problem (2) path planning (2) knowledge representation (2) pspace completeness (2) linear constraint (1) imperfect information (1) computational complexity (1) symbolic reasoning (1)

Papers

A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025

Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024

Rhythm Inference Helping Writing Music Scores IJCAI 2024

Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022

On Verifying Expectations and Observations of Intelligent Agents IJCAI 2022

Connect Multi-Agent Path Finding: Generation and Visualization IJCAI 2021

How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021

Multi-Agent Belief Base Revision IJCAI 2021

Concurrent Games in Dynamic Epistemic Logic IJCAI 2020

Reachability and Coverage Planning for Connected Agents IJCAI 2019

Reachability Games in Dynamic Epistemic Logic IJCAI 2019

Hintikka's World: Scalable Higher-order Knowledge IJCAI 2019

Hintikka's World: Agents with Higher-order Knowledge IJCAI 2018

Small Undecidable Problems in Epistemic Planning IJCAI 2018

Generating Plans for Cooperative Connected UAVs IJCAI 2018

Belief Manipulation Through Propositional Announcements IJCAI 2017

The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017

A Tool for Generating Interactive Euler Diagrams IJCAI 2016

Epistemic Boolean Games Based on a Logic of Visibility and Control IJCAI 2016

Complexity Results in Epistemic Planning IJCAI 2015