by Santiago Escobar
Universidad Politecnica de Valencia
Spain
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
Call for Papers: 9th International Workshop on Declarative Agent Languages and Technologies
By Sebastian Sardina (RMIT University, Australia)
Call for Papers: 11th International Conference on Logic Programming and Nonmonotonic Reasoning
Vancouver, BC, Canada, 16-19 May, 2011
http://sites.google.com/site/lpnmr11
The Third Answer Set Programming Competition
by Giovambattista Ianni,
Universita’ della Calabria,
Italy