Dear LPers, ICLP 2012 is on its way, just a couple of months away; we are certain that while you are reading these words you are also busy finding flights and hotels to join us in beautiful Budapest. The program…
Category: ALP ISSUE
SWI-Prolog: history and focus for the future
Jan Wielemaker on 25 years of SWI Prolog
Abstract Argumentation and Answer Set Programming
By Sarah Alice Gaggl, Stefan Woltran
Vienna University of Technology,
Austria
ICLP 2012: Accepted papers
Ordering is according submission number. Full papers will be published in a special issue of TPLP. Technical communications instead will be published in a LIPICS (Schloss Dagstuhl) issue. Full papers Miguel Areias and Ricardo Rocha. Towards Multi-Threaded Local Tabling Using…
TOY: A CFLP Language and System
By I. Castiñeiras, J. Correas, S. Estévez-Martín, and F. Sáenz-Pérez (U.C. Madrid)
CILC 2012 – a quick report
CILC 2012 – a quick report. By Agostino Dovier
Editorial, March 2012
Dear LPers, In the last three months we posted several important announcements: various call for papers and positions, the Book Review of Luís Moniz Pereira on the Book by Bob Kowalski, and the new document for ISO Prolog (by Jonathan…
On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field
By Francesco Calimeri and Francesco Ricca, Univ. of Calabria and DLV Systems, Rende, Italy
Implementing Network Protocols as Distributed Logic Programs
By Boon Thau Loo, University of Pennsylvania
Book review: Computational Logic and Human Thinking: How to be Artificially Intelligent
by Luis Moniz Pereira
Universidade Nova de Lisboa,
Portugal