A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases

Andreas Behrend. A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases. In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers. Volume 7773 of Lecture Notes in Computer Science, pages 77-92, Springer, 2011. [doi]

Abstract

Abstract is missing.