parsing combinatory categorial grammar via planning in answer set programming .
ParamILS: an automatic algorithm configuration framework