Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strategy.

Elisa Böhl Sarah Alice Gaggl

Published in: LPNMR (2022)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set programs
answer set semantics
extended logic programs
fixpoint
normal logic programs
counter examples
search strategy
search strategies
logic program updates
knowledge base
search algorithm
dl programs