Automatentheorie
Aus International Center for Computational Logic
Automatentheorie
- Kontaktperson Franz Baader
- Sekretariat kerstin.achtruth@tu-dresden.de
Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissensrepräsentation, sowie Rechnen mit Molekülen.
Professoren und Gruppenleiter
Verwaltung
Wissenschaftliche Mitarbeiter
Techniker
- APB 3018
- +49 (0) 351 463-38422
Ehemalige
Dr.-Ing. Veronika Thost
- Ehemals Wissenschaftliche Mitarbeiterin
- Automatentheorie, Wissensbasierte Systeme
Ehemalige Gäste
Neueste Publikationen
Komplette Publikationsliste anzeigen
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), June 2020
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), January 2019
Details Download
Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
Details
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details
Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details
Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)
KI, 31(4):377--380, 2017
Details Download
Veronika Thost
News on Temporal Conjunctive Queries
In Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello, eds., Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017, volume 1936 of CEUR Workshop Proceedings, 1--16, October 2017. CEUR-WS.org
Details Download
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download
Lehrveranstaltungen
- Projects Theoretical Computer Science (SS 2021)
- Logic-Based Ontology Engineering (SS 2021)
- Einführung in die (theoretische) Informatik (SS 2021)
- Seminar Theoretical Computer Science "Learning in Description logics" (SS 2021)
- Proseminar Anwendungen der Logik in der Informatik (SS 2021)
weitere Lehrveranstaltungen anzeigen
Abgeschlossene Arbeiten
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols
- von Muhammad Zahid Zia (14 April 2016)
- Betreuer: Franz Baader, Stefan Borgwardt
- Iterative Ontology Update with Minimum Change
- von Aparna Saisree Thuluva (9 März 2015)
- Betreuer: Rafael Peñaloza Nyssen
