Composition Operators for Logic Theories

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 117-134
https://doi.org/10.1007/978-3-642-76274-1_7

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

A transformational approach to negation in logic programming
The Journal of Logic Programming, 1990
Foundations of Logic Programming
Published by Springer Nature ,1987
Closures and fairness in the semantics of programming logic
Theoretical Computer Science, 1984
Negation as Failure
Published by Springer Nature ,1978
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM, 1976