Modular Logic Programming and Generalized Quantifiers (1997)

Cached

Download Links

by Thomas Eiter , Georg Gottlob , Helmut Veith
Venue:PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR-97), NUMBER 1265 IN LNCS
Citations:35 - 12 self