The 1993 International Logic Programming Symposium

AI Magazine

The 1993 International Logic Programming Symposium was held in Vancouver, British Columbia, on 26-29 October. It presented the state of the art in logic programming, emphasizing the deliberate interaction with other fields, in particular, humanistic fields. Topics covered at the symposium included algorithmic analysis, programming methodologies, semantic analysis, deductive databases, and programming language design.




Grounding and Solving in Answer Set Programming

AI Magazine

Answer set programming is a declarative problem solving paradigm that rests upon a workflow involving modeling, grounding, and solving. While the former is described by Gebser and Schaub (2016), we focus here on key issues in grounding, or how to systematically replace object variables by ground terms in a effective way, and solving, or how to compute the answer sets of a propositional logic program obtained by grounding.


Review of Computing with Logic: Logic Programming with Prolog

AI Magazine

Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.