A decidable first-order logic for knowledge representation
From MaRDI portal
Publication:5740451
Recommendations
Cited in
(17)- Computational complexity of terminological reasoning in BACK
- A four-valued semantics for terminological logics
- Subsumption computed algebraically
- Limited reasoning in first-order knowledge bases
- Toward effective knowledge acquisition with first-order logic induction.
- A decidable first-order logic for knowledge representation
- scientific article; zbMATH DE number 5827849 (Why is no real title available?)
- scientific article; zbMATH DE number 4045235 (Why is no real title available?)
- scientific article; zbMATH DE number 4094860 (Why is no real title available?)
- scientific article; zbMATH DE number 517020 (Why is no real title available?)
- scientific article; zbMATH DE number 549986 (Why is no real title available?)
- scientific article; zbMATH DE number 569773 (Why is no real title available?)
- scientific article; zbMATH DE number 1149405 (Why is no real title available?)
- A First-order Logic for Reasoning about Knowledge and Probability
- A practical integration of first-order reasoning and decision procedures
- Inexpressiveness of first-order fragments
- Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm
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)
