![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
CILC 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
- 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 - Stefania Costantini, Andrea Formisano:
Preferences and Priorities in ASP. 47-58 - Stefania Costantini, Panagiota Tsintza:
Temporal Meta-Axioms in Logical Agents. 59-73 - 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 - Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Ontologies in Datalog+/-. 221-235
Short Papers
- Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Extending ASPIDE with User-defined Plugins. 236-240 - Tommaso Flaminio, Hykel Hosni:
The Epistemic Structure of de Finetti's Betting Problem. 241-245 - Volha Kerhet, Enrico Franconi:
On Checking Domain Independence. 246-250
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.