Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Set Grouping and Layering in Horn Clause Programs., and . ICLP, page 152-177. MIT Press, (1987)Towards a Real Horn Clause Language., and . VLDB, page 252-263. Morgan Kaufmann, (1988)A Logical Language for Data and Knowledge Bases., and . Computer Science Press, (1989)The LDL System Prototype., , , , , and . IEEE Trans. Knowl. Data Eng., 2 (1): 76-90 (1990)Stratification as a Design Principle in Logical Query Langugages.. DBPL, page 342-356. Morgan Kaufmann, (1989)Database Updates in Logic Programming., and . PODS, page 251-262. ACM, (1988)Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases., and . CADE, volume 138 of Lecture Notes in Computer Science, page 342-359. Springer, (1982)Querying Design and Planning Databases., , and . DOOD, volume 566 of Lecture Notes in Computer Science, page 524-545. Springer, (1991)Non-Deterministic Choice in Datalog., and . JCDKB, page 416-424. Morgan Kaufmann, (1988)Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs., and . IJCAI, page 25-28. William Kaufmann, (1983)