Programme
June 6, 2012 |
|
| 09:00-09:30 | Registration |
| 09:30-09:45 | Opening:
Francesca A. Lisi photo |
| 09:45-11:00 | Session
1a: Theory I (chair: Alberto Pettorossi) |
| 09:45-10:00 |
Volha Kerhet and Enrico Franconi. On Checking Domain Independence (short) slides photo |
| 10:00-10:30 |
Laura Giordano, Valentina
Gliozzi, Nicola Olivetti and Gian Luca Pozzato. A modal reconstruction of
Rational Closure slides photo |
| 11:30-11:00 | Stefano Ferilli, Teresa
M.A. Basile and Floriana Esposito. Two Extensions of FOL Horn
Clauses Comparison to Interpreted Predicates slides photo |
| 11:00-11:30 | Coffee break |
| 11:30-13:00 | Session 1b: Model
checking
(chair: Andrea Formisano) |
| 11:30-12:00 |
Emanuele De Angelis,
Fabio Fioravanti, Maurizio Proietti and Alberto
Pettorossi. Software
Model Checking by Program Specialization slides photo |
| 12:00-12:30 |
Raffaella Gentilini,
Carla Piazza and Alberto Policriti. Rank-Based Simulation on
Acyclic Graphs slides photo |
| 12:30-13:00 |
Laura Giordano, Alberto
Martelli and Daniele Theseider Dupre'. Verification of action
theories in ASP: a complete Bounded Model Checking
approach slides
photo |
| 13:00-14:30 | Lunch break |
| 14:30-15:30 | Invited talk: Umberto Straccia. Foundations
of Fuzzy Logic and Semantic Web Languages slides photo |
| 15:30-16:00 | Session 2a: Description
Logics
(chair: Francesca A. Lisi) |
| 15:30-16:00 |
Simona Colucci and
Francesco M Donini. Using
Prolog unification to solve non-standard reasoning
problems in Description Logics slides photo |
| 16:00-16:30 | Coffee break |
| 16:30-18:00 | Session
2b: Uncertainty reasoning
(chair: Laura Giordano) |
| 16:30-17:00 |
Fabrizio Riguzzi. Optimizing Inference for
Probabilistic Logic Programs Exploiting Independence
and Exclusiveness slides photo |
| 17:00-17:30 |
Fabrizio Riguzzi, Elena
Bellodi and Evelina Lamma. Probabilistic Ontologies in Datalog+/-
slides photo |
| 17:30-18:00 |
Pasquale Minervini,
Claudia D'Amato and Nicola Fanizzi. Learning Terminological
Bayesian Classifiers - A Comparison of Alternative
Approaches to Dealing with Unknown Concept-Memberships
slides photo |
| 18:00-19:00 | GULP Board Meeting |
| 20:30-23:30 | Social dinner |
June 7, 2012 |
|
| 09:00-09:15 |
Registration |
| 09:15-11:00 | Session 3a: Answer Set Programming (chair: Agostino Dovier) |
| 09:15-09:30 |
Onofrio Febbraro, Nicola
Leone, Kristian Reale and Francesco Ricca. Extending ASPIDE with
User-defined Plugins (short) slides photo |
| 09:30-10:00 |
Marco Maratea, Luca
Pulina and Francesco Ricca. ME-ASP: A Multi-Engine Solver for Answer Set
Programming slides photo |
| 10:00-10:30 |
Stefania Costantini and
Andrea Formisano. Preferences
and priorities in ASP slides photo |
| 10:30-11:00 |
Marco Gavanelli,
Maddalena Nonato, Andrea Peano, Stefano Alvisi and Marco
Franchini. An ASP
Approach for the Valves Positioning Optimization in a
Water Distribution System slides photo |
| 11:00-11:30 | Coffee break |
| 11:30-12:45 | Session 3b: Theory II (chair: Fabio
Fioravanti) |
| 11:30-12:00 |
Domenico Cantone,
Marianna Nicolosi Asmundo and Eugenio Omodeo. On the elimination of
quantifiers through descriptors in predicate logic
slides
photo |
| 12:00-12:30 |
Gilles Dowek and Murdoch
Gabbay. Nominal
semantics for predicate logic: algebras, substitution,
quantifiers, and limits slides photo |
| 12:30-12:45 |
Tommaso Flaminio and
Hykel Hosni. The
epistemic structure of de Finetti's betting problem
(short) slides
photo |
| 13:00-14:30 | Lunch break |
| 14:30-16:00 | Session 4a: Implementation and Agents (chair: Marco Gavanelli) |
| 14:30-15:00 |
Alessandro Dal
Palù, Agostino Dovier, Andrea Formisano and
Enrico Pontelli. Exploiting Unexploited Computing Resources for Computational Logics slides photo |
| 15:00-15:30 |
Matteo Baldoni, Cristina
Baroglio, Federico Capuzzimati, Elisa Marengo and
Viviana Patti. A
Generalized Commitment Machine for 2CL Protocols and
its Prolog Implementation slides photo |
| 15:30-16:00 |
Stefania Costantini,
Alessio Paolucci and Panagiota Tsintza. Temporal Meta-Axioms in
Logical Agents slides photo |
| 16:00-16:30 | Coffee break |
| 16:30-17:30 | Session 4b: Constraint Logic
Programming (chair:
Stefania Costantini) |
| 16:30-17:00 |
Valerio Senni and Fabio
Fioravanti. Generation
of test data structures using Constraint Logic
Programming slides
photo |
| 17:00-17:30 |
Massimiliano Cattafi,
Rosa Herrero, Marco Gavanelli, Maddalena Nonato and Juan
José Ramos Gonzalez. Improving Quality and Efficiency in Home
Health Care: an application of Constraint Logic
Programming for the Ferrara NHS unit slides photo |
| 17:30-18:30 | GULP meeting |
| 18:30-18:45 | Closing: Gianfranco Rossi, Francesca A. Lisi, Alberto Pettorossi photo |
