Deductive Databases and Logic Programming: Abduction in Deductive Databases andKnowledge-Based Systems. Proceedings of the ICLP'95 Joint Workshop. Held in Shonan Village Center, Japan on June 17, 1995

摘要

;Contents: Semantics of Logic Programs; Query Optimization in DeductiveDatabases; Implementation Techniques; Updates and Integrity Checking; Belief Revision; and Metaprogramming Techniques. (Copyright (c) 1995-GMD-Forshungzentrum Imformations technik.)