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
Alrabbaa, Christian
- 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
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 12 Nov 2025, Proceedings of the 38th International Workshop on Description Logics (DL 2025). 5 p.Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Automated Planning with Ontologies Under Coherence Update Semantics
Nhu, H. D., Borgwardt, S. & Röger, G., 11 Nov 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization, p. 751-761 11 p. (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)
Borgwardt, S., Nhu, H. D. & Röger, G., 3 Sept 2025, Proceedings of the 38th International Workshop on Description Logics - DL 2025. CEUR-WS.orgResearch output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)
Baader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., Sept 2025, Proceedings of the 38th International Workshop on Description Logics (DL'25). Tendera, L., Ibáñez-García, Y. & Koopmann, P. (eds.). CEUR-WS.org, 5 p. (CEUR Workshop Proceedings, Vol. 4091).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contractions Based on Optimal Repairs (Extended Abstract)
Baader, F. & Wassermann, R., 2025, Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. Kwok, J. (ed.). ijcai.org, p. 10852-10857 6 p.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 (2024): CiteScore 1.9 SJR 0.446 SNIP 0.904
Indexed in DOAJ
Journal