Contrastive Explanations for Answer-Set Programs.

Thomas Eiter Tobias Geibinger Johannes Oetsch

Published in: JELIA (2023)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
domain theory
expert systems
reasoning tasks
event calculus
artificial intelligence
relational databases
knowledge representation
temporal reasoning