| Vol-810 urn:nbn:de:0074-810-0 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editor.

# CILC 2011
26th Italian Conference on Computational Logic

### Proceedings of the 26th Italian Conference on Computational Logic

### Pescara, Italy, August 31 - September 2, 2011.

Edited by

### Fabio Fioravanti *

* University of Chieti-Pescara, Department of Sciences, 65127 Pescara, Italy

The whole proceedings (including the preface and the table of contents) can be downloaded as a single PDF file.

## Table of Contents

### Long presentations

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

### Short presentations

20. Winning CaRet Games with Modular Strategies 327-331
    Ilaria De Crescenzo, Salvatore La Torre
21. A Note on the Approximation of Mean-Payoff Games 333-340
    Raffaella Gentilini
22. Coalitional Games with Priced-Resource Agents 341-347
    Dario Della Monica, Margherita Napoli, Mimmo Parente
23. Cyclic pregroups and natural language: a computational algebraic analysis 349-363
    Claudia Casadio, Mehrnoosh Sadrzadeh
24. TERENCE: An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators 365-369
    Tania Di Mascio, Rosella Gennari, Pierpaolo Vittorini
25. Nested Weight Constraints in ASP 371-383
    Stefania Costantini, Andrea Formisano
26. The temporal representation and reasoning of complex events 385-399
    Francesco Mele, Antonio Sorgente
27. Solving XCSP problems by using Gecode 401-405
    Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli
28. Formalization and Automated reasoning about a Complex Signalling Network 407-414
    Annamaria Basile, Maria Rosa Felice, Alessandro Provetti

## Presented papers which appear elsewhere

- Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge
  Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani
  In the Proceedings of the 4th International Workshop on Process-oriented Information Systems in Healthcare (ProHealth 11), Clermont-Ferrand, France, August 29, 2011.
- Integration of abductive reasoning and constraint optimization in SCIFF
  Marco Gavanelli, Marco Alberti, Evelina Lamma
  In the Proceedings of the 25th International Conference on Logic Programming (ICLP '09), Lecture Notes in Computer Science, 2009, Volume 5649/2009, 387-401. DOI: 10.1007/978-3-642-02846-5_32

16-Nov-2011: submitted by Fabio Fioravanti
16-Nov-2011: published on CEUR-WS.org
24-Nov-2011: corrected some paper titles, add page numbers, add proceedings pdf file