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
Logo ufficiale CILC 2014

Date importanti

Sottomissione articoli: 5 aprile 2014 13 aprile 2014
Notifica agli autori: 17 maggio 2014
Camera ready: 6 giugno 2014
Conferenza: 16-18 giugno 2014

Dettagli »


Call for papers

Il programma del convegno prevede la presentazione di contributi su argomenti specifici e la presentazione di prototipi software con le relative "demo". E' possibile sottomettere due tipologie di contributo: articoli completi oppure lavori brevi.

Dettagli »


Programma


Contatti

  • Laura Giordano
  • Valentina Gliozzi
  • Gian Luca Pozzato

Dettagli »


Credits immagini fotografiche:

Turismo Torino e Provincia archivio fotografico +PubblicitàItalia
Immagine della Mole Antonelliana nel titolo by cappe.dcpd, on Flickr
Creative Commons Attribution-Noncommercial-Share Alike 2.0 Generic License  by  cappe.dcpd 

Logo del Dipartimento di Informatica dell'Università degli Studi di Torino Logo dell'Università degli Studi di Torino Logo del DISIT dell'Università del Piemonte Orientale Logo dell'ALP Logo del GNCS Logo di Turismo Torino e Provincia