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
Author: Editors
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
THIRD INTERNATIONAL ALP/GULP SPRING SCHOOL ON COMPUTATIONAL LOGIC, ISCL 2011
by Paolo Torroni,
University of Bologna, Italy
2000 visits
Dear friends, yesterday we have reached the limit of 2000 visits (more than 1000 visitors) to the new website of the Newsletter. Thanks a lot Agostino and Enrico
MG-65: Symposium on Constructive Mathematics in Computer Science
Symposium for celebrating the 65th birthday of Michael Gelfond.
October 25-26 Lexington, KY.
Details here: http://marcy.cjb.net/MG65/
27th International Conference on Logic Programming
by Yuliya Lierler,
University of Kentucky, USA
Declarative Aspects of Multicore Programming (DAMP 2011)
by Manuel Carro,
Universidad Politecnica de Madrid, Spain