Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... by Losing Information -- High-Level Logic Programming -- Clausal Deductive Databases and a General Framework...”
Cover Image
Read Now

2
Published 1993
Springer London
Table of Contents: “... Logic: The First-Order Case -- Modelling Database Updates with Constraint Logic Programming -- A...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of recursive production rules execution -- On the monotonicity of (LDL) logic programs with set -- Semantic...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Relations with Functional Dependencies -- Querying Incomplete Data with Logic Programs: ER Strikes Back...”