cs@parma CILC 2004
Convegno Italiano di Logica Computazionale
16-17 giugno 2004
Dipartimento di Matematica, Università di Parma
Via M. D'Azeglio 85/A, Parma
Home
Call for Papers
Comitato di programma
Comitato organizzatore
Date importanti

Atti del convegno
Programma
Relazione invitata
Relazioni presentate
Tutorial
Demo

Iscrizione al Convegno
Informazioni logistiche
Eventi collegati

Partecipanti al Convegno
Foto del Convegno

Programma dettagliato

Mercoledì 16/06/2004 
  8:30 - 9:15
 Iscrizione al convegno
  9:15 - 10:30
 Tutorial 1 
 P. Torroni
       Introduzione ai sistemi multi-agente basati su logica computazionale
10:30 - 11:10
 SESSIONE 1 
 U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni
       Abductive Logic Programming with CIFF: Implementation and Applications
 M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni
       Abduction with Hypotheses Confirmation
11:10 - 11:35
 Coffee-break
11:35 - 13:05
 SESSIONE 2 
 Z. Majkic
       Ontological encapsulation of many-valued logic
 G. Boella, L. van der Torre
       Contracts in Multiagent Systems: the Legal Institution Perspective
 M. Baldoni, C. Baroglio, A. Martelli, V. Patti
       Reasoning about logic-based agent interaction protocols
 S. Costantini, A.Tocchio, A.Verticchio
       Communication Architecture in the DALI Logic Programming Agent-Oriented Language
 L. Torasso
       Costruzione automatica di courseware in DyLOG (lavoro breve)
13:05 - 14:30
 Pausa pranzo
14:30 - 15:45
 Tutorial 2 
 A. Dovier
       Il problema del Protein Folding e i relativi approcci basati su programmazione con vincoli
15:45 - 16:45
 SESSIONE 3
 A. Dal Palù, S. Will, R. Backofen, A. Dovier
       Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information
 M. Cadoli, T. Mancini
       Using a theorem prover for reasoning on constraint problems
 S. Prestwich, F. Rossi, K. B. Venable, T. Walsh
       Constrained CP-nets
16:45 - 17:10
 Coffee-break
17:10 - 17:40
 SESSIONE 4 
 A. Formisano, E. G. Omodeo, E. S. Orlowska, A. Policriti
       Uniform relational frameworks for modal inferences
 A. De Pietri
       Quantification in Formal Logic and Natural Language (lavoro breve)
17:40 - 18:40
 Presentazioni "demo
 Dibattito aperto su "Didattica e Linguaggi Dichiarativi"
20:00
 Cena presso la Trattoria Corrieri, via Conservatorio 1, Parma.

 
Giovedì 17/06/2004 
  9:00 - 10:15
 Tutorial 3
 S. Costantini
       Answer Set Programming
10:15 - 11:15
 SESSIONE 5
 A. Capotorti, A. Formisano 
       A declarative approach to uncertainty orders
 L. Blandi, M. I. Sessa
       A multi context-based Approximate Reasoning
 M. D'Antonio, G. Delzanno 
       SAT-based Analysis of Cellular Automata
11:15 - 11:40
 Coffee-break
11.40 - 12:30
 Relazione invitata
 L. M. Pereira
       Revised Stable Models - a new semantics for logic programs
12:30 - 13:10
 SESSIONE 6
 F. Buccafurri, G. Caminiti
       Implementing Joint Fixpoints Semantics on Top of DLV
 M. Gabbrielli, M. C. Meo
       A compositional semantics for CHR
13:10 - 14:30
 Pausa pranzo
14:30 - 15:50
 SESSIONE 7 
 C. Cumbo, S. Iiritano, P. Rullo
       Combining logic programming and domain ontologies for text classification
 M. Citrigno, W. Faber, G. Greco, N. Leone
       Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions DB
 V. Cordì, V. Mascardi
       Checking the Completeness of Ontologies: A Case Study from the Semantic Web
 I. Gungui, V. Mascardi
       Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
15:50 - 16:40
SESSIONE 8
 A. Varlaro, M. Berardi, D. Malerba,
       Improving efficiency of recursive theory learning
 F. Bonchi, F. Giannotti, D. Pedreschi
       Frequent Pattern Queries for Flexible Knowledge Discovery
 A. Pettorossi, M. Proietti
       Totally Correct Logic Program Transformations Using Well-Founded Annotations (lavoro breve)
16:40 - 17:05
 Coffee-break
16:05 - 17:45
 SESSIONE 9
 A. Bossi, C. Piazza, S. Rossi
       Preserving (Security) Properties under Action Refinement
 J. Alferes, F. Banti, A. Brogi
       From logic programs updates to action description updates
17:45 - 17:50
 Chiusura dei lavori
Pagina a cura di
Enea Zaffanella
[Pagina aggiornata il 14/06/2004, 14:40:57.]