A decidable first-order logic for knowledge representation

zbMATH Open1341.03037MaRDI QIDQ5740451FDOQ5740451

Peter F. Patel-Schneider

Publication date: 26 July 2016

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

Cited In (15)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Limited reasoning in first-order knowledge bases
• A decidable first-order logic for knowledge representation
• A four-valued semantics for terminological logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inexpressiveness of first-order fragments
• Computational complexity of terminological reasoning in BACK
• A practical integration of first-order reasoning and decision procedures
• A First-order Logic for Reasoning about Knowledge and Probability
• Title not available (Why is that?)
• 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)