9:00 – 10:00

Registrazione

10:00 – 10:15

Apertura Lavori

10:15 – 10:45

Giacomo Lenzi and Giovanna D’Agostino
On modal mu-calculus in S5 and applications

10:45 – 11:00

Ilaria De Crescenzo and Salvatore La Torre
Winning CaRet Games with Modular Strategies

11:00 – 11:30

Pausa caffè

11:30 – 12:00

Fabrizio Riguzzi
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic
Programming

12:00 – 12:30

Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian
Luca Pozzato
Nonmonotonic extensions of low-complexity DLs: complexity
results and proof methods

12:30 – 12:45

Raffaella Gentilini
A Note on the Approximation of Mean-Payoff Games

12:45 – 13:00

Dario Della Monica, Mimmo Parente and Margherita Napoli
On a Logic for Coalitional Games with Priced-Resource Agents

13:00 – 14:30

Pausa pranzo

14:30 – 15:30

Relatore invitato: Andrea Omicini
Coordination Models and Technologies toward Self-Organising
Systems

15:30 – 16:00

Francesca Alessandra Lisi and Umberto Straccia
An Inductive Logic Programming Approach to Learning Inclusion
Axioms in Fuzzy Description Logics

16:00 – 16:30

Pausa caffè

16:30 – 17:00

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco
Montali, Stefania Montani and Paolo Terenziani
Conformance Checking of Executed Clinical Guidelines in
presence of Basic Medical Knowledge

17:00 – 17:30

Domenico Cantone and Marianna Nicolosi Asmundo
On the satisfiability problem for a 4-level quantified
syllogistic and some applications to modal logic

17:30 – 17:45

Claudia Casadio and Mehrnoosh Sadrzadeh
Cyclic pregroups and natural language: a computational
algebraic analysis

17:45 – 18:00

Tania Di Mascio, Rosella Gennari and Pierpaolo Vittorini
TERENCE: An Adaptive Learning System for Reasoning about
Stories with Poor Comprehenders and their Educators

18:00 – ..:..

Riunione Direttivo GULP

09:00 – 10:00

Relatore invitato: Fausto Spoto
Static Analysis of Java. Can we be logical?

10:00 – 10:30

Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone,
Francesco Ricca and Marco Sirianni
The Birth of a WASP: Preliminary Report on a New ASP Solver

10:30 – 11:00

Onofrio Febbraro, Kristian Reale and Francesco Ricca
Testing ASP programs in ASPIDE

11:00 – 11:30

Pausa caffè

11:30 – 12:00

Mario Alviano, Wolfgang Faber and Stefan Woltran
Complexity of Super-Coherence Problems in Answer Set
Programming

12:00 – 12:30

Davide D’Aprile, Laura Giordano, Valentina Gliozzi, Alberto
Martelli, Gian Luca Pozzato and Daniele Theseider Dupre’

Verifying Compliance of Business Processes with Temporal Answer
Sets

12:30 – 12:45

Stefania Costantini and Andrea Formisano
Nested Weight Constraints in ASP

12:45 – 13:00

Francesco Mele and Antonio Sorgente
The temporal representation and reasoning of complex events

13:00 – 14:30

Pausa pranzo

14:30 – 15:00

Marco Alberti, Marco Gavanelli and Evelina Lamma
The CHR-based Implementation of an Abductive System

15:00 – 15:30

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and
Valerio Senni
Controlling Polyvariance for Specialization-based Verification

15:30 – 16:00

Stefano Bistarelli, Paola Campli and Francesco Santini
Finding Partitions of Arguments with Dung’s Properties via
SCSPs

16:00 – 16:30

Pausa caffè

16:30 – 17:00

Marco Gavanelli, Marco Alberti and Evelina Lamma
Integration of abductive reasoning and constraint optimization
in SCIFF

17:00 – 17:15

Massimo Morara, Jacopo Mauro and Maurizio Gabbrielli
Solving XCSP problems by using Gecode

17:15 – 17:30

Annamaria Basile, Maria Rosa Felice and Alessandro Provetti
Formalization and Automated reasoning about a Complex
Signalling Network

17:30 – 18:30

Assemblea soci GULP

19:00 – 20:00

Visita al museo "Casa natale di G.d’Annunzio", Corso
Manthonè 116

21:00 – ..:..

Cena Sociale

Ristorante "La figlia di Attilio", Viale Vittorio
Pepe, 147 Pescara.

09:00 – 10:00

Tutorialist: Fabrizio Riguzzi
Probabilistic Logic Languages

10:00 – 10:30

Neng-Fa Zhou and Agostino Dovier

A Tabled Prolog Program for Solving Sokoban

10:30 – 11:00

Elena Bellodi and Fabrizio Riguzzi
EM over Binary Decision Diagrams for Probabilistic Logic
Programs

11:00 – 11:30

Pausa caffè

11:30 – 12:00

Emanuele De Angelis, Alberto Pettorossi and Maurizio Proietti
Synthesizing Concurrent Programs using Answer Set Programming

12:00 – 12:30

Dario Campagna and Andrea Formisano
ProdProc – Product and Production Process Modeling and
Configuration

12:30 – 13:00

Alessio Stalla, Davide Zanucco, Agostino Dovier and Viviana
Mascardi
PrettyCLP: a Light Java Implementation for Teaching CLP

13:00 – 13:30

Stefania Costantini, Niva Florio and Alessio Paolucci
A framework for structured knowledge extraction and
representation from natural language via deep sentence analysis

13:30 – 14:00

Dmitry Solomakhin, Alessandro Mosca and Enrico Franconi
Logic-based reasoning support for SBVR