Login / Signup
Specifying and Verbalising Answer Set Programs in Controlled Natural Language.
Rolf Schwitter
Published in:
CoRR (2018)
Keyphrases
</>
high level
answer set programs
controlled natural language
answer set programming
answer sets
logic programs
semantic representation
stable models
natural language
logic programming
answer questions
formal language
update operators
databases