[CEUR Workshop Proceedings] Vol-810

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
  20. Short presentations

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

Presented papers which appear elsewhere

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