Annals of Mathematics and Artificial Intelligence, Volume 12

Volume 12, Number 1-2, 1994

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

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