Articoli accettati
Giacomo Lenzi and Giovanna D'Agostino.
On modal mu-calculus in S5 and applications
Elena Bellodi and Fabrizio Riguzzi.
EM over Binary Decision Diagrams for Probabilistic Logic Programs
Raffaella Gentilini.
A Note on the Approximation of Mean-Payoff Games
Onofrio Febbraro, Kristian Reale and Francesco Ricca.
Testing ASP programs in ASPIDE
Francesco Mele and Antonio Sorgente.
The temporal representation and reasoning of complex events
Alessio Stalla, Davide Zanucco, Agostino Dovier and Viviana Mascardi.
PrettyCLP: a Light Java Implementation for Teaching CLP
Ilaria De Crescenzo and Salvatore La Torre.
Winning CaRet Games with Modular Strategies
Stefania Costantini, Niva Florio and Alessio Paolucci.
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis
Paola Villa and Elena Camossi.
Semantic-based Suspicious Pattern Discovery from Maritime Itineraries
Fabrizio Riguzzi.
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming
Neng-Fa Zhou and Agostino Dovier.
A Tabled Prolog Program for Solving Sokoban
Annamaria Basile, Maria Rosa Felice and Alessandro Provetti.
Formalization and Automated reasoning about a Complex Signalling Network