Compact Representation for Answer Sets of n-ary Regular Queries.

Kazuhiro Inaba Haruo Hosoya

Published in: CIAA (2009)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
query processing
query language
extended logic programs
answer set semantics
answer set programs
database
normal logic programs
fixpoint
stable models
database queries
general purpose
counter examples
natural language