7 citations · 31 across the 11 of their papers we have counts for
12 papers
From Quasi-Dominions to Progress Measures
Massimo Benerecetti, Daniele Dell'Erba, Marco Faella +1
We revisit the approaches to the solution of parity games based on progress measures and show how the notion of quasi dominions can be integrated with those approaches. The idea is…
Incentives for Truthful Evaluations
Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos +1
We consider crowdsourcing problems where the users are asked to provide evaluations for items; the user evaluations are then used directly, or aggregated into a consensus value. La…
TrueReview: A Platform for Post-Publication Peer Review
Luca de Alfaro, Marco Faella
In post-publication peer review, scientific contributions are first published in open-access forums, such as arXiv or other digital libraries, and are subsequently reviewed and pos…
Partial Preferences for Mediated Bargaining
Piero A. Bonatti, Marco Faella, Luigi Sauro
In this work we generalize standard Decision Theory by assuming that two outcomes can also be incomparable. Two motivating scenarios show how incomparability may be helpful to repr…
Defeasible Inclusions in Low-Complexity DLs
Piero A. Bonatti, Marco Faella, Luigi Sauro
Some of the applications of OWL and RDF (e.g. biomedical knowledge representation and semantic policy formulation) call for extensions of these languages with nonmonotonic construc…
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification
Marco Faella, Aniello Murano
This volume contains the proceedings of the Third International Symposium on Games, Automata, Logic and Formal Verification (GandALF), held in Naples (Italy) from September 6th to…