scientific article
From MaRDI portal
Publication:4012243
zbMath0742.68066MaRDI QIDQ4012243
Daniele Nardi, Maurizio Lenzerini, Werner Nutt, Francesco M. Donini
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Knowledge representation (68T30) Natural language processing (68T50)
Related Items (10)
Limited reasoning in first-order knowledge bases ⋮ The complexity of concept languages ⋮ An epistemic operator for description logics ⋮ A sequent calculus for reasoning in four-valued Description Logics ⋮ ``Reducing classic to practice: Knowledge representation theory meets reality ⋮ Unification of concept terms in description logics ⋮ On intuitionistic query answering in description bases ⋮ Description Logics ⋮ EXPtime tableaux for ALC ⋮ Tractable reasoning via approximation
This page was built for publication:
