Order-consistent programs are cautiously monotonic

DOI10.1017/S1471068401001144zbMATH Open1066.68517MaRDI QIDQ4452638FDOQ4452638

Authors Hudson Turner

Publication date 1 March 2004

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

zbMATH Keywords

stable modelsanswer sets

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Completed logic programs and their consistency
• scientific article; zbMATH DE number 517024
• Inference of monotonicity constraints in Datalog programs
• scientific article; zbMATH DE number 1931679
• Preferred answer sets for ordered logic programs

Cited in

(1)

• Logic programming and knowledge representation---The A-Prolog perspective

This page was built for publication: Order-consistent programs are cautiously monotonic

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