A decidable first-order logic for knowledge representation

MaRDI QIDQ5740451zbMATH OpenFDO

Authors Peter F. Patel-Schneider

Publication date 26 July 2016

zbMATH Keywords

knowledge representationmodel-theoretic semanticsdecidable first-order logics

Mathematics Subject Classification ID

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

Recommendations

• A decidable first-order logic for knowledge representation
• scientific article; zbMATH DE number 549986
• Modal logics for knowledge representation systems
• Limited reasoning in first-order knowledge bases
• scientific article; zbMATH DE number 92609

Cited in

(15)

• scientific article; zbMATH DE number 517020 (Why is no real title available?)
• scientific article; zbMATH DE number 4045235 (Why is no real title available?)
• Limited reasoning in first-order knowledge bases
• A decidable first-order logic for knowledge representation
• A four-valued semantics for terminological logics
• scientific article; zbMATH DE number 4094860 (Why is no real title available?)
• scientific article; zbMATH DE number 5827849 (Why is no real title available?)
• Computational complexity of terminological reasoning in BACK
• Inexpressiveness of first-order fragments
• A practical integration of first-order reasoning and decision procedures
• A First-order Logic for Reasoning about Knowledge and Probability
• scientific article; zbMATH DE number 1149405 (Why is no real title available?)
• Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm
• Subsumption computed algebraically
• Toward effective knowledge acquisition with first-order logic induction.

This page was built for publication: A decidable first-order logic for knowledge representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740451)