scientific article; zbMATH DE number 6606380
From MaRDI portal
Publication:5740451
zbMath1341.03037MaRDI QIDQ5740451
Publication date: 26 July 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items
Limited reasoning in first-order knowledge bases ⋮ Computational complexity of terminological reasoning in BACK ⋮ A four-valued semantics for terminological logics ⋮ Subsumption computed algebraically
This page was built for publication:
