Programma definitivo
programma in pdf
|
| 26 Giugno 2006 |
09:15 - 09:30 | Introduzione
F. Esposito, D. Malerba e G. Semeraro (U. degli Studi di Bari) |
09:30 - 10:30 |
Sessione 1 (Tutorial)
Learning Rules on top of Ontologies: An Inductive Logic Programming Approach
Francesca A. Lisi (U. Bari)
abstract pdf slide in pdf
|
11:00 - 12:30 |
Sessione 2 (Knowledge Representation and Reasoning / 1)
Planning with Action Languages: Perspectives using CLP(FD) and ASP
A. Dovier (U. Udine), A. Formisano (U. L'Aquila) e E. Pontelli (New Mexico State University, USA)
pdf slide in pdf
Skolem functions and Hilbert’s ε-terms in Free Variable Tableau Systems
D. Cantone e M. Nicolosi Asmundo (U. Catania)
pdf slide in pdf
Towards an efficient relational deductive system for propositional non-classical logics
A. Formisano e M. Nicolosi Asmundo (U. Catania)
pdf slide in ps
|
14:00 - 15:30 |
Sessione 3 (Semantic Web)
OntoDLV: An Object-Oriented Disjunctive Logic Programming System
N. Leone e F. Ricca (U. Calabria)
pdf slide in ppt
Semantic Information Elicitation from Unstructured Medical Records
M. Ruffolo (Exeura srl e ICAR-CNR), V. Cozza (U. Calabria), L. Gallucci (Exeura srl e U. Calabria), M. Manna (U. Calabria) e M. Pizzonia (U. Calabria)
pdf
Applying ASP Inferential Engines to the Filtering, Decoration and Validation of Data from Web Sources
M. Marchi (U. Milano), G. Fiumara (U. Messina) e A. Provetti (U. Messina)
pdf
|
16:00 - 17:30 |
Sessione 4 (Knowledge Representation and Reasoning / 2)
Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts
M. Amalfi (U. Messina), K. Lo Presti (U. Messina), A. Provetti (U. Messina) e F. Salvetti (U. Colorado e Umbria Inc.)
pdf slide in pdf
An Event-Condition-Action Logic Programming Language
J. J. Alferes (U. Nova Lisbona, Portogallo), F. Banti (U. Nova Lisbona, Portogallo) e A. Brogi (U. Pisa)
pdf slide in ppt
A Similarity Measure for the ALN Description Logic
N. Fanizzi e C. d'Amato (U. Bari)
pdf slide in pdf
|
|
| 27 Giugno 2006 |
09:00 - 10:30 |
Sessione 5 (Relazione Invitata / Knowledge Representation and Reasoning) |
09:00 - 10:00 |
Knowledge Representation Tools for Electronic Commerce
Francesco M. Donini (U. della Tuscia, Viterbo)
abstract pdf slide in pdf |
10:00 - 10:30 |
Semantic-based matchmaking and query refinement for B2C e-marketplaces
S. Colucci (Polit. Bari), T. Di Noia (Polit. Bari), E. Di Sciascio (Polit. Bari), F. M. Donini (U. Tuscia Viterbo), A. Ragone (Polit. Bari) e R. Rizzi (Polit. Bari)
pdf slide in ppt
|
11:00 - 13:00 |
Sessione 6 (Agents / Learning)
Memory-driven dynamic behavior checking in Logical Agents
S. Costantini e A. Tocchio (U. L'Aquila)
pdf slide in ppt
Learning for Biomedical Information Extraction with ILP
M. Berardi, V. Giuliano e D. Malerba (U. Bari)
pdf slide in ppt
A-Priori Verification of Web Services with Abduction
M. Alberti (U. Ferrara), F. Chesani (U. Bologna), M. Gavanelli (U. Ferrara), E. Lamma (U. Ferrara), P. Mello (U. Bologna), M. Montali (U. Bologna)
pdf slide in ppt
Improving scalability in ILP incremental systems
M. Biba, T.M.A. Basile, S. Ferilli e F. Esposito (U. Bari)
pdf slide in ppt
|
16:00 - 17:30 |
Sessione 7 (Constraints and Verification)
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
A. Pettorossi (U. Roma "Tor Vergata"), M. Proietti (IASI-CNR, Roma) e V. Senni (U. Roma "Tor Vergata")
pdf slide in ppt
A Master-Slave Architecture to Integrate Sets and Finite Domains in Java
F. Bergenti, E. Panegai e G. Rossi (U. Parma)
pdf slide in ppt
Checking UML Model Consistency
A. Baruzzo e M. Comini (U. Udine)
pdf
|