Login / Signup
Faceted Answer-Set Navigation.
Christian Alrabbaa
Sebastian Rudolph
Lukas Schweizer
Published in:
RuleML+RR (2018)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
dynamic taxonomies
normal logic programs
answer set programs
fixpoint
loop formulas
knowledge representation
stable models