Towards causality-based conflict resolution in answer set programs

DOI10.1007/978-3-031-15707-3_27OpenAlexW4293180381MaRDI QIDQ2694586

Konstantin Haupt, Andre Thevapalan, Gabriele Kern-Isberner

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_27

zbMATH Keywords

consistencyanswer set programmingconflictscontradictionsinteractive conflict resolution

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites Work

• Unnamed Item
• On properties of update sequences based on causal rejection
• Stepwise debugging of answer-set programs

This page was built for publication: Towards causality-based conflict resolution in answer set programs