scientific article; zbMATH DE number 4210121

MaRDI QIDQ3358719zbMATH OpenFDO

Authors Li Yan Yuan, Jia-Huai You

Publication date 1990

zbMATH Keywords

circumscriptiondeductive databaseslogic programming with negationnonmonotonic reasoningstable model semantics

Mathematics Subject Classification ID

Other applications of logic (03B80) Logic programming (68N17) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 67498
• scientific article; zbMATH DE number 1090099
• Computing circumscriptive databases
• scientific article; zbMATH DE number 640290
• Some computational aspects of circumscription

Cited in

(6)

• A three-valued semantics for deductive databases and logic programs
• Computing circumscriptive databases
• Circular discernment in completely extensive structures and how to avoid such circles generally
• scientific article; zbMATH DE number 67498 (Why is no real title available?)
• scientific article; zbMATH DE number 89001 (Why is no real title available?)
• Projection and scope-determined circumscription

This page was built for publication:

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