Reasoning Using Knots

DOI10.1007/978-3-540-89439-1_27zbMATH Open1182.68276OpenAlexW1529147315MaRDI QIDQ5505568FDOQ5505568

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

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

Mathematics Subject Classification ID

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

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)