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

Fast Frequent Querying with Lazy Control Flow Compilation., , , and . Theory Pract. Log. Program., 7 (4): 481-498 (2007)Detecting Unsolvable Queries for Definite Logic Programs, , , and . J. Funct. Log. Program., (1999)Executing Query Packs in ILP., , , , , and . ILP, volume 1866 of Lecture Notes in Computer Science, page 60-77. Springer, (2000)Detecting Unsolvable Queries for Definite Logic Programs., , , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 118-133. Springer, (1998)Constraint-based termination analysis of logic programs., , and . ACM Trans. Program. Lang. Syst., 21 (6): 1137-1195 (1999)Detecting Unsolvable Queries for Definite Logic Programs, , , and . CoRR, (2000)A Finite Domain CLP Solver on Top of Mercury., , and . New Trends in Constraints, volume 1865 of Lecture Notes in Computer Science, page 256-273. Springer, (1999)Two Advanced Transormations for Improving the Efficiency of an ILP system., , , , and . ILP Work-in-progress reports, volume 35 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Query Transformations for Improving the Efficiency of ILP Systems., , , , , , , , and . J. Mach. Learn. Res., (2003)An Open Ended Tree., and . Theory Pract. Log. Program., 3 (3): 377-385 (2003)