Seniorprofessor für Automatentheorie
Organisation: Forschungs-/Arbeitsgruppe
Organisationsprofil
Seniorprofessor:in: Prof. Dr.-Ing. Franz Baader
Vormals Inhaber:in der Professur für Automatentheorie
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
Alrabbaa, Christian
- Seniorprofessor für Automatentheorie - Wissenschaftliches Personal
- Institut für Theoretische Informatik - Wissenschaftliches Personal
- Professur für Automatentheorie - Wissenschaftliches Personal
Person
Baader, Franz
- Seniorprofessor für Automatentheorie - Wissenschaftliches Personal
- Fakultät Mathematik - Mitglied
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 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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, S. 751-761 11 S. (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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.orgPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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. (Hrsg.). CEUR-WS.org, 5 S. (CEUR Workshop Proceedings, Band 4091).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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. (Hrsg.). ijcai.org, S. 10852-10857 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Logical methods in computer science : LMCS
ISSNs: 1860-5974
Weitere durchsuchbare ISSN (elektronisch): 1860-5974
Logical Methods in Computer Science, Deutschland
Scopus-Bewertung (2024): CiteScore 1,9 SJR 0,446 SNIP 0,904
In DOAJ indiziert
Fachzeitschrift: Zeitschrift