Professor (rtd.) for Automata Theory
Organisational unit: Research/Working group
Organisation profile
Professor (rtd.): Prof. Dr.-Ing. Franz Baader
Formerly holder of the Chair of Automata Theory
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Prizes
Alrabbaa, Christian
- Chair of Algorithmic and Structural Graph Theory - Academic Staff
- Professor (rtd.) for Automata Theory - Academic Staff
- Institute of Theoretical Computer Science - Academic Staff
Person
Baader, Franz
- Professor (rtd.) for Automata Theory - Academic Staff
- Faculty of Mathematics - Member
Person
Gärdenfors’s supplementary postulates for partial product contractions
Baader, F. & Wassermann, R., Dec 2026, In: International journal of approximate reasoning. 199, 109812.Research output: Contribution to journal › Research article › Contributed › peer-review
Errors Need Not Show Up as Inconsistencies: From Error-Tolerant Reasoning to Argumentation Frameworks
Baader, F. & Barreca, O., 24 Jul 2026, Logical Approaches to Handling Inconsistent Data (LINDA). 7 p.Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting
Borgwardt, S. & Nhu, H. D., 17 Jul 2026, DL 2026 - Description Logics 2026: Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026). CEUR-WS.org, 19 p. (CEUR Workshop Proceedings, Vol. 4230).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics
Borgwardt, S. & Kovtunova, A., 2026, Proceedings of the 39th International Workshop on Description Logics, DL 2026. 13 p. (CEUR workshop proceedings, Vol. 4230).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
In the Heart of the Beholder: User-Tailored Explanations for Description Logics
Borgwardt, S., Hirsch, A., Knieriemen, N. & Kovtunova, A., 2026, Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026). Kovtunova, A. & Sertkaya, B. (eds.). 24 p. (CEUR workshop proceedings, Vol. 4230).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Logical methods in computer science : LMCS
ISSNs: 1860-5974
Additional searchable ISSN (electronic): 1860-5974
Logical Methods in Computer Science, Germany
Scopus rating (2025): CiteScore 2 SJR 0.334 SNIP 0.905
Indexed in DOAJ
Journal
International Journal of Approximate Reasoning
ISSNs: 0888-613X
Additional searchable ISSN (electronic): 1873-4731
Elsevier, New York [u. a.]
Scopus rating (2025): CiteScore 6.3 SJR 0.659 SNIP 1.276
Journal
On the Complexity of Model Checking for Temporal Equilibrium Logic
Barreca, O. (Recipient), 11 Sept 2026
Prize: Publication/Conference prize