Author: Editors

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