Towards causality-based conflict resolution in answer set programs

DOI10.1007/978-3-031-15707-3_27MaRDI QIDQ2694586zbMATH OpenOpenAlexFDO

Authors Andre Thevapalan, Konstantin Haupt, 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

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• On properties of update sequences based on causal rejection
• Stepwise debugging of answer-set programs

Cited in

(4)

• On establishing robust consistency in answer set programs
• Characterizing causal action theories and their implementations in answer set programming
• Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning
• Representing the language of the causal calculator in answer set programming

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2694586)