CILC 2014
29 esimo Convegno Italiano di Logica Computazionale
Torino 16-18 giugno 2014
Programma
Versione scaricabile (pdf)9.15-10.15
Invited: Riccardo Rosati. Tractable approaches to consistent query answering in ontology-based-data access
10.15-10.35
Benedetti Irene, Stefano Bistarelli and Paolo Piersanti. On Relating Voting Systems and Argumentation Frameworks
10.35-10.55
Antonis Kakas, Francesca Toni and Paolo Mancarella. Argumentation for Propositional Logic and Nonmonotonic Reasoning
10.55-11.30
coffee break
11.30-11.50
Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber. Efficient Computation of the Well-Founded Semantics over Big Data
11.50-12.10
Francesca Alessandra Lisi and Floriana Esposito. Semantic Web Services for Integrated Tourism in the Apulia region
12.10-12.30
Simona Colucci, Silvia Giannini, Francesco M Donini and Eugenio Di Sciascio. Finding Commonalities in Linked Open Data
12.30-12.50
Marco Montali, Diego Calvanese and Giuseppe De Giacomo. Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems
12.50-14.15
pausa pranzo
14.30-14.50
Domenico Cantone, Cristiano Longo and Marianna Nicolosi-Asmundo. Herbrand- satisfiability of a Quantified Set-theoretical Fragment
14.50-15.10
Stefania Costantini and Giovanni De Gasperis. Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems
15.10-15.30
Domenico Cantone, Marianna Nicolosi- Asmundo and Ewa Orlowska. A Dual Tableau- based Decision Procedure for a Relational Logic with the Universal Relation
15.30-16.00
coffee break
16.00-16.20
Stefano Ferilli. Toward an Improved Downward Refinement Operator for Inductive Logic Programming
16.20-16.40
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti. Program Verification using Constraint Handling Rules and Array Constraint Generalizations
16.40-17.00
Tommaso di Noia, Marina Mongiello and Eugenio Di Sciascio. A computational model for Mapreduce job flow
17.00
riunione dei soci del GULP
19.20
cena sociale (partenza da Piazza Vittorio Veneto in prossimità di Via Po)
