1
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... inheritance network -- Logic programming debugger using control flow specification -- ALEX: The logic...

2
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... compilation method for parallel logic languages -- The art of building a parallel logic programming system...

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... knowledge base systems -- Elementary formal system as a logic programming language -- Debugger for a...

7
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Inductive Logic Programming Systems -- Discovery of a Set ofNominally Conditioned Polynomials --...

8
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... logic programs -- Iterative weighted least squares algorithms for neural networks classifiers -- Domains...