CEUR-WS.org/Vol-857 - 9th Italian Convention on Computational Logic - CILC 2012
[CEUR Workshop Proceedings] 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
  2. Full Papers

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

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

  24. 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
  25. 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
  26. 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