CILC 2014
29 esimo Convegno Italiano di Logica Computazionale
Torino 16-18 giugno 2014
Programma
Versione scaricabile (pdf)9.00-10.00
registrazione
10.00-10.20
saluti
10.20-10.40
Roberto Micalizio and Gian Luca Pozzato. Revising Description Logic Terminologies to Handle Exceptions: a First Step
10.40-11.00
Mauro Ferrari, Camillo Fiorentini and Guido Fiorino. JTabWb: a Java framework for implementing terminating sequent and tableau calculi
11.00-11.30
coffee break
11.30-11.50
Mathew Joseph, Gabriel Kuper and Luciano Serafini. Query answering over Contextualized RDF knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity
11.50-12.10
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi and Patrick Taillibert. Exploiting Prolog for Projecting Agent Interaction Protocols
12.10-12.30
Francesco Alberti, Silvio Ghilardi and Natasha Sharygina. A framework for the verification of parameterized infinite-state systems
12.30-12.50
Stefania Costantini and Andrea Formisano. Query Answering in Resource-Based Answer Set Semantics
12.50-14.15
pausa pranzo
14.15-15.15
Invited: Francesca Toni. From logic programming to argumentation and back
15.15-15.35
Daniela Briola, Viviana Mascardi and Davide Ancona. Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog [Demo Track]
15.35-16.00
coffee break
16.00-16.20
Carlo Combi and Pietro Sala. Keeping interval-based functional dependencies up-to-date
16.20-16.40
Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco. A First Study of the Horn Fragment of the Modal Logic of Time Intervals
16.40-17.00
Eugenio Omodeo, Carla Piazza, Alberto Policriti and Alexandru I. Tomescu. Hyper-extensionality and one-node elimination on membership graphs
17.00
riunione del Direttivo del GULP
