Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... programs -- Lindenbaum-algebraic semantics of logic programs -- Conditional logics and cumulative logics...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... with explicit negation -- Computing answers for disjunctive logic programs -- Expanding logic programs...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “..., provability, and logic programs -- Revision specifications by means of programs -- Revision of non-monotonic...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
“... in logic programming, circumscription, default logic, action theory, causal reasoning and answer set...”
Cover Image
Read Now

5
Published 2014
Springer International Publishing
“..., object-oriented programming, functional programming, logic programming, term-rewriting, attribute...”