François Schwarzentruber
21 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🏃 Academic Marathon (10) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (8)
🏃
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
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