Volume 13, Number 1, 1994
: Autoepistemic Logic of First Order and Its Expressive Power.
C. A. Johnson
: On the Termination of Clause Graph Resolution.
, Katsumi Inoue
: An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.
Volume 13, Number 2, 1994
Mark E. Stickel
: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.
Volume 13, Number 3, 1994
: A Tableaux Prover for Domain Minimization.
: Tableaux-based Theorem Provers: Systems and Implementations.
The information on this page was provided by Camilla Schwind