Login / Signup
Unifying Justifications and Debugging for Answer-Set Programs.
Carlos Viegas Damásio
João Moura Pires
Anastasia Analyti
Published in:
ICLP (Technical Communications) (2015)
Keyphrases
</>
answer set programs
answer sets
answer set programming
logic programs
logic programming
stable models
update operators
database
nonmonotonic reasoning
fixpoint
expert systems
integrity constraints