conftrace_

tableau calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

structured explanation (1) voting rule (1) social choice theory (1) answer set programming (1) social choice (1) automated reasoning (1)

Papers

A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022