scientific article; zbMATH DE number 512988

zbMATH Open0789.68135MaRDI QIDQ4281697FDOQ4281697

Authors: Robert F. Stärk 

Publication date: 10 March 1994

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

non-monotonic logicfixpointsautoepistemic logic

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• Fixed points in propositional nonmonotonic logic
• Multi-valued autoepistemic 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 Q4281697)