scientific article; zbMATH DE number 517020

MaRDI QIDQ4282546zbMATH OpenFDO

Authors Yihua Shi, S. Arikawa

Publication date 17 March 1994

zbMATH Keywords

first order predicate logicknowledge base management systemknowledge base systemtime-bounded reasoning

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Limited reasoning in first-order knowledge bases
• A decidable first-order logic for knowledge representation
• Limited reasoning in first-order knowledge bases with full introspection
• Decidability and incompleteness results for first-order temporal logics of linear time
• A decidable first-order logic for knowledge representation

Cited in

(1)

• The complexity of reasoning about knowledge and time. I: Lower bounds

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