A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning

Philipp Hanschke. A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning. Volume 122 of DISKI, Infix, 1996.

Abstract

Abstract is missing.