Modal logics, description logics and arithmetic reasoning

DOI10.1016/S0004-3702(99)00011-9zbMath0916.68148OpenAlexW2154026530MaRDI QIDQ1292304

Jana Koehler, Hans Jürgen Ohlbach

Publication date: 21 June 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00011-9

zbMATH Keywords

modal logicmathematical programmingdescription logiccombination of inference systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of software (68N99)

Related Items

Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)