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…
Author: Editors
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
Workshop Report: WCB10
by Alessandro Dal Palù, Univ. of Parma, Italy, and Sebastian Will, MIT.
See http://wcb10.dimi.uniud.it/ for proceedings, slides, and pictures.
Report of ILP 2010
By Francesca A. Lisi, Università degli Studi di Bari “A. Moro”, Italy
Modelling and analysis of real time systems with Logic Programming and Constraints
Gourinath Banda, Roskilde University, Denmark
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science (EPTCS) was
launched by Rob van Glabbeek in 2009, as an initiative to have
proceedings of all worthy workshops in Theoretical Computer Science
freely available on-line …
ICLP10: Accepted papers
Full papers of the 26th International Conference on Logic Programming have been published in a Special issue of TPLP. See here for the list. Technical Communications and invited speaker notes of the 26th International Conference on Logic Programming have been…
How to Solve it With B-Prolog?
by Neng-Fa Zhou, Brooklyn College, CUNY, USA
Salvador Abreu, University of Evora, Portugal
Ulrich Neumerkel, TU Wien, Austria