Journal of Logic and Computation
Volume 25
Issue 6
December 2015
online since December 12, 2013
doi:10.1093/logcom/ext069
Preface
Francesca A. Lisi (guest editor)
Special Issue Articles:
Elio Lanzarone: a life for science
Stefania Costantini and Federico Gobbo
J Logic Computation first published online December 9, 2013 doi:10.1093/logcom/ext064
Efficient generation of test data structures using constraint logic programming and program transformation
Fabio Fioravanti, Maurizio Proietti and Valerio Senni
J Logic Computation first published online November 28, 2013 doi:10.1093/logcom/ext071
An ASP approach for the valves positioning optimization in a water distribution system
Marco Gavanelli, Maddalena Nonato and Andrea Peano
J Logic Computation first published online December 4, 2013 doi:10.1093/logcom/ext065
Rank and simulation: the well-founded case
Raffaella Gentilini, Carla Piazza and Alberto Policriti
J Logic Computation first published online December 3, 2013 doi:10.1093/logcom/ext066
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
Laura Giordano, Alberto Martelli and Daniele Theseider Dupre
J Logic Computation first published online December 11, 2013 doi:10.1093/logcom/ext067
Multi-engine ASP solving with policy adaptation
Marco Maratea, Luca Pulina and Francesco Ricca
J Logic Computation first published online December 11, 2013 doi:10.1093/logcom/ext068