XIX. I CILC (2004), Parma (Italy)

XIX. I CILC (2004), Parma (Italy) 16/17 Giugno 2014

Program chair: Gianfranco Rossi

Atti del convegno: http://www.programmazionelogica.it/2004/11/atti-del-cilc-2004/

Relazioni invitate

  • P. Torroni
    Introduzione ai sistemi multi-agente basati su logica computazionale
  • A. Dovier
    Il problema del Protein Folding e i relativi approcci basati su programmazione con vincoli
  • S. Costantini
    Answer Set Programming
  • L. M. Pereira
    Revised Stable Models – a new semantics for logic programs

Lavori presentati:

  • U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni
    Abductive Logic Programming with CIFF: Implementation and Applications
  • M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni
    Abduction with Hypotheses Confirmation
  • Z. Majkic
    Ontological encapsulation of many-valued logic
  • G. Boella, L. van der Torre
    Contracts in Multiagent Systems: the Legal Institution Perspective
  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti
    Reasoning about logic-based agent interaction protocols
  • S. Costantini, A.Tocchio, A.Verticchio
    Communication Architecture in the DALI Logic Programming Agent-Oriented Language
  • L. Torasso
    Costruzione automatica di courseware in DyLOG
  • A. Dal Palù, S. Will, R. Backofen, A. Dovier
    Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information
  • M. Cadoli, T. Mancini
    Using a theorem prover for reasoning on constraint problems
  • S. Prestwich, F. Rossi, K. B. Venable, T. Walsh
    Constrained CP-nets
  • A. Formisano, E. G. Omodeo, E. S. Orlowska, A. Policriti
    Uniform relational frameworks for modal inferences
  • A. De Pietri
    Quantification in Formal Logic and Natural Language (lavoro breve)
  • A. Capotorti, A. Formisano
    A declarative approach to uncertainty orders
  • L. Blandi, M. I. Sessa
    A multi context-based Approximate Reasoning
  • M. D’Antonio, G. Delzanno
    SAT-based Analysis of Cellular Automata
  • F. Buccafurri, G. Caminiti
    Implementing Joint Fixpoints Semantics on Top of DLV
  • M. Gabbrielli, M. C. Meo
    A compositional semantics for CHR
  • C. Cumbo, S. Iiritano, P. Rullo
    Combining logic programming and domain ontologies for text classification
  • M. Citrigno, W. Faber, G. Greco, N. Leone
    Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions DB
  • V. Cordì, V. Mascardi
    Checking the Completeness of Ontologies: A Case Study from the Semantic Web
  • I. Gungui, V. Mascardi
    Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
  • A. Varlaro, M. Berardi, D. Malerba,
    Improving efficiency of recursive theory learning
  • F. Bonchi, F. Giannotti, D. Pedreschi
    Frequent Pattern Queries for Flexible Knowledge Discovery
  • A. Pettorossi, M. Proietti
    Totally Correct Logic Program Transformations Using Well-Founded Annotations (lavoro breve)
  • A. Bossi, C. Piazza, S. Rossi
    Preserving (Security) Properties under Action Refinement
  • J. Alferes, F. Banti, A. Brogi
    From logic programs updates to action description updates