Reasoning Using Knots

DOI10.1007/978-3-540-89439-1_27MaRDI QIDQ5505568zbMATH OpenOpenAlexFDO

Authors Thomas Eiter, Magdalena Ortiz, Mantas Šimkus

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_27

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• On Knots. (AM-115)
• scientific article; zbMATH DE number 4058447
• scientific article; zbMATH DE number 2107523
• scientific article; zbMATH DE number 1037084
• scientific article; zbMATH DE number 6840508
• Knot theory
• scientific article; zbMATH DE number 3006170
• Knot diagrammatics

Cited in

(3)

• Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
• Detecting Unknots via Equational Reasoning, I: Exploration
• Query Answering in Description Logics: The Knots Approach

This page was built for publication: Reasoning Using Knots

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