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