scientific article; zbMATH DE number 1341607
From MaRDI portal
Publication:4263156
zbMath0937.03012MaRDI QIDQ4263156
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Comparative study of variable precision rough set model and graded rough set model ⋮ \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting ⋮ Description Logics ⋮ EXPtime tableaux for ALC
