scientific article; zbMATH DE number 549992

MaRDI QIDQ4287511zbMATH OpenFDO

Authors Ilkka Niemelä

Publication date 12 April 1994

zbMATH Keywords

autoepistemic logicdecidabilityknowledge representationnonmonotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Autoepistemic logic
• scientific article; zbMATH DE number 500200
• scientific article; zbMATH DE number 97792
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning

Cited in

(12)

• Possible world semantics and autoepistemic reasoning
• On the computational complexity of assumption-based argumentation for default reasoning.
• Propositional default logics made easier: computational complexity of model checking.
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• All I know: A study in autoepistemic logic
• scientific article; zbMATH DE number 97788 (Why is no real title available?)
• scientific article; zbMATH DE number 97792 (Why is no real title available?)
• scientific article; zbMATH DE number 500200 (Why is no real title available?)
• scientific article; zbMATH DE number 517078 (Why is no real title available?)
• Autoepistemic logic
• On the parameterized complexity of non-monotonic logics
• General default logic

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