Login / Signup
Answer Set Programming in Proofdoku.
Adam M. Smith
Published in:
AIIDE Workshops (2017)
Keyphrases
</>
answer set programming
logic programs
answer sets
logic programming
constraint logic programming
answer set programs
stable models
stable model semantics
causal theories
tree decomposition
knowledge representation
reasoning tasks
meta level reasoning
fixpoint
update semantics
disjunctive logic programming