Frédéric Maris
4 papers · 2019–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
Keywords
computational complexity
(1)
automated reasoning
(1)
model checking
(1)
sat solver
(1)
propositional logic
(1)
epistemic logic
(1)
ai planning
(1)
human-agent interaction
(1)
persuasive dialogue
(1)
human-machine interaction
(1)
cognitive planning
(1)
multi-agent system
(1)
belief base
(1)
pspace completeness
(1)
simple temporal network
(1)
dynamic logic
(1)
parallel planning
(1)
problem formalization
(1)
contingent link
(1)
temporal plan
(1)
Papers
Computational Complexity of Repair Problems on Simple Temporal Networks with Uncertainty
UAI 2026
A Simple Framework for Cognitive Planning
AAAI 2021
TouIST: a Friendly Language for Propositional Logic and More
IJCAI 2020
Dynamic logic of parallel propositional assignments and its applications to planning
IJCAI 2019