Cumulative Inference Relations for JTMS and Logic Programming

Gerhard Brewka, David Makinson, Karl Schlechta. Cumulative Inference Relations for JTMS and Logic Programming. In Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt, editors, Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Volume 543 of Lecture Notes in Computer Science, pages 1-12, Springer, 1990.

Abstract

Abstract is missing.