Specifying and Verbalising Answer Set Programs in Controlled Natural Language.

Published in: Theory Pract. Log. Program. (2018)

Keyphrases

answer set programs
controlled natural language
answer set programming
answer sets
logic programs
semantic representation
stable models
logic programming
natural language
formal language
answer questions
update operators
constraint satisfaction
propositional logic
data mining
reasoning tasks
machine learning