Author of the publication

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)

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

Detecting Unsolvable Queries for Definite Logic Programs, , , and . J. Funct. Log. Program., (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)Detecting Unsolvable Queries for Definite Logic Programs., , , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 118-133. Springer, (1998)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)Executing Query Packs in ILP., , , , , and . ILP, volume 1866 of Lecture Notes in Computer Science, page 60-77. Springer, (2000)Query Transformations for Improving the Efficiency of ILP Systems., , , , , , , , and . J. Mach. Learn. Res., (2003)Fast Frequent Querying with Lazy Control Flow Compilation, , , and . CoRR, (2006)Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs, , , , , and . CoRR, (2011)Fast Query Evaluation with (Lazy) Control Flow Compilation., , and . ICLP, volume 3132 of Lecture Notes in Computer Science, page 240-253. Springer, (2004)Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach., and . LPAR, volume 822 of Lecture Notes in Computer Science, page 84-98. Springer, (1994)