CILC 2014
29 esimo Convegno Italiano di Logica Computazionale
Torino 16-18 giugno 2014
Programma
Versione scaricabile (pdf)9.15-9.35
Rodica Ceterchi, Eugenio G. Omodeo and Alexandru I. Tomescu. The representation of Boolean algebras in the spotlight of a proof checker
9.35-9.55
Agostino Dovier. Set Graphs VI: Logic Programming and Bisimulation
9.55-10.15
Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo and Paolo Cagnoli. Multi-Criteria Optimal Planning for Energy Policies in CLP
10.15-10.35
Stefania Costantini and Regis Riveret. Event-Action Modules for Complex Reactivity in Logical Agents
10.35-10.55
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa and Riccardo Zese. Lifted Probabilistic Logic Programming
10.55-11.30
coffee break
11.30-11.50
Loris Bozzato, Thomas Eiter and Luciano Serafini. Defeasibility in contextual reasoning with CKR
11.50-12.10
Piero A. Bonatti, Luigi Sauro and Iliana Petrova. A mechanism for ontology confidentiality
12.10
fine dei lavori
