Convegno Italiano di Logica Computazionale
21-22 giugno 2005
Aula Marconi, Consiglio Nazionale delle Ricerche,
Piazzale Aldo Moro 7, Roma
Programma
| 21 Giugno 2005 | |
| 08:30 - 09:15 | Registration |
| 09:15 - 09:30 | Introduzione A. Pettorossi (U. Roma "Tor Vergata") |
| 09:30 - 10:30 | Sessione 1 (Tutorial 1) Tutorial: Answer Set Programming and Data Integration Systems S. Costantini (U. L'Aquila) abstract slides |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 | Sessione 2 (Multi-Agent Systems) Social behaviour of agents and stable models F. Buccafurri, G. Caminiti (U. Reggio Calabria) pdf slides Security protocols verification in Abductive Logic Programming: A case study M. Alberti (U. Ferrara), F. Chesani (U. Bologna), M. Gavanelli (U. Ferrara), E. Lamma (U. Ferrara), P. Mello (U. Bologna), P. Torroni (U. Bologna) Enhancing Computational power: DALI child agents generation S. Costantini, A. Tocchio (U. L'Aquila) |
| 12:30 - 14:00 | Pranzo |
| 14:00 - 15:30 | Sessione 3 (Tutorial 2 / Knowledge Representation and Reasoning) Tutorial: Un approccio basato su logica computazionale per la specifica e la verifica dell'interazione fra agenti: il sistema SOCS-SI F. Chesani (U. Bologna), M. Gavanelli (U. Ferrara) abstract Interleaving belief revision and reasoning: preliminary report F. Sadri, F. Toni (Imperial College, Londra, Regno Unito) |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 18:00 |
Sessione 4 (Knowledge Representation and Reasoning) Implementation of Dynamic Logic Programs F. Banti (U. Nova Lisbona, Portogallo), J.J. Alferes (U. Nova Lisbona, Portogallo), A. Brogi (U. Pisa) ps A semantic similarity measure for expressive Description Logics C. d'Amato, N. Fanizzi, F. Esposito (U. Bari) A connection between Similarity Logic Programming and Goedel Modal Logic L. Blandi (U. Salerno), L. Godo (IIIA-CSIC, Spagna), R.O. Rodriguez (U. Buenos Aires, Argentina) pdf slides Un formalismo basato sulla Frame Logic per il ragionamento spaziale. Un'applicazione al problema della visualizzazione di relazioni spaziali qualitative. L. Licenziato, F. Mele (Ist. Cibernetica - CNR, Pozzuoli) |
| 18:00 - 19:00 | Assemblea soci GULP |
| 22 Giugno 2005 | |
| 09:00 - 10:00 | Sessione 5 (Relazione Invitata) Robotica Cognitiva D. Nardi (U. di Roma "La Sapienza") slides-01 slides-02 slides-03 slides-04 slides-05 slides-06 slides-07 slides-08 |
| 10:00 - 10:30 | Coffee break |
| 10:30 - 12:30 | Sessione 6 (Knowledge Discovery / Learning) Un algoritmo per l'apprendimento di concetti basato su controfattuali F. Esposito, N. Fanizzi, N. Iannone, I. Palmisano, D. Redavid, G. Semeraro (U. Bari) An ILP approach to spatial clustering A. Varlaro, A. Appice, A. Lanza, D. Malerba (U. Bari) On learning in AL-log F.A. Lisi, F. Esposito (U. Bari) pdf slides Computational Logic in GeoPKDD F. Giannotti (ISTI-CNR, Pisa), A. Raffaetà (U. Venezia), C. Renso (ISTI-CNR, Pisa) |
| 12:30 - 14:00 | Pausa pranzo |
| 14:00 - 15:30 | Sessione 7 (Tutorial 3 / Constraints) Tutorial: Integrating Natural Language Learning and Ontology Engineering R. Basili (U. Roma "Tor Vergata") abstract Declarative programming in Java using JSetL E. Panegai, G. Rossi (U. Parma) ps slides |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 18:00 | Sessione 8 (Constraints / Verification) Heuristics, optimization, and parallelism for protein structure prediction in CLP(FD) A. Dal Palù (U. Udine), A. Dovier (U. Udine), E. Pontelli (New Mexico State University, USA) pdf slides SAT as an effective solving technology for constraint problems M. Cadoli, T. Mancini, F. Patrizi (U. Roma "La Sapienza") pdf slides A comparison of CLP(FD) and ASP solutions to NP-complete problems A. Dovier (U. Udine), A. Formisano (U. L'Aquila), E. Pontelli (New Mexico State University, USA) pdf slides Verifying parameterized protocols by transforming stratified logic programs A. Pettorossi (U. Roma "Tor Vergata"), M. Proietti (IASI-CNR, Roma), V. Senni (U. Roma "Tor Vergata") ps |
| 18:00 - 18:10 | Chiusura del Convegno A. Pettorossi (U. Roma "Tor Vergata") |
Valerio Senni
senni
disp.uniroma2.it