By M. Hanus,
University of Kiel,
Germany
CFP: International Symposium on Logic-Based Program Synthesis and Transformation
by German Vidal,
Universidad Politecnica de Valencia,
Spain
Editorial, December 2010
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…
Book Announcement: A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
CFP: Functional and (Constraint) Logic Programming
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