Skip to main content

Modular Logic Programming and Generalized Quantifiers

Thomas Eiter‚ Georg Gottlob and Helmut Veith

Book Title
Logic Programming and Nonmonotonic Reasoning‚ 4th International Conference‚ LPNMR'97‚ Dagstuhl Castle‚ Germany‚ July 28−31‚ 1997‚ Proceedings
Editor
Jürgen Dix and Ulrich Furbach and Anil Nerode
ISBN
3−540−63255−7
Pages
290−309
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1265
Year
1997