by Sven Hager and Carl Friedrich Bolz
Heinrich-Heine Universitat Dusseldorf,
STUPS Group,
Germany
Reachability Analysis via Specialization of Constraint Logic Programs
By Fabio Fioravanti, University `G. D’Annunzio’, Pescara, Italy
Alberto Pettorossi, Valerio Senni, University of Rome Tor Vergata, Rome, Italy
Maurizio Proietti, CNR-IASI, Rome, Italy
Finding Answers and Generating Explanations for Complex Biomedical Queries using Answer Set Programming
By Esra Erdem
Sabanci University
Istanbul, Turkey.
Conference report: CILC2011
CILC2011, 26th Italian Meeting on Computational Logic, by Fabio Fioravanti,
University “G. d’Annunzio” of Chieti – Pescara (Italy).
Conference Report: WCB11
By Andrea Formisano, Univ. of Perugia (IT), Alessandro Dal Palù, Univ. of Parma (IT), and Agostino Dovier, Univ. of Udine (Italy).
Answer Set Solving in Practice – A Tutorial at IJCAI 2011
by Martin Gebser and Torsten Schaub, University of Potsdam, Germany