By Adam Lally, IBM Thomas J. Watson Research Center, and Paul Fodor, Stony Brook University
By Jacob M. Howe, Department of Computing, City University London, and Andy King, School of Computing, University of Kent, Canterbury.
By Paul Tarau, Department of Computer Science and Engineering, University of North Texas, Denton, Texas.
Accepted papers of LPNMR 2011,
11th International Conference on Logic Programming and Nonmonotonic Reasoning,
Vancouver, May 16-19, 2011
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…
Economic University of Katowice, Poland.
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
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
by Giovambattista Ianni,
Universita’ della Calabria,
Symposium for celebrating the 65th birthday of Michael Gelfond.
October 25-26 Lexington, KY.
Details here: http://marcy.cjb.net/MG65/