By François Bry and Sebastian Schaffert. Paper based on the invited talk given at ICLP 2012 where their paper of ICLP was recognized with the Test of Time Award.
Category: ALP ISSUE
Report: Warren Symposium 2012
By Enrico Pontelli,
New Mexico State University,
USA
ICLP: Test of Time Awards
By Agostino Dovier and Vitor Santos Costa
REPORT: ACP School in Wrocław
Report of the ACP School, by A. Dovier
Conference Report: KR 2012
by Thomas Eiter,
Technical University of Vienna,
Austria
Turing is Among Us
By Luis Moniz Pereira
Editorial, June 2012
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…
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…