Looking for 1 or 2 software engineers for a long-term consulting engagement in the Washington, DC, area. The application provides a reasoning component to a parallel high-transaction rate VLDB application environment. Other components are Java, C, .Net and script languages…
Author: Editors
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
2012 ACP Summer School in Constraint Programming
ACP Summer School, Wroclaw, Poland, Sept 24-28, 2012
FLOPS 2012 – Call for Participation
FLOPS 2012, May 23-25, Kobe, Japan – call for participation. Communciated by Tom Schrijvers
ISO Prolog new document
Communicated by Jonathan Hodgson
ICLP2012 – Extended Deadline
ICLP2012 – Budapest September 4-8, 2012. Extended Deadline: March 18 registration, March 25 Submission.
3 Doctoral (PostDoctoral) Positions in KRR/ASP
By Torsten Schaub,
University of Potsdam,
Germany
Summer School: REASONING WEB 2012
by Thomas Krennwallner,
Technical University of Vienna, Austria