ILP Application Prize and Best Student Paper Awards
02 April 2007
A paper written by Dr. Kerstin Eder, Professor Peter Flach and Hsiou-Wen Hsueh, has won the "ILP 2006 Application Prize" and the "Best Student Paper" Awards.
The paper is titled "Towards Automating Simulation-Based Design Verification using ILP", and was acknowledged as a novel application of Inductive Logic Programming (ILP) in the new application domain of Hardware Design Verification. This paper was presented in The 16th International Conference on Inductive Logic Programming (ILP 2006), and the authors have been invited to publish it in the LNAI series of Springer-Verlag.