By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
Category: ALP ISSUE
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.
Editorial, December 2014
By Agostino Dovier and Enrico Pontelli
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato. CMU @ Quatar Campus
AspCcgTk: Towards Syntactic Parsing with Semantic Disambiguation by Means of Declarative Programming
By Yuliya Lierler and Peter Schüller. Communicated by Paul Tarau.
Semantics at Scale: When Distributional Semantics meets Logic Programming
By André Freitas and João C. Pereira da Silva. Communicated by Alessandra Mileo and Thomas Kreenwalner
Automatic Integration of Hybrid Java-Prolog Entities with LogicObjects
Communicated by Paul Tarau
Editorial, September 2014
Dear LPers, We start with a mournful question: Did Prolog pass away? Some posters outside ECAI 2014 in Prague seem to suggest this (they also suggest that Prolog’s history goes back in time much earlier than we all thought…) First of all,…
MiniSAT(ID) for satisfiability checking and constraint solving
By Broes De Cat, Bart Bogaerts, and Marc Denecker. Communicated by Marcello Balduccini and Tran Cao Son.
ICLP 2014 Report
By Tom Schrijvers and Michael Leuschel