Journal of Logic Programming, Volume 9

Volume 9, Number 1, July 1990

E. W. Elcock: Absys: The First Logic Programming Language - A Retrospective and a Commentary. 1-17 BibTeX
Mary-Angela Papalaskari, Scott Weinstein: Minimal Consequence in Sentential Logic. 19-31 BibTeX
Taisuke Sato: Completed Logic Programs and their Consistency. 33-44 BibTeX
Jack Minker, Arcot Rajasekar: A Fixpoint Semantics for Disjunctive Logic Programs. 45-74 BibTeX
Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur: Inference Rules and Proof Procedures for Inequations. 75-104 BibTeX
Edward P. Stabler Jr.: Representing Knowledge with Theories about Theories. 105-138 BibTeX

Grigori Mints, Enn Tyugu: Editorial. 139-140 BibTeX
I. O. Babaev: Problem Specification and Program Synthesis in the System SPORA. 141-157 BibTeX
Max I. Kanovich: Efficient Program Synthesis in Computational Models. 159-177 BibTeX
Grigori Mints, Enn Tyugu: Propositional Logic Programming and Priz System. 179-193 BibTeX
V. J. Mikhailov, N. K. Zamov: Deductive Synthesis of Solutions for Technological Tasks. 195-220 BibTeX
Efim B. Kinber, Alvis Brazma: Models of Inductive Synthesis. 221-233 BibTeX
S. N. Vassilyev: Machine Synthesis of Mathematical Theorems. 235-266 BibTeX
Vladimir S. Neiman: Refutation Search for Horn Sets by a Subgoal-Extraction Method. 267-284 BibTeX