Two results for prioritized logic programming

DOI10.1017/S1471068402001552MaRDI QIDQ4452603zbMATH OpenOpenAlexFDO

Authors Yan Zhang

Publication date 1 March 2004

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

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

zbMATH Keywords

knowledge representationnonmonotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• The characterization on the uniqueness of answer set for prioritized logic programs
• Reasoning with prioritized defaults
• scientific article; zbMATH DE number 1249652
• scientific article; zbMATH DE number 1407674
• scientific article; zbMATH DE number 1748571

Cited in

(6)

• Prioritized logic programming and its application to commonsense reasoning
• Solving logic program conflict through strong and weak forgettings
• Alternating fixpoint theory for logic programs with priority
• The characterization on the uniqueness of answer set for prioritized logic programs
• A brief history of updates of answer-set programs
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

This page was built for publication: Two results for prioritized logic programming

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