Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCILC 2012: Rome, Italy
Francesca A. Lisi:
Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. CEUR Workshop Proceedings 857, CEUR-WS.org 2012
Abstract of the Invited Talk
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
maintained by 
, founded at 
, founded at 
last updated on 2019-02-16 23:02 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
