Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554MaRDI QIDQ5479265zbMATH OpenOpenAlexFDO

Authors Hans Jürgen Ohlbach

Publication date 7 July 2006

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

Full work available at URL https://doi.org/10.1007/11554554

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Semantic web: concepts, technologies and applications.
• The semantic web explained. The technology and mathematics behind Web 3.0
• scientific article; zbMATH DE number 1801456
• scientific article; zbMATH DE number 1982674
• Semantic web: a road to the knowledge infrastructure on the internet

Cited in

(3)

• An application of automated reasoning in natural language question answering
• Computer Aided Systems Theory – EUROCAST 2005
• Semantic Web: The Story of the RIFt so Far

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods

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