|
Programma dettagliato
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. |
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 |
|