Answer Set Programming - Related with Other Solving Paradigms.

Published in: Künstliche Intell. (2018)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
constraint logic programming
reasoning tasks
answer set programs
stable model semantics
update semantics
causal theories
high level
tree decomposition
combinatorial optimization
stable models
meta level reasoning