|
|
Vol-1459
urn:nbn:de:0074-1459-5
Copyright ©
2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.
|
CILC 2015
Italian Conference on Computational Logic
Proceedings of the 30th Italian Conference on Computational Logic
Genova, Italy, July 1-3, 2015.
Edited by
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi (DIBRIS)
* Via Dodecaneso, 35 - 16146 Genova - Italy
** Viale Causa, 13 - 16145 Genova - Italy
Table of Contents
-
Preface
I-II
Davide Ancona, Marco Maratea, Viviana Mascardi
Abstract of the invited talk
Foundations and theoretical results
Practical experiences and case studies
-
Computational thinking for beginners: A successful experience using
Prolog
31-45
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo
Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi,
Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando
Tacchella
-
A case study on graph-based planning for emergency evacuation
46-52
Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca
Milazzo, Salvatore Nunnari, Alessandro Provetti
-
How Answer Set Programming can help in digital forensic investigation
53-65
Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri
-
Leveraging semantic web technologies for analysis of crime in social science
66-71
Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria
Laura Ruiu, Camillo Tidore
Agents and multiagent systems
Languages and programming
Description logics and ontologies
Applications, frameworks and tools
-
Games with additional winning strategies
175-180
Vadim Malvone, Aniello Murano, Loredana Sorrentino
-
An authority degree-based evaluation strategy for abstract
argumentation frameworks
181-196
Andrea Pazienza, Floriana Esposito, Stefano Ferilli
-
Towards visualising security with arguments
197-201
Stefano Bistarelli, Fabio Rossi, Francesco Santini, Carlo Taticchi
-
SUNNY for algorithm selection: a preliminary study
202-206
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo
Mauro
In addition to the contributions above, the program of CILC 2015
also featured the presentations of the following papers, which appear elsewhere:
- Modeling and verifying relational multiagent systems with data types
Diego
Calvanese, Giorgio Delzanno, Marco Montali
- Multi-agent-contexts systems for reasoning and acting in heterogeneous environments
Stefania Costantini
- Integration of DALI agents and ASP modules: a case-study
Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone
- Completing workflow traces using action languages
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vazquez Sandoval
- Semantics-based generation of verification conditions by program specialization
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio
Proietti
- Proving Horn clause specifications of partial correctness of imperative programs
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
- Web ontology representation and reasoning via fragments of set theory
Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo, Daniele
Francesco Santamaria
- Towards a rational closure for expressive description logics: the case of SHIQ
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
- Why CP portfolio solvers are (under)utilized? Issues and challenges
Roberto
Amadini, Maurizio Gabbrielli, Jacopo Mauro
- A contextual framework for reasoning on events
Loris Bozzato, Stefano
Borgo, Alessio Palmero Aprosio, Marco Rospocher, Luciano Serafini
Additional material
The whole proceedings (including the preface and the table of contents) can be downloaded as a
single PDF file.
2015-09-29: submitted by Viviana Mascardi
2015-09-29: published on CEUR-WS.org
valid HTML5