scientific article; zbMATH DE number 1753135
From MaRDI portal
Publication:4533343
zbMath0995.03025MaRDI QIDQ4533343
Franz Baader, Carsten Lutz, Frank Wolter, Holger Sturm
Publication date: 10 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
description logicsnormal modal logicscombination of logicsfusionsabstract description systemsdecidability transfer
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Related Items
Distributive Lattice-Structured Ontologies ⋮ Towards resolution-based reasoning for connected logics ⋮ Representing ontologies using description logics, description graphs, and rules ⋮ How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Ontology Integration Using ε-Connections ⋮ \({\mathcal E}\)-connections of abstract description systems
