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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team