XX. II CILC (2005), Rome (Italy)
Program chair: Alberto Pettorossi
Atti della conferenza: http://www.programmazionelogica.it/2005/06/atti-del-cilc-2005/
Relazioni invitate:
- Robotica Cognitiva
D. Nardi (U. di Roma “La Sapienza”) - Tutorial: Answer Set Programming and Data Integration Systems
S. Costantini (U. L’Aquila) - 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) - Tutorial: Integrating Natural Language Learning and Ontology Engineering
R. Basili (U. Roma “Tor Vergata”)
Lavori accettati:
- Social behaviour of agents and stable models
F. Buccafurri, G. Caminiti (U. Reggio Calabria) - 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) - Interleaving belief revision and reasoning: preliminary report
F. Sadri, F. Toni (Imperial College, Londra, Regno Unito) - Implementation of Dynamic Logic Programs
F. Banti (U. Nova Lisbona, Portogallo),
J.J. Alferes (U. Nova Lisbona, Portogallo), A. Brogi (U. Pisa) - 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) - 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) - 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) - Computational Logic in GeoPKDD
F. Giannotti (ISTI-CNR, Pisa), A. Raffaetà (U. Venezia),
C. Renso (ISTI-CNR, Pisa) - Declarative programming in Java using JSetL
E. Panegai, G. Rossi (U. Parma) - 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) - SAT as an effective solving technology for constraint problems
M. Cadoli, T. Mancini, F. Patrizi (U. Roma “La Sapienza”) - 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) - 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”)