scientific article; zbMATH DE number 6744190
From MaRDI portal
Publication:5277870
DOI10.4230/LIPIcs.RTA.2015.40zbMath1366.68274MaRDI QIDQ5277870
Stefan Borgwardt, Franz Baader, Barbara Morawska
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Grammars and rewriting systems (68Q42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (2)
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification ⋮ What Is Essential Unification?
This page was built for publication:
