XX. II CILC (2005), Rome (Italy)

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”)