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

DOI10.1007/S11229-009-9661-2zbMATH Open1235.03014OpenAlexW2069125886MaRDI QIDQ408317FDOQ408317

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On Extensions of Elementary Logic
• Anadic logic and English
• Natural language processing and knowledge representation. Language for knowledge and knowledge for language
• Title not available (Why is that?)
• Title not available (Why is that?)

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
• Unranked Nominal Unification
• A Constraint Solver for Equations over Sequences and Contexts

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)