Algebraic answer set programming.

Christian Antic

Published in: CoRR (2021)

Keyphrases

answer set programming
answer sets
logic programs
logic programming
constraint logic programming
answer set programs

reasoning tasks
meta level reasoning
stable model semantics
causal theories
higher order

tree decomposition
haplotype inference
knowledge representation
general purpose
knowledge base

stable models
disjunctive logic programming
software engineering
qualitative spatial and temporal reasoning
relational databases