| Vol-857 urn:nbn:de:0074-857-8 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# CILC 2012
Italian Convention on Computational Logic

### Proceedings of the 9th Italian Convention on Computational Logic

### Rome, Italy, June 6-7, 2012.

Edited by

### Francesca A. Lisi *

* Università degli Studi di Bari "Aldo Moro", Dipartimento di Informatica, 70125 Bari, Italy

## Table of Contents

### Abstract of the Invited Talk

1. Foundations of Fuzzy Logic and Semantic Web Languages 1
   Umberto Straccia

### Full Papers

2. A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation 2-16
   Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti
3. On the Elimination of Quantifiers through Descriptors in Predicate Logic 17-31
   Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio Omodeo
4. Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics 32-46
   Simona Colucci, Francesco M. Donini
5. Preferences and Priorities in ASP 47-58
   Stefania Costantini, Andrea Formisano
6. Temporal Meta-Axioms in Logical Agents 59-73
   Stefania Costantini, Panagiota Tsintza
7. Exploiting Unexploited Computing Resources for Computational Logics 74-88
   Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
8. Software Model Checking by Program Specialization 89-103
   Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi
9. Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits 104-118
   Gilles Dowek, Murdoch J. Gabbay
10. Two Extensions of FOL Horn Clauses Comparison to Interpreted Predicates 119-133
    Stefano Ferilli, Teresa M.A. Basile, Floriana Esposito
11. An ASP Approach for the Valves Positioning Optimization in a Water Distribution System 134-148
    Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini
12. Rank-Based Simulation on Acyclic Graphs 149-160
    Raffaella Gentilini, Carla Piazza, Alberto Policriti
13. A Modal Reconstruction of Rational Closure 161-175
    Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
14. Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach 176-190
    Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
15. Learning Terminological Bayesian Classifiers - A Comparison of Alternative Approaches to Dealing with Unknown Concept-Memberships 191-205
    Pasquale Minervini, Claudia D'Amato, Nicola Fanizzi
16. Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness 206-220
    Fabrizio Riguzzi
17. Probabilistic Ontologies in Datalog+/- 221-235
    Fabrizio Riguzzi, Elena Bellodi and Evelina Lamma

### Short Papers

18. Extending ASPIDE with User-defined Plugins 236-240
    Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
19. The Epistemic Structure of de Finetti's Betting Problem 241-245
    Tommaso Flaminio, Hykel Hosni
20. On Checking Domain Independence 246-250
    Volha Kerhet, Enrico Franconi

### Presented Papers which Appear Elsewhere

21. Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (published in: A. Dovier and V. S. Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz Center for Informatics, 2012)
    Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, Juan José Ramos Gonzalez, Federico Malucelli
22. ME-ASP: A Multi-Engine Solver for Answer Set Programming (published in: A. Dovier and V. S. Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz Center for Informatics, 2012)
    Marco Maratea, Luca Pulina, Francesco Ricca
23. Generation of test data structures using Constraint Logic Programming (published in: A. Brucker and J. Julliand (Eds.), Tests and Proofs, 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings, Lecture Notes in Computer Science 7305, pp. 115-131, Springer, 2012 - DOI: 10.1007/978-3-642-30473-6_10)
    Valerio Senni, Fabio Fioravanti

30-May-2012: submitted by Francesca A. Lisi
31-May-2012: published on CEUR-WS.org