Gavanelli, Marco; Reppy, John     details >>
Springer International Publishing, Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Vol. 9585, No. 1, pp: V-V, Anno: 2016

Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio     details >>
Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 9336, No. 1, pp: 6-6, Anno: 2015

Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization
Ruppert, Tobias; Dambruch, Jens; Krämer, Michel; Balke, Tina; Gavanelli, Marco; Bragaglia, Stefano; Chesani, Federico; Milano, Michela; Kohlhammer, Jörn     details >>
Springer, Policy Practice and Digital Science
pp: 321-353, Anno: 2015

Constraint and Optimization Techniques for Supporting Policy Making
Gavanelli, Marco; Riguzzi, Fabrizio; Michela, Milano; Paolo, Cagnoli     details >>
Chapman and Hall/CRC, Computational Intelligent Data Analysis for Sustainable Development
pp: 361-381, Anno: 2013

Deon  + : Abduction and Constraints for Normative Reasoning
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina     details >>
Springer-Verlag, Logic Programs, Norms and Action
Vol. 7360, No. 1, pp: 308-328, Anno: 2012

Constraint Logic Programming
Gavanelli, Marco; Francesca, Rossi     details >>
Springer-Verlag, A 25-Year Perspective on Logic Programming: Achievements of the Italian Associa tion for Logic Programming, GULP
Vol. 6125, No. 1, pp: 64-86, Anno: 2010

Modeling interactions via commitments and expectations
P., Torroni; F., Chesani; P., Mello; P., Yolum; M. P., Singh; Alberti, Marco; Gavanelli, Marco; Lamma, Evelina     details >>
Information Science Reference, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models
pp: 263-284, Anno: 2009

Arguing on the Semantic Grid
Paolo, Torroni; Gavanelli, Marco; Federico, Chesani     details >>
Springer US, Argumentation in Artificial Intelligence
pp: 423-441, Anno: 2009

Greedy and exact algorithms for invitation planning in cancer screening
Gavanelli, Marco; M., Milano; Storari, Sergio; Tagliavini, Luca; P., Baldazzi; M., Manfredi; G., Valastro     details >>
Springer-Verlag, New Challenges in Applied Intelligence Technologies
pp: 255-264, Anno: 2008

Abduction in the context of a reasoning process: the SCIFF framework
Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello     details >>
CSLI publications. Center for the Study of Language and Information, Reasoning, Rationality, and Probability
pp: 271-287, Anno: 2008

Un sistema basato su logica computazionale per il trattamento degli operatori deontici
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Sartor, G; Torroni, P.     details >>
Gedit edizioni, La gestione e la negoziazione automatica dei diritti sulle opere dell'ingegno digitali: aspetti giuridici e informatici
pp: 1-33, Anno: 2006