@inproceedings{ef659de8544040a68a962555406b826e,
title = "Answer set programming via controlled natural language processing",
abstract = "Controlled natural languages are subsets of natural languages that can be used to describe a problem in a very precise way, furthermore they can often be translated automatically into a formal notation. We investigate in this paper how a controlled natural language can be used as a specification language for Answer Set Programming (ASP). ASP is a declarative approach to problem solving and has its roots in knowledge representation, logic programming, and constraint satisfaction. Solutions of ASP programs are stable models (= answer sets) that build the starting point for question answering. As a proof of concept, we translate a problem specification written in controlled natural language into an ASP program and compute a stable model that contains the answers to a number of questions.",
author = "Rolf Schwitter",
year = "2012",
doi = "10.1007/978-3-642-32612-7_3",
language = "English",
isbn = "9783642326110",
volume = "7427 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "26--43",
editor = "Tobias Kuhn and Fuchs, {Norbert E.}",
booktitle = "Controlled Natural Language - Third International Workshop, CNL 2012, Proceedings",
address = "United States",
note = "3rd International Workshop on Controlled Natural Language, CNL 2012 ; Conference date: 29-08-2012 Through 31-08-2012",
}