Call for papers: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP 2013, Madrid, Spain, September 16-18, 2013
Author: Editors
The European Master’s Program in Computational Logic
The European Master’s Program in Computational Logic, by Steffen Hoelldobler, TU Dresden
CFP: RR 2013
CALL FOR PAPERS:
RR 2013,
The 7th International Conference on Web Reasoning and Rule Systems,
Mannheim, Germany, July 27-29, 2013
Editorial, December 2012
Dear LPers, We are both celebrating the year++ operations with the “Udine” part of our families and organizing jointly this issue for you. Let us start focusing on the two call for papers: ICLP 2013 in the fascinating Istanbul, Turkey…
Computational Logic in Hydroinformatics: the Case of the Optimal Location of Isolation Valves
By Marco Gavanelli, Maddalena Nonato,
Andrea Peano, Univ. degli Studi di Ferrara, Italy
Frankenstein: A Tale of Horror and Logic Programming
By Vishwath Mohan and Kevin W. Hamlen
The University of Texas at Dallas
Resource Analysis in the COSTA System
By E. Albert, D. Alonso, P. Arenas, J. Correas, A. Flores, S. Genaim, M. Gómez-Zamalloa, A. Masud,
G. Puebla, J.M. Rojas, G. Román-Díez, and D. Zanardini, UCM and UPM
A new SPARQL specification and why it is relevant to the Logic Programming community
By Axel Polleres, Siemens AG Österreich After the World Wide Web Consortium (W3C) had already advanced 8 of its total SPARQL1.1 specifications to proposed recommentdations status (the last stage before becoming an official standard recommendation) earlier in November, finally also…
REPORT: RR 2012 Doctoral Consortium and Reasoning Web 2012 Summer School
By Majed Ayyad, Elena Botoeva, Cristina Civili, and Ario Santoso
DLV: new release
DLV: new release. By Francesco Calimeri and Nicola Leone