By Michael Fink, Vienna University of Technology, Austria
Category: Feature Articles
Picat: A Logic-based Multi-paradigm Language
By Håkan Kjellerstrand, Malmoe, Sweden. Communicated by Tom Schrijvers and Roman Bartak
Probabilistic Inductive Logic Programming
By Fabrizio Riguzzi, Dipartimento di Matematica e Informatica, Univ. of Ferrara, Italy
Llama
By Marco Gavanelli
University of Ferrara
Italy
Linked Data, Logic Programming and Black Risotto
By A. Mileo and A. Hogan
DERI,
Ireland
Large Object Oriented Knowledge Bases: A Challenge for Reasoning Engines
By Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, and Tran Cao Son
Building the Knowledge Base System IDP3
By Marc Denecker, KU Leuven
Setting the stage for ASP functions
Pedro Cabalar Fernández, Department of Computer Science,
University of Corunna, SPAIN
Tor: Modular Search with Hookable Disjunction
By Benoit Desouter and Tom Schrijvers, Ghent University, Belgium
The SAT Compiler in B-Prolog
By Neng-Fa Zhou
CUNY Brooklyn College & Graduate Center.