Frédéric Maris
3 papers
· 2019–2021
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
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)
belief base
(1)
pspace completeness
(1)
dynamic logic
(1)
parallel planning
(1)
problem formalization
(1)