Davide Grossi
Biographic Data
| ID | 1292774 |
|---|---|
| NAME | Davide Grossi |
| GIVEN NAMES | Davide |
| FAMILY NAME | Grossi |
| SIGNATURE | GROSSI D |
| AFFILIATIONS | University of Liverpool |
| ORCID | 0000-0001-8700-3340 |
| VERIFIED | Yes |
| TOTAL WORKS | 6 |
| TOTAL CITATIONS | 2 |
| AUTHOR COUNT | 6 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2012 |
| LATEST PUBLICATION YEAR | 2024 |
| H-INDEX | 1 |
United for change: Deliberative coalition formation to change the status quo
We study a setting in which a community wishes to identify a strongly supported proposal from a space of alternatives, in order to change the status quo. We describe a deliberation process in which agents dynamically form coalitions around proposals that they prefer over the status quo. We formulate conditions on the space of proposals and on the ways in which coalitions are formed that guarantee deliberation to succeed, that is, to terminate by …
Avaliação da aplicação de consolidantes no Arenito Itararé, constituinte da fachada do Teatro Municipal de São Paulo
This thesis aims to evaluate the behavior of the pre-consolidants, consolidants, water repellents and surface protector applied in Itararé Sandstone, used on the front facade of the São Paulo Municipal Theater.This stone shows intrinsic characteristics that disqualify its use in coatings, facades or wherever it is subjected to the weather, as it presents quite friable behavior and especially for having clay swelling in its constitution.The consol…
Syntactic awareness in logical dynamics
Priority Structures in Deontic Logic
This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known H ansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leadin…
Abstract argument games via modal logic
Mapeamento das formas de intemperismo do Monumento a Ramos de Azevedo
This project aims to accomplish the mapping of the alteration forms presented in the Ramos de Azevedo Monument and its bibliographic history survey. To figure out this goal, it will be undertaken the photographic documentation in detail of the monument and the production of sketches in order to identify the alteration forms, based in the
Mapeamento das formas de intemperismo do Monumento a Ramos de Azevedo
This project aims to accomplish the mapping of the alteration forms presented in the Ramos de Azevedo Monument and its bibliographic history survey. To figure out this goal, it will be undertaken the photographic documentation in detail of the monument and the production of sketches in order to identify the alteration forms, based in the
Abstract argument games via modal logic
Priority Structures in Deontic Logic
This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known H ansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leadin…
Syntactic awareness in logical dynamics
Avaliação da aplicação de consolidantes no Arenito Itararé, constituinte da fachada do Teatro Municipal de São Paulo
This thesis aims to evaluate the behavior of the pre-consolidants, consolidants, water repellents and surface protector applied in Itararé Sandstone, used on the front facade of the São Paulo Municipal Theater.This stone shows intrinsic characteristics that disqualify its use in coatings, facades or wherever it is subjected to the weather, as it presents quite friable behavior and especially for having clay swelling in its constitution.The consol…
United for change: Deliberative coalition formation to change the status quo
We study a setting in which a community wishes to identify a strongly supported proposal from a space of alternatives, in order to change the status quo. We describe a deliberation process in which agents dynamically form coalitions around proposals that they prefer over the status quo. We formulate conditions on the space of proposals and on the ways in which coalitions are formed that guarantee deliberation to succeed, that is, to terminate by …
Computer Science (5 works) · Epistemology (3 works) · Logic, Reasoning, and Knowledge (3 works) · Multi-Agent Systems and Negotiation (3 works) · Philosophy (3 works) · Artificial Intelligence (2 works) · Artificial Intelligence (2 works) · Description logic (2 works) · Mathematics (2 works) · Multimodal logic (2 works)