scientific article; zbMATH DE number 67507

zbMATH Open0742.68055MaRDI QIDQ4012248FDOQ4012248

Authors Gerhard Lakemeyer 

Publication date 27 September 1992

zbMATH Keywords

first-order knowledge basesbelief and only-believing logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• Limited reasoning in first-order knowledge bases
• Limited reasoning in first-order knowledge bases with full introspection
• scientific article; zbMATH DE number 549986
• scientific article; zbMATH DE number 3883646
• On the decidability and complexity of reasoning about only knowing

Cited in

(1)

• Limited reasoning in first-order knowledge bases with full introspection

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