CILC 2012: Rome, Italy
Francesca A. Lisi (Ed.): Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 857
Abstract of the Invited Talk
- Umberto Straccia: Foundations of Fuzzy Logic and Semantic Web Languages. 1
Full Papers
- Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti: A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation. 2-16
- Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo: On the Elimination of Quantifiers through Descriptors in Predicate Logic. 17-31
- Simona Colucci, Francesco M. Donini: Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. 32-46
- Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: Exploiting Unexploited Computing Resources for Computational Logics. 74-88
- Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi: Software Model Checking by Program Specialization. 89-103
- Gilles Dowek, Murdoch James Gabbay: Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits. 104-118
- Stefano Ferilli, Teresa Maria Altomare Basile, Floriana Esposito: Two Extensions of FOL Horn Clauses Comparison to Interpreted Predicates. 119-133
- Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini: An ASP Approach for the Valves Positioning Optimization in a Water Distribution System. 134-148
- Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank-Based Simulation on Acyclic Graphs. 149-160
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Modal Reconstruction of Rational Closure. 161-175
- Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. 176-190
- Pasquale Minervini, Claudia d'Amato, Nicola Fanizzi: Learning Terminological Bayesian Classifiers - A Comparison of Alternative Approaches to Dealing with Unknown Concept-Memberships. 191-205
- Fabrizio Riguzzi: Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness. 206-220
Short Papers
- Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca: Extending ASPIDE with User-defined Plugins. 236-240
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team