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

zbMATH Keywords

consistencyinteractionslogic programmingconflictsanswer-set programmingcontradictions

Mathematics Subject Classification ID

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

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)