What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

From MaRDI portal

Revision as of 20:15, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2939302

Jump to:navigation, search

DOI10.1093/logcom/ext062zbMath1303.68128OpenAlexW2153377429WikidataQ62046430 ScholiaQ62046430MaRDI QIDQ2939302

Matthias Knorr, João Leite, Martin Slota, Martin Homola

Publication date: 19 January 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d4b86c25a39cc2356bf86f2f9f9ab8b931d8b572

zbMATH Keywords

knowledge representation logic programming description logics answer set programming multi-context systems MKNF knowledge bases

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (2)

Linking Open-World Knowledge Bases Using Nonmonotonic Rules ⋮ Towards provenance in heterogeneous knowledge bases

This page was built for publication: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2939302&oldid=15921068"