Login / Signup
On Equivalence and Inconsistency of Answer Set Programs with External Sources.
Christoph Redl
Published in:
AAAI (2017)
Keyphrases
</>
answer set programs
answer set programming
answer sets
answer set semantics
logic programs
logic programming
stable models
classical logic
update operators
machine learning
reasoning tasks
event calculus
integrity constraints
update semantics