By Neng-Fa Zhou, Agostino Dovier, and Yuanlin Zhang
Category: Feature Articles
Natural Language Processing With Prolog in the IBM Watson System
By Adam Lally, IBM Thomas J. Watson Research Center, and Paul Fodor, Stony Brook University
A Pearl on SAT Solving in Prolog (extended abstract)
By Jacob M. Howe, Department of Computing, City University London, and Andy King, School of Computing, University of Kent, Canterbury.
Concurrent Programming Constructs and First-Class Logic Engines
By Paul Tarau, Department of Computer Science and Engineering, University of North Texas, Denton, Texas.
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
Repair of service-based processes – an application area for logic programming
The handling of failing process executions has a long history in computer science. In this article we introduce methods for the diagnosis and repair of failed service-based processes and describe how logic programming can be successfully applied [….]
By Gerhard Friedrich Universitaet Klagenfurt
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.
25 Years of Applications of Logic Programming in Italy
Alessandro Dal Palù Dip. di Matematica, Università di Parma (Italy)
Paolo Torroni DEIS, Università di Bologna (Italy)
The Autonomous Agent Architecture
Marcello Balduccini
Eastman Kodak Company, USA
Michael Gelfond
Texas Tech University, USA
Communicated by: Francesca Toni