|
CILC 2004: Relazioni Presentate
|
Relazione invitata
|
|
Tutorial
|
|
Lavori presentati al convegno
|
-
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
-
I. Gungui, V. Mascardi
Integrating
tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
-
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 (lavoro breve)
-
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
-
Z. Majkic
Ontological
encapsulation of many-valued logic
-
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
|
Demo
|
-
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, P. Torroni
A demonstration
of SOCS-SI
-
L. Bortolussi, A. Dal Palù, A. Dovier
Constraint-based tools for protein folding
-
S. Costantini, A. Tocchio
The
DALI Logic Programming Agent-Oriented Language
-
E. Poleo, E. Panegai, G. Rossi
The JSetL library:
supporting declarative programming in Java
|
Elenco dei referee
|
Matteo Baldoni
Cristina Baroglio
Margherita Berardi
Francesco Buccafurri
Michele Bugliesi
Stefania Costantini
|
Giorgio Delzanno
Agostino Dovier
Andrea Formisano
Ombretta Gaggi
Marco Gavanelli
Fosca Giannotti
|
Roberta Gori
Francesca Levi
Vincenzo Loia
Maria Chiara Meo
Monica Nesi
Andrea Omicini
|
Salvatore Orlando
Maurizio Proietti
Francesca Rossi
Fausto Spoto
Antonio Varlaro
Enea Zaffanella
|
|
|