Computer Science – Artificial Intelligence
Scientist
Computer Science
Artificial Intelligence
Scientist
Institute for Theoretical Computer Science, TU Dresden
Fusions of Description Logics and Abstract Description Systems
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Unification in the Description Logic EL
No associations
LandOfFree
Franz Baader does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Franz Baader, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Franz Baader will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-127257