Author:Franz Baader

Publications

Keyphrases

0-1 Law, bisimulation, cardinality constraints, Cardinality Restrictions, complexity4, Computing Unifiers, counting quantifiers, Description Logic5, Description Logics2, difference, explanation, expressivity, FL0, General Concept Inclusions, least common subsumer, matching, Minimal Unifiers, NP-complete, Number Restrictions, proofs, QFBAPA, subsumption, tree automata2, unification2.