Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.

Antonius Weinzierl

Published in: LPNMR (2017)

Keyphrases

answer sets
logic programs
search algorithm
answer set programming
search strategies
logic programming
search space
search strategy
artificial intelligence
objective function
relational databases
query language
data exchange
search methods
counter examples