Knowledge representation, the world wide web, and the evolution of logic

DOI10.1007/S11229-009-9661-2MaRDI QIDQ408317zbMATH OpenOpenAlexFDO

Authors Christopher Menzel

Publication date 5 April 2012

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-009-9661-2

zbMATH Keywords

knowledge representationsemantic webcommon logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Philosophical and critical aspects of logic and foundations (03A05) Logic in artificial intelligence (68T27) Classical first-order logic (03B10) Internet topics (68M11)

Recommendations

• The Advent of Formal Diagrammatic Reasoning Systems
• scientific article; zbMATH DE number 569773
• Publication:4896514
• Reasoning about anonymous resources and meta statements on the semantic web
• scientific article; zbMATH DE number 2090736

Cites work

• scientific article; zbMATH DE number 3852463 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• Anadic logic and English
• Natural language processing and knowledge representation. Language for knowledge and knowledge for language
• On Extensions of Elementary Logic

Cited in

(4)

• Conceptual frames revisited
• Web knowledge management and decision support. 14th international conference on applications of Prolog, INAP 2001, Tokyo, Japan, October 20--22, 2001. Revised papers
• A constraint solver for equations over sequences and contexts
• Unranked Nominal Unification

This page was built for publication: Knowledge representation, the world wide web, and the evolution of logic

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