parsing combinatory categorial grammar via planning in answer set programming .
Stable models and an alternative logic programming paradigm