by Agostino Dovier and Enrico Pontelli. Welcome to a new issue of your favorite newsletter. The summer is upon us, many of us are baking under unusually extreme temperatures. So what is more refreshing than a new edition of ICLP?
Read more »
Archive for June, 2011
Editorial, June 2011
Mosquitoes busters
By Paolo Baldan, Univ. of Padova, and Roberto Bruni, Univ. of Pisa
Read more »
CLP(FD) Systems Foreword
By Roman Bartak and Tom Schrijvers
Read more »
Probabilistic Prolog Systems
Probabilistic Prolog Systems, by Luc De Raedt, Angelika Kimmig, Vitor Santos Costa (and many others)
Read more »
Constraint Logic Programming in SWI-Prolog
By Markus Triska
Read more »
SAT solver of Howe & King as a logic program
by Włodzimierz Drabent, Institute of Computer Science, Polish Academy of Sciences, and IDA, Linköpings universitet, Sweden.
Read more »
Finite Domain Constraints in SICStus Prolog
By Mats Carlsson, SICS
Read more »
BPSolver’s Solutions to the Third ASP Competition Problems
By Neng-Fa Zhou, Agostino Dovier, and Yuanlin Zhang
Read more »
ICLP 2011 Accepted papers
Accepted papers of ICLP2011, 27th International Conference on Logic Programming, Lexington, KY, USA, July 6-10, 2011.
Read more »
TPLP Accepted papers
TPLP Accepted papers, (April-June 2011)
Read more »