XXI. III CILC (2006), Bari (Italy)

XXI. III CILC (2006), Bari (Italy)

Pc chairs:F. Esposito, D. Malerba e G. Semeraro (U. degli Studi di Bari)

Atti della conferenza: http://www.programmazionelogica.it/2006/06/atti-del-cilc-2006/

Bari, 26-27 Giugno 2006

Lavori presentati:

  • (Tutorial) Learning Rules on top of Ontologies: An Inductive Logic Programming Approach
    Francesca A. Lisi (U. Bari)
  • 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)
  •  Skolem functions and Hilbert’s ε-terms in Free Variable Tableau Systems D. Cantone e M. Nicolosi Asmundo (U. Catania)
  • Towards an efficient relational deductive system for propositional non-classical logics
  • A. Formisano e M. Nicolosi Asmundo (U. Catania)
  • OntoDLV: An Object-Oriented Disjunctive Logic Programming System
    N. Leone e F. Ricca (U. Calabria)
  • 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)
  • 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)
  • 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.)
  • 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)
  • A Similarity Measure for the ALN Description Logic
    N. Fanizzi e C. d’Amato (U. Bari)
  • (Relazione Invitata)
    Knowledge Representation Tools for Electronic Commerce
    Francesco M. Donini (U. della Tuscia, Viterbo)
  • 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)
  • Memory-driven dynamic behavior checking in Logical Agents
    S. Costantini e A. Tocchio (U. L’Aquila)
  • Learning for Biomedical Information Extraction with ILP
    M. Berardi, V. Giuliano e D. Malerba (U. Bari)
  • 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)
  • Improving scalability in ILP incremental systems
    M. Biba, T.M.A. Basile, S. Ferilli e F. Esposito (U. Bari)
  • 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”)
  • A Master-Slave Architecture to Integrate Sets and Finite Domains in Java
    F. Bergenti, E. Panegai e G. Rossi (U. Parma)
  • Checking UML Model Consistency
    A. Baruzzo e M. Comini (U. Udine)