Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Characterization of Active Databases -- Logic Programming: Implementations and Applications -- Fluents: A...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Logic Programming -- The Well-Founded Semantics Is the Principle of Inductive Definition...”