Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 20.


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.

This list was generated on Sat Nov 11 06:51:08 2023 GMT.