Volume 2,
Number 1,
April 1985
Volume 2,
Number 2,
July 1985
Volume 2, Number 3, October 1985
Volume 2, Number 4, December 1985
- Jack Minker, Donald Perlis:
Computing Protected Circumscription.
235-249
- Dov M. Gabbay:
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure.
251-283
- Van Tu Le:
Negation-As-Failure Rule for General Logic Programs With Equality.
285-294
- Melvin Fitting:
A Kripke-Kleene Semantics for Logic Programs.
295-312
Last update Tue Feb 14 04:20:42 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page