Category: ALP ISSUE

LPNMR 2011: Accepted papers

Accepted papers of LPNMR 2011,
11th International Conference on Logic Programming and Nonmonotonic Reasoning,
Vancouver, May 16-19, 2011

Editorial, December 2010

Dear LP-ers, 2010 is over. An important year for Logic Programming. A successful ICLP conference in Edinburgh with the novelty of the proceedings published in TPLP (thanks to Manuel, Torsten, and in particular, Illka) that allowed us to improve the…

Datalog+/-: A New Family of Languages for Ontology Querying

By Andrea Calì (2,3), Georg Gottlob (1,3),
Thomas Lukasiewicz (1), and Andreas Pieris (1)
(1) Computing Laboratory University of Oxford, UK
(2) Department of Information Systems and Computing Brunel University, UK
(3) Oxford-Man Institute of Quantitative Finance University of Oxford, UK

Repair of service-based processes – an application area for logic programming

The handling of failing process executions has a long history in computer science. In this article we introduce methods for the diagnosis and repair of failed service-based processes and describe how logic programming can be successfully applied [….]

By Gerhard Friedrich Universitaet Klagenfurt