SECAI

From International Center for Computational Logic
Toggle side column

SECAI

School of Embedded Composite Artificial Intelligence

The School of Embedded Composite Artificial Intelligence (SECAI) is one of the three DAAD-funded Zuse Schools that foster education and research in artificial intelligence (AI) in Germany. The concept put forward by the SECAI host universities TU Dresden and Leipzig University is rooted in the tight integration of university studies, research, and applications, which will open up many career paths for young talents to successfully use and advance AI for the benefit of society and economy. Topically, SECAI is guided by two core themes: the development of novel AI methods that combine advantages of hitherto disparate approaches (“composite”), and the integration of AI algorithms into tailor-made microelectronics and intelligent devices (“embedded”). In pursuing these goals, SECAI benefits from the fruitful combination of the internationally renowned, interdisciplinary research of the parter universities and the regional strengths of the Saxon high-tech sites in Dresden and Leipzig.

Among the many application areas of AI, SECAI will put a specific emphasis on digital medicine. Important opportunities in this field arise, on the one hand, through the development of intelligent medical devices, from surgical robotic assistants to intelligent pacemakers. On the other hand, AI also enables important advances in medical informatics and bioinformatics, for example in the development of personalised drugs and improved cancer diagnostics. However, the medical use of AI is not a mere technical challenge but also raises legal and ethical questions, which will likewise be investigated in SECAI. These core topics determine the thematic focus of many of the activities that are planned in SECAI to foster teaching, research, transfer, and international exchange. Students of TU Dresden and Leipzig University are sponsored through scholarships and are supported in their exchange with partners from industry and research. AI-related teaching programmes will be reinforced and expanded. TU Dresden has already fully internationalised all of its AI Master programmes, with English as the teaching language, and Leipzig University will strongly expand its English course offerings as well. The exchange with international partner universities, such as King’s College London, ENS Paris, and TU Vienna will be intensified. In addition, SECAI will fund up to 30 doctoral students and clinician scientists to develop the next generation of AI technologies. To enable these measures, DAAD will provide a total of 13.2 million EUR throughout the planned funding period from mid 2022 through 2027.

In all of its activities, SECAI will also incorporate and nourish existing teaching programmes and research activities in Dresden and Leipzig. Students already enrolled in AI-related study programmes such as “Computational Modeling and Simulation” (Dresden) or “Data Science” (Leipzig) will benefit from the offers of the Zuse School just like students who newly decide to study in Dresden or Leipzig. In research, too, SECAI is collaborating closely with existing initiatives, such as the Else Kröner Fresenius Center for Digital Health (EKFZ), the Dresden-based Cluster of Excellence CeTI, and the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI Dresden-Leipzig).

The Zuse School is carried by a team of around 25 researchers at the partner universities, who are, in addition to their international scientific renown, particularly active in teaching and transfer. SECAI moreover is engaged in close personal exchange with industry, international academia, and the start-up scene. The main contact person for the School of Embedded Composite AI is project coordinator Prof. Markus Krötzsch (TU Dresden).


Journal Articles

Markus Krötzsch
Wissen als Code: Die Welt der Wissensgraphen und Ontologien
Linux-Magazin (12/2022):24-28, 2022
Details

Proceedings Articles

Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, to appear
Details Download
Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proceedings of the 43rd Symposium on Principles of Database Systems (PODS’24), to appear. ACM
Details Download
Denny Vrandečić, Lydia Pintscher, Markus Krötzsch
Wikidata: The Making Of
In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo,Carlos Castillo, Geert-Jan Houben, eds., Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615--624, 2023. ACM
Details Download
Sergei Obiedkov, Barış Sertkaya
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
In Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Logics in Artificial Intelligence. JELIA 2023, volume 14281 of LNAI, 176–191, September 2023. Springer
Details
Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)
In Brian Williams, Yiling Chen, Jennifer Neville, eds., Proceedings of the 37th AAAI Conference on Artificial Intelligence, volume 37 of Proceedings of the AAAI Conference on Artificial Intelligence, 6372-6379, June 2023. AAAI Press
Details Download
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download
Larry Gonzalez, Alex Ivliev, Stephan Mennicke, Markus Krötzsch
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download
Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023
Details Download
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
In Pierre Marquis,Tran Cao Son,Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), volume 20 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 301–310, September 2023. International Joint Conferences on Artificial Intelligence Organization
Details Download
Lukas Gerlach, David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)
In Oliver Kutz, Carsten Lutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, October 2023. CEUR-WS.org
Details Download
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org
Details Download
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., Proc. 21st International Semantic Web Conference (ISWC 2022), volume 13489 of LNCS, 267-283, October 2022. Springer
Details Download

Talks and Miscellaneous

Markus Krötzsch
Data, Ontologies, Rules, and the Return of the Blank Node
Keynote at the 21st International Semantic Web Conference, 2022
Details Download