Davide Grossi
13 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (12) π Conference Polyglot (2)
π
Academic Marathon
(9)
π
Cross-Pollinator
(10)
π
Century Club
(12)
π
Conference Pioneer
Conferences
IJCAI (9)
AAAI (4)
Top co-authors
Keywords
liquid democracy
(2)
proxy voting
(2)
game theory
(2)
nash equilibrium
(2)
network topology
(1)
satisfiability problem
(1)
formal methods
(1)
multi-winner voting
(1)
formal verification
(1)
coalition formation
(1)
case-based reasoning
(1)
game-theoretic model
(1)
participatory budgeting
(1)
modal logic
(1)
formal logic
(1)
agent-based simulation
(1)
coalition control
(1)
choice theory
(1)
dynamic epistemic logic
(1)
social network
(1)
Papers
A Fortiori Case-Based Reasoning: From Theory to Data (Abstract Reprint)
AAAI 2026
Proportional Budget Allocations: Towards a Systematization
IJCAI 2022
Group Wisdom at a Price: Jury Theorems with Costly Information
IJCAI 2022
United for Change: Deliberative Coalition Formation to Change the Status Quo
AAAI 2021
Power in Liquid Democracy
AAAI 2021
On Rational Delegations in Liquid Democracy
AAAI 2019
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
IJCAI 2017
Non-Determinism and the Dynamics of Knowledge
IJCAI 2017
Formal Analysis of Dialogues on Infinite Argumentation Frameworks
IJCAI 2015
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
IJCAI 2015
Equilibrium Refinement through Negotiation in Binary Voting
IJCAI 2015
On the Graded Acceptability of Arguments
IJCAI 2015
Audience-Based Uncertainty in Abstract Argument Games
IJCAI 2013