Embedding prioritized circumscription in disjunctive logic programs

DOI10.1080/095281399146427MaRDI QIDQ4421251zbMATH OpenOpenAlexFDO

Authors Jianhua Chen

Publication date 2 November 2003

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/095281399146427

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1090099
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• Embedding circumscriptive theories in general disjunctive programs
• Logics in Artificial Intelligence
• Logic Programming

Cites work

• A logic for default reasoning
• An algorithm to compute circumscription
• Autoepistemic logic
• Circumscription - a form of non-monotonic reasoning
• Closed-world databases and circumscription
• Minimal belief and negation as failure
• On the relationship between circumscription and negation as failure
• Semantical considerations on nonmonotonic logic

Cited in

(7)

• scientific article; zbMATH DE number 4164169 (Why is no real title available?)
• Embedding circumscriptive theories in general disjunctive programs
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• Prioritized logic programming and its application to commonsense reasoning
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• Logics in Artificial Intelligence
• Logic Programming

This page was built for publication: Embedding prioritized circumscription in disjunctive logic programs

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