In this paper, we discuss how statements about defaults and various forms of exceptions to them can be incorporated into an existing controlled natural language. We show how these defaults and exceptions are translated and represented in the answer set programming paradigm in order to support automated reasoning.
|Number of pages||5|
|Journal||ALTA 2013 : Proceedings of the Australasian Language Technology Association Workshop|
|Publication status||Published - 2013|
|Event||Australasian Language Technology Workshop (11th : 2013) - Brisbane|
Duration: 4 Dec 2013 → 6 Dec 2013