Sono disponibili gli articoli ed i lucidi.

Programma

Mercoledì 31 Agosto >> Giovedì 1 Settembre >> Venerdì 2 Settembre
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      (slides)
10:45
11:00		 Ilaria De Crescenzo and Salvatore La Torre
Winning CaRet Games with Modular Strategies      (slides)
11:00
11:30		 Pausa caffè
11:30
12:00		 Fabrizio Riguzzi
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming      (slides)
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      (slides)
12:30
12:45		 Raffaella Gentilini
A Note on the Approximation of Mean-Payoff Games      (slides)
12:45
13:00		 Dario Della Monica, Mimmo Parente and Margherita Napoli
On a Logic for Coalitional Games with Priced-Resource Agents      (slides)
13:00
14:30		 Pausa pranzo
14:30
15:30		 Relatore invitato: Andrea Omicini
Coordination Models and Technologies toward Self-Organising Systems      (slides)
15:30
16:00		 Francesca Alessandra Lisi and Umberto Straccia
An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics      (slides)
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      (slides)
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      (slides)
17:30
17:45		 Claudia Casadio and Mehrnoosh Sadrzadeh
Cyclic pregroups and natural language: a computational algebraic analysis      (slides)
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      (slides)
18:00
..:..		 Riunione Direttivo GULP






Mercoledì 31 Agosto >> Giovedì 1 Settembre >> Venerdì 2 Settembre
09:00
10:00		 Relatore invitato: Fausto Spoto
Static Analysis of Java. Can we be logical?      (slides)
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      (slides)
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      (slides)
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      (slides)
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      (slides)
15:00
15:30		 Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio Senni
Controlling Polyvariance for Specialization-based Verification      (slides)
15:30
16:00		 Stefano Bistarelli, Paola Campli and Francesco Santini
Finding Partitions of Arguments with Dung's Properties via SCSPs      (slides)
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      (slides)
17:00
17:15		 Massimo Morara, Jacopo Mauro and Maurizio Gabbrielli
Solving XCSP problems by using Gecode      (slides)
17:15
17:30		 Annamaria Basile, Maria Rosa Felice and Alessandro Provetti
Formalization and Automated reasoning about a Complex Signalling Network      (slides)
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. (Il menù sarà a base di pesce. Saranno disponibili menù alternativi per chi non mangia pesce e per chi è vegetariano)






Mercoledì 31 Agosto >> Giovedì 1 Settembre >> Venerdì 2 Settembre
09:00
10:00		 Tutorialist: Fabrizio Riguzzi
Probabilistic Logic Languages      (slides)
10:00
10:30		 Neng-Fa Zhou and Agostino Dovier
A Tabled Prolog Program for Solving Sokoban      (slides)
10:30
11:00		 Elena Bellodi and Fabrizio Riguzzi
EM over Binary Decision Diagrams for Probabilistic Logic Programs      (slides)
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      (slides)
12:00
12:30		 Dario Campagna and Andrea Formisano
ProdProc - Product and Production Process Modeling and Configuration      (slides)
12:30
13:00		 Alessio Stalla, Davide Zanucco, Agostino Dovier and Viviana Mascardi
PrettyCLP: a Light Java Implementation for Teaching CLP      (slides)
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      (slides)
13:30
14:00		 Dmitry Solomakhin, Alessandro Mosca and Enrico Franconi
Logic-based reasoning support for SBVR      (slides)