F
Franz Baader
Researcher at Dresden University of Technology
Publications - 348
Citations - 25077
Franz Baader is an academic researcher from Dresden University of Technology. The author has contributed to research in topics: Description logic & Decidability. The author has an hindex of 62, co-authored 334 publications receiving 24544 citations. Previous affiliations of Franz Baader include University of Erlangen-Nuremberg & Max Planck Society.
Papers
More filters
Book ChapterDOI
Combination of Constraint Solving Techniques: An Algebraic POint of View
Franz Baader,Klaus U. Schulz +1 more
TL;DR: This paper isolates an abstract algebraic property of free algebras—called combinability—that clarifies why the combination method applies to such algebraes, and introduces a new proof method that depends on abstract notions and results from universal algebra, as opposed to technical manipulations of terms.
Journal Article
Connecting many-sorted theories
Franz Baader,Silvio Ghilardi +1 more
TL;DR: In this article, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must behave like homomorphisms on the shared signature.
Journal ArticleDOI
Connecting many-sorted theories
Franz Baader,Silvio Ghilardi +1 more
TL;DR: These results can be seen as a generalization of the so-called -connection approach for combining modal logics to an algebraic setting.
Book ChapterDOI
Verification of Golog Programs over Description Logic Actions
Franz Baader,Benjamin Zarrieß +1 more
TL;DR: This paper introduces a variant of Golog where basic actions are defined using such a DL-based formalism, and shows that the verification problem for such programs is decidable.
Book ChapterDOI
Using causal relationships to deal with the ramification problem in action formalisms based on description logics
TL;DR: This paper shows that causal relationships can be added to action formalisms based on Description Logics without destroying the decidability of the consistency and the projection problem.