External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 12, Issue 3-4

    141 -- 187Teodor C. Przymusinski. Well-founded and Stationary Models of Logic Programs
    189 -- 213Stefan Brass. Modular Specifications with Supernormal Defaults
    215 -- 229Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider. New Proofs in Default Logic Theory
    231 -- 263Reiner Hähnle. Many-Valued Logic and Mixed Integer Programming
    265 -- 289Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky. Towards Reasoning about Hoare Relations
    291 -- 322Tyko Straßen. Syntactical Models and Fixed Points for the Basic Logic of Proofs

    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
    runs on