Modular Logic Programming and Generalized Quantifiers

Thomas Eiter, Georg Gottlob, Helmut Veith. Modular Logic Programming and Generalized Quantifiers. In Jürgen Dix, Ulrich Furbach, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Volume 1265 of Lecture Notes in Computer Science, pages 290-309, Springer, 1997.

Abstract

Abstract is missing.