as Input Language for Answer Set Solvers.

Kylian Van Dessel Jo Devriendt Joost Vennekens

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

Keyphrases

answer set solvers
answer set programming
answer set programs
natural language
answer sets
database systems
data model
database
search algorithm
query processing
programming language
logic programs
logic programming