4th Workshop on Answer-Set Programming and Other Computing Paradigms (ASPOCP11)
by
Marcello Balduccini, Eastman Kodak, USA
Stefan Woltran, Vienna University of Technology, Austria
Category: ALP ISSUE
Report of the 18th Prolog Programming Contest
By Tom Schrijvers, U. Gent, Belgium
Editorial, June 2011
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?
Mosquitoes busters
By Paolo Baldan, Univ. of Padova, and Roberto Bruni, Univ. of Pisa
CLP(FD) Systems Foreword
By Roman Bartak and Tom Schrijvers
Probabilistic Prolog Systems
Probabilistic Prolog Systems, by Luc De Raedt, Angelika Kimmig, Vitor Santos Costa (and many others)
Constraint Logic Programming in SWI-Prolog
By Markus Triska
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.
Finite Domain Constraints in SICStus Prolog
By Mats Carlsson, SICS
BPSolver’s Solutions to the Third ASP Competition Problems
By Neng-Fa Zhou, Agostino Dovier, and Yuanlin Zhang