Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking

Knut Hinkelmann. Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking. In Deductive Databases / Abduction in Deductive Databases. pages 127-141, 1995.

Abstract

Abstract is missing.