By Manuel Carro and Manuel Hermenegildo
Category: ALP ISSUE
From the Past… Workshop on Logic Programming for Intelligent Systems 1981
MetaProbLog
By Theofrastos Mantadelis, Univ of Porto, and Gerda Janssens, KU Leuven. Communicated by Vitor Santos Costa and Fabrizio Riguzzi.
Bound Founded Answer Set Programming
By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
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