scientific article; zbMATH DE number 4206035

MaRDI QIDQ3355258zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

AI in databaseAutoepistemic logicclosed world assumptioncomplete databasedeductive databaseincomplete knowledgeintegrity constraintsmodal logicnonmonotonic logicnonstandard logicpossible worlds semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Database theory (68P15) 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 60835
• Autoepistemic logic
• scientific article; zbMATH DE number 1453056
• Operational concepts of nonmonotonic logics. II: Autoepistemic logic
• scientific article; zbMATH DE number 549998

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 Q3355258)