Journal: Annals of Mathematics and Artificial Intelligence

Volume 12, Issue 1-2

1 -- 24Jack Minker. Overview of Disjunctive Logic Programming
25 -- 52Phan Minh Dung, Ngo Huu Liem. Negation as Failure for Disjunctive Logic Programming
53 -- 87Rachel Ben-Eliyahu, Rina Dechter. Propositional Semantics for Disjunctive Logic Programs
89 -- 116Michael Gelfond. Logic Programming and Reasoning with Incomplete Information
117 -- 140Bruce Spencer. Avoiding Duplicate Proofs with the Foothold Refinement