Logic-based knowledge representation

DOI10.1007/3-540-48317-9_2MaRDI QIDQ4941839zbMATH OpenFDO

Authors Franz Baader

Publication date 19 March 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48317-9_2

zbMATH Keywords

description logicsknowledge representation languagemodal logicsnonmonotonic logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 125988
• Modal logics for knowledge representation systems
• scientific article; zbMATH DE number 1183264
• scientific article; zbMATH DE number 3876644
• scientific article; zbMATH DE number 4189231

Cited in

(27)

• Multi-layer logic - a predicate logic including data structure as knowledge representation language
• A kind of logical compilation for knowledge bases
• A logic-algebraic tool for reasoning with knowledge-based systems
• Kripke semantics for knowledge representation logics
• Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)
• A decidable first-order logic for knowledge representation
• Remarks on knowledge representation using predicate logic
• Knowledge representation and reasoning based on computability logic
• scientific article; zbMATH DE number 4176512 (Why is no real title available?)
• scientific article; zbMATH DE number 3876644 (Why is no real title available?)
• scientific article; zbMATH DE number 4168656 (Why is no real title available?)
• A PDL-Like Logic of Knowledge Acquisition
• Generalized Abstract Argumentation: Handling Arguments in FOL Fragments
• scientific article; zbMATH DE number 4106304 (Why is no real title available?)
• scientific article; zbMATH DE number 1183264 (Why is no real title available?)
• scientific article; zbMATH DE number 67968 (Why is no real title available?)
• scientific article; zbMATH DE number 125987 (Why is no real title available?)
• scientific article; zbMATH DE number 125988 (Why is no real title available?)
• The infinite variety of logics
• scientific article; zbMATH DE number 549989 (Why is no real title available?)
• A knowledge representation based on the Belnap's four-valued logic
• Logic programming and knowledge representation
• scientific article; zbMATH DE number 1926645 (Why is no real title available?)
• scientific article; zbMATH DE number 781332 (Why is no real title available?)
• A multi-dimensional terminological knowledge representation language
• scientific article; zbMATH DE number 4189231 (Why is no real title available?)
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning

This page was built for publication: Logic-based knowledge representation

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