On establishing robust consistency in answer set programs

DOI10.1017/S1471068422000357MaRDI QIDQ7027179zbMATH OpenFDO

Authors Andre Thevapalan, Gabriele Kern-Isberner

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068422000357

zbMATH Keywords

answer-set programmingconflictsconsistencycontradictionsinteractionslogic programming

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• A logic for default reasoning
• Characterising and explaining inconsistency in logic programs
• Dynamic updates of non-monotonic knowledge bases
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 43754 (Why is no real title available?)
• On properties of update sequences based on causal rejection
• On the existence of stable models of non-stratified logic programs
• The well-founded semantics for general logic programs
• Three-valued nonmonotonic formalisms and semantics of logic programs
• Towards causality-based conflict resolution in answer set programs

This page was built for publication: On establishing robust consistency in answer set programs

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