By Benoit Desouter and Tom Schrijvers, Ghent University, Belgium
Feature Articles
The SAT Compiler in B-Prolog
by Editors • • Comments Off
By Neng-Fa Zhou
CUNY Brooklyn College & Graduate Center.
Computational Logic in Hydroinformatics: the Case of the Optimal Location of Isolation Valves
by Editors • • Comments Off
By Marco Gavanelli, Maddalena Nonato,
Andrea Peano, Univ. degli Studi di Ferrara, Italy
Frankenstein: A Tale of Horror and Logic Programming
by Editors • • Comments Off
By Vishwath Mohan and Kevin W. Hamlen
The University of Texas at Dallas
Resource Analysis in the COSTA System
by Editors • • Comments Off
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 Editors • • Comments Off
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…
Constraint Answer Set Programming
by Editors • • Comments Off
By Yuliya Lierler,
University of Nebraska at Omaha
Simulation Unification: Beyond Querying Semistructured Data
by Editors • • Comments Off
By François Bry and Sebastian Schaffert. Paper based on the invited talk given at ICLP 2012 where their paper of ICLP was recognized with the Test of Time Award.
SWI-Prolog: history and focus for the future
by Editors • • Comments Off
Jan Wielemaker on 25 years of SWI Prolog
Abstract Argumentation and Answer Set Programming
by Editors • • Comments Off
By Sarah Alice Gaggl, Stefan Woltran
Vienna University of Technology,
Austria