| Vol-598 urn:nbn:de:0074-598-1 Copyright © 2010 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# CILC 2010
25th Italian Conference on Computational Logic

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

### Rende, Italy, July 7-9, 2010.

Edited by

### Wolfgang Faber
Nicola Leone

University of Calabria, Department of Mathematics, 87036 Rende, Italy

In addition to the 21 contributions below, the program of CILC2010 also features a presentation of the book "25 Years of Logic Programming in Italy" (Springer Verlag, LNCS 6125) by Agostino Dovier and Enrico Pontelli, invited talks by Gerhard Friedrich and Gerhard Brewka, and a tutorial by Axel Polleres.

## Table of Contents

### Technical Session 1

1. CLP-based Protein Fragment Assembly Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2. Runtime Addition of Integrity Constraints in SCIFF Marco Alberti, Marco Gavanelli, Evelina Lamma
3. Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda Agostino Dovier, Andrea Formisano, Enrico Pontelli
4. Constraints among Commitments: Regulative Specification of Interaction Protocols Matteo Baldoni, Cristina Baroglio, Elisa Marengo

### Technical Session 2

5. A Transformation Strategy for Verifying Logic Programs on Infinite Lists Alberto Pettorossi, Maurizio Proietti, Valerio Senni
6. Generalization Strategies for the Verification of Infinite State Systems Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
7. Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi

### Technical Session 3

8. Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
9. A Constructive Conditional Logic for Access Control Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
10. Dual Tableau-based Decision Procedures for Some Relational Logics Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orłowska
11. A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo

### Technical Session 4

12. Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives Marco Manna, Francesco Ricca, Giorgio Terracina
13. Towards Translating Natural Language Sentences into ASP Stefania Costantini, Alessio Paolucci
14. Parallel Instantiation in DLV Simona Perri, Francesco Ricca, Marco Sirianni
15. Reasoning about Actions with Temporal Answer Sets Laura Giordano, Alberto Martelli, Daniele Theseider Dupré

### Technical Session 5

16. An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation Fabrizio Riguzzi, Terrance Swift
17. Probabilistic Logic-Based Process Mining Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma

### Technical Session 6

18. Solving Weighted Argumentation Frameworks with Soft Constraints Stefano Bistarelli, Daniele Pirolandi, Francesco Santini
19. Evoluzioni di Ontologie in Frame Logic Francesco Mele, Antonio Sorgente, Giuseppe Vettigli
20. A Visual Interface for Drawing ASP Programs Onofrio Febbraro, Kristian Reale, Francesco Ricca
21. Team-building with Answer Set Programming in the Gioia-Tauro Seaport Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise

16-Jun-2010: submitted by Wolfgang Faber
17-Jun-2010: published on CEUR-WS.org