CILC 2011: Pescara, Italy
Fabio Fioravanti (Ed.): Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 810
Long presentations

Fabrizio Riguzzi: MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming. 25-39
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. 41-55
Francesca A. Lisi, Umberto Straccia: An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics. 57-71
Domenico Cantone, Marianna Nicolosi Asmundo: On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. 73-97
Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni: The Birth of a WASP: Preliminary Report on a New ASP Solver. 99-113
Mario Alviano, Wolfgang Faber, Stefan Woltran: Complexity of Super-Coherence Problems in Answer Set Programming. 131-145
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré: Verifying Compliance of Business Processes with Temporal Answer Sets. 147-161
Marco Alberti, Marco Gavanelli, Evelina Lamma: The CHR-based Implementation of the SCIFF Abductive System. 163-177
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Controlling Polyvariance for Specialization-based Verification. 179-197
Stefano Bistarelli, Paola Campli, Francesco Santini: Finding Partitions of Arguments with Dung's Properties via SCSPs. 199-213
Elena Bellodi, Fabrizio Riguzzi: EM over Binary Decision Diagrams for Probabilistic Logic Programs. 229-243
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs using Answer Set Programming. 245-259
Dario Campagna, Andrea Formisano: ProdProc - Product and Production Process Modeling and Configuration. 261-279
Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi: PrettyCLP: a Light Java Implementation for Teaching CLP. 281-295
Stefania Costantini, Niva Florio, Alessio Paolucci: A framework for structured knowledge extraction and representation from natural language via deep sentence analysis. 297-310
Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca: Logic-based reasoning support for SBVR. 311-325
Short presentations

Raffaella Gentilini: A Note on the Approximation of Mean-Payoff Games. 333-340
Dario Della Monica, Margherita Napoli, Mimmo Parente: Coalitional Games with Priced-Resource Agents. 341-347
Claudia Casadio, Mehrnoosh Sadrzadeh: Cyclic pregroups and natural language: a computational algebraic analysis. 349-363
Tania Di Mascio, Rosella Gennari, Pierpaolo Vittorini: TERENCE: An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators. 365-369
Francesco Mele, Antonio Sorgente: The temporal representation and reasoning of complex events. 385-399
Annamaria Basile, Maria Rosa Felice, Alessandro Provetti: Formalization and Automated reasoning about a Complex Signalling Network. 407-414



