Arthur Boixel
3 papers · 2021–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
collective decision
(2)
automated reasoning
(1)
normative reasoning
(1)
social choice
(1)
answer set programming
(1)
social choice theory
(1)
voting theory
(1)
computational social choice
(1)
voting rule
(1)
sat solving
(1)
collective decision-making
(1)
structured explanation
(1)
normative principle
(1)
tableau calculus
(1)
justification verification
(1)
justification computation
(1)
computational complexity
(1)
normative axiom
(1)