Up a level |
Christoff, Zoé and Grossi, Davide ORCID: 0000-0002-9709-030X
(2017)
Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy.
EPTCS 251, 2017, pp. 134-150, 251.
pp. 134-150.
Apt, Krzysztof R, Grossi, Davide ORCID: 0000-0002-9709-030X and van der Hoek, Wiebe
(2016)
Epistemic Protocols for Distributed Gossiping.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 215 (215).
pp. 51-66.
Grandi, Umberto, Grossi, Davide ORCID: 0000-0002-9709-030X and Turrini, Paolo
(2015)
Equilibrium Refinement through Negotiation in Binary Voting.
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015-J.
pp. 540-546.
Belardinelli, Francesco, Grossi, Davide ORCID: 0000-0002-9709-030X and Lomuscio, Alessio
(2015)
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015-J.
pp. 854-860.
Grossi, Davide ORCID: 0000-0002-9709-030X and van der Hoek, Wiebe
(2014)
Justified Beliefs by Justified Arguments.
In: KR 2014, 2014-7-20 - 2014-7-24.
Christoff, Zoé and Grossi, Davide ORCID: 0000-0002-9709-030X
(2016)
Liquid Democracy: An Analysis in Binary Aggregation and Diffusion.
[Report]
Salah, Zaher
Machine learning and sentiment analysis approaches for the analysis of Parliamentary debates.
PhD thesis, University of Liverpool.
Moyzes, C
(2019)
Modal Logics of Partial Observability.
PhD thesis, University of Liverpool.
Aucher, Guillaume, van Benthem, Johan and Grossi, Davide ORCID: 0000-0002-9709-030X
(2018)
Modal logics of sabotage revisited.
.
Powell, Joanne L, Grossi, Davide ORCID: 0000-0002-9709-030X, Corcoran, Rhiannon ORCID: 0000-0001-8900-9199, Gobet, Fernand ORCID: 0000-0002-9317-6886 and Garcia-Finana, Marta ORCID: 0000-0003-4939-0575
(2017)
THE NEURAL CORRELATES OF THEORY OF MIND AND THEIR ROLE DURING EMPATHY AND THE GAME OF CHESS: A FUNCTIONAL MAGNETIC RESONANCE IMAGING STUDY.
NEUROSCIENCE, 355.
pp. 149-160.
Grossi, Davide ORCID: 0000-0002-9709-030X, Herzig, Andreas, van der Hoek, Wiebe and Moyzes, Christos
(2017)
Non-Determinism and the Dynamics of Knowledge.
In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-8-19 - 2017-8-26.
Belanyek, Agneau, Grossi, Davide ORCID: 0000-0002-9709-030X and Hoek, Wiebe van der
(2017)
A Note on Nesting in Dyadic Deontic Logic.
Belardinelli, Francesco and Grossi, Davide ORCID: 0000-0002-9709-030X
(2015)
On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks.
In: AAMAS 2015.
Grossi, Davide ORCID: 0000-0002-9709-030X and Modgil, Sanjay
(2015)
On the Graded Acceptability of Arguments.
PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015-J.
pp. 868-874.
Grossi, Davide ORCID: 0000-0002-9709-030X, Van der Hoek, Wiebe, Moyzes, Christos and Wooldridge, Michael
(2019)
Program models and semi-public environments.
JOURNAL OF LOGIC AND COMPUTATION, 29 (7).
pp. 1071-1097.
Grossi, Davide ORCID: 0000-0002-9709-030X, van der Hoek, Wiebe and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2022)
Reasoning about general preference relations.
Artificial Intelligence, 313.
p. 103793.
Van Der Hoek, W, Apt, Krzysztof and Grossi, Davide ORCID: 0000-0002-9709-030X
(2018)
When Are Two Gossips the Same?
In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2018-11-16 - 2018-11-21, Awassa, Ethopia.
Apt, Krzysztof R, Grossi, Davide ORCID: 0000-0002-9709-030X and Hoek, Wiebe van der
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols.
Pazienza, Andrea, Grossi, Davide ORCID: 0000-0002-9709-030X, Grasso, Floriana ORCID: 0000-0001-8419-6554, Palmieri, Rudi ORCID: 0000-0002-5122-3058, Zito, Michele and Ferilli, Stefano
(2019)
An abstract argumentation approach for the prediction of analysts' recommendations following earnings conference calls.
INTELLIGENZA ARTIFICIALE, 13 (2).
pp. 173-188.
Grossi, Davide ORCID: 0000-0002-9709-030X, Lorini, Emiliano and Schwarzentruber, Francois
(2015)
The <i>Ceteris Paribus</i> Structure of Logics of Game Forms.
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 53.
pp. 91-126.