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…
Category: ALP ISSUE
Book Announcement: A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
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
The Third Answer Set Programming Competition
by Giovambattista Ianni,
Universita’ della Calabria,
Italy
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/
Editorial, September 2010
By Agostino Dovier and Enrico Pontelli Dear LPers, Welcome to the new issue of the ALP Newsletter. We have been busy over the summer working on refining and enhancing the new version of the newsletter, and we are excited about…
Nonmonotonicity of Probabilistic Reasoning
by Michael Gelfond and Nelson J. Rushton,
Department of Computer Science, Texas Tech University
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
By Gourinath Banda, Roskilde University, Denmark, and John P. Gallagher Roskilde University, Denmark and IMDEA Software, Madrid.
Symposium on the Occasion of Maurice Bruynooghe’s 60th Birthday
By Luc De Raedt
K.U.Leuven, Belgium
