Answer-Set Programs for Repair Updates and Counterfactual Interventions.

Leopoldo Bertossi

Published in: CoRR (2022)

Keyphrases

answer set programs
answer set programming
update semantics
answer sets
logic programs
update operators
stable models
logic programming
event calculus
machine learning
artificial intelligence
query language
logical framework