Arthur Boixel
3 papers
· 2021–2022
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
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)