Annals of Mathematics and Artificial Intelligence, Volume 12

Volume 12, Number 1-2, 1994

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

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