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

Just enough tabling., and . PPDP, page 78-89. ACM, (2004)Towards Flexible Graphical Communication Using Adaptive Diagrams., , and . ASIAN, volume 3321 of Lecture Notes in Computer Science, page 380-394. Springer, (2004)Termination Analysis with Types Is More Accurate., , and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 254-268. Springer, (2003)Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions., , , , , , and . IJCAI, page 1078-1085. ijcai.org, (2019)Efficient Representation of Adhoc Constraints., , and . IJCAI, page 1368-1369. Morgan Kaufmann, (2003)Flexible, Rule-Based Constraint Model Linearisation., , , and . PADL, volume 4902 of Lecture Notes in Computer Science, page 68-83. Springer, (2008)Checking modes of HAL programs., , , , and . Theory Pract. Log. Program., 5 (6): 623-668 (2005)The Chameleon Type Debugger (Tool Demonstration), , and . CoRR, (2003)Herbrand Constraints in HAL., , , , , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)Fragment-Based Planning Using Column Generation., , , and . ICAPS, AAAI, (2014)