Engineering of logics for the content-based representation of information

DOI10.1007/3-540-45610-4_3MaRDI QIDQ4808735zbMATH OpenFDO

Authors Franz Baader

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2378/23780023.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Reasoning with expressive description logics: Theory and practice
• Mechanizing Mathematical Reasoning
• Automated Reasoning with Analytic Tableaux and Related Methods
• Knowledge representation, ontologies, and the semantic web

Cited in

(2)

• Logics in Artificial Intelligence
• Semantic modelling and reasoning for context information in infrastructure networks

This page was built for publication: Engineering of logics for the content-based representation of information

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