ICLP 2010 Best Student Paper Award for EMCL Student Christian Drescher
Congratulations to Christian Drescher who has received the well deserved prize for a project he undertook whilst visiting NICTA.
The EMCL student Mr Christian Drescher presented his paper on A Translational Approach to Constraint Answer Set Solving (Theory and Practice of Logic Programming (TPLP), Volume 10, (4-6): 465-480 (2010)) on the 26th International Conference on Logic Programming (ICLP 2010) in Edinburgh and won the Best Paper Award.
During a three-month stay at NICTA end of 2009 he investigated this new translational approach to constraint answer set solving under supervision of Peter Baumgartner and Toby Walsh. It is a new approach to enhancing answer set programming (ASP) with constraint processing techniques. It allows for solving interesting constraint satisfaction problems in ASP.
Christian Drescher implemented in a prototypical preprocessor for constraint answer set solving which can be applied to any ASP system and carried out experiments.