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
Dario Campagna and Andrea Formisano. ProdProc - Product and Production Process Modeling and Configuration
Marco Gavanelli, Marco Alberti and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF
Raffaella Gentilini. A Note on the Approximation of Mean-Payoff Games
Dmitry Solomakhin, Alessandro Mosca and Enrico Franconi. Logic-based reasoning support for SBVR
Tania Di Mascio, Rosella Gennari and Pierpaolo Vittorini. TERENCE: An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators
Domenico Cantone and Marianna Nicolosi Asmundo. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
Francesca Alessandra Lisi and Umberto Straccia. An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics
Onofrio Febbraro, Kristian Reale and Francesco Ricca. Testing ASP programs in ASPIDE
Maurizio Gabbrielli, Jacopo Mauro and Massimo Morara. Solving XCSP problems by using Gecode
Francesco Mele and Antonio Sorgente. The temporal representation and reasoning of complex events
Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato. Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods
Alessio Stalla, Davide Zanucco, Agostino Dovier and Viviana Mascardi. PrettyCLP: a Light Java Implementation for Teaching CLP
Stefania Costantini and Andrea Formisano. Enhanced Weight Constraints in ASP
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
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
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
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio Senni. Controlling Polyvariance for Specialization-based Verification
Emanuele De Angelis, Alberto Pettorossi and Maurizio Proietti. Synthesizing Concurrent Programs using Answer Set Programming
Dario Della Monica, Mimmo Parente and Margherita Napoli. On a Logic for Coalitional Games with Priced-Resource Agents
Stefano Bistarelli, Paola Campli and Francesco Santini. Finding Partitions of Arguments with Dung’s Properties via SCSPs
Mario Alviano, Wolfgang Faber and Stefan Woltran. Complexity of Super-Coherence Problems in Answer Set Programming
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
Fabrizio Riguzzi. MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming
Marco Alberti, Marco Gavanelli and Evelina Lamma. The CHR-based Implementation of an Abductive System
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