Login / Signup
Accurate Computation of Sensitizable Paths Using Answer Set Programming.
Benjamin Andres
Matthias Sauer
Martin Gebser
Tobias Schubert
Bernd Becker
Torsten Schaub
Published in:
LPNMR (2013)
Keyphrases
</>
answer set programming
logic programs
logic programming
answer sets
reasoning tasks
causal theories
constraint logic programming
stable model semantics
answer set programs
knowledge representation
meta level reasoning
update semantics
tree decomposition
data mining
stable models