SECAI
SECAI
School of Embedded Composite Artificial Intelligence
- Kontaktperson Markus Krötzsch, Philipp Hanisch
- https://secai.org
- 2022 – 2027
- finanziert durch German Academic Exchange Service (DAAD)
Die School of Embedded Composite Artificial Intelligence (kurz: SECAI) ist eine der drei durch den DAAD geförderten Zuse Schools zur Stärkung von Ausbildung und Forschung im Bereich der Künstlichen Intelligenz (KI) in Deutschland. Das Konzept der Projektpartner TU Dresden und Universität Leipzig beruht auf der engen Verzahnung von Studium, Forschung und Anwendung, welche jungen Talenten vielfältige Karrierewege eröffnet um KI in Gesellschaft und Wirtschaft erfolgreich zu nutzen und weiter zu entwickeln. Fachlich setzt SECAI dabei zwei Schwerpunkte: die Entwicklung neuer KI-Methoden durch Zusammenführung der Vorteile bisher unvereinbarer Ansätze („composite“) und die Einbettung von KI-Algorithmen in maßgeschneiderte Mikroelektronik und intelligente Geräte („embedded“). Die exzellent ausgewiesene, interdisziplinäre KI-Forschung der beiden Partneruniversitäten ergänzt sich hierbei ideal mit den besonderen Stärken der sächsischen Hochtechnologiestandorte Dresden und Leipzig.
Unter den vielfältigen Anwendungsgebieten der KI konzentriert sich SECAI besonders auf die digitale Medizin. Chancen entstehen hier einerseits durch die Entwicklung intelligenter Medizingeräte, vom chirurgischen Assistenzroboter bis zum intelligenten Herzschrittmacher. Andererseits ermöglicht KI bedeutende Fortschritte in der Medizin- und Bioinformatik, zum Beispiel zur Entwicklung personalisierter Medikamente und der verbesserten Krebsdiagnostik. Der Einsatz von KI in der Medizin wirft dabei nicht nur technische sondern auch rechtliche und ethische Fragen auf, die in SECAI ebenfalls thematisiert werden.
Diese Kernthemen bestimmen die inhaltliche Ausrichtung zahlreicher der in SECAI geplanten Aktivitäten zur Förderung von Lehre, Forschung, Transfer und internationalem Austausch. Studierende an TU Dresden und Universität Leipzig werden durch Stipendien finanziell gefördert und beim Austausch mit Partnern aus Wirtschaft und Forschung unterstützt. KI‑bezogene Lehrangebote werden gestärkt und erweitert. Der Austausch mit internationalen Partneruniversitäten wie King‘s College London, ENS Paris und TU Wien wird vertieft. Gleichzeitig finanziert SECAI die Forschung von jeweils bis zu 30 Promovierenden und klinischen Forscher:innen an den KI‑Technologien von morgen. Der DAAD stellt für diese Maßnahmen von Mitte 2022 bis Ende 2027 insgesamt 13,2 Millionen EUR zur Verfügung.
SECAI wird dabei auch die bereits vorhandenen Lehrangebote und Forschungsaktivitäten in Dresden und Leipzig einbeziehen und befördern. Bereits eingeschriebene Studierende in KI‑Studiengängen wie „Computational Modeling and Simulation“ (Dresden) oder „Data Science“ (Leipzig) profitieren ebenso von den Angeboten der Zuse School wie jene, die sich erst neu für das Studium in Dresden oder Leipzig entscheiden. Auch in der Forschung kooperiert SECAI eng mit existierenden Initiativen, wie dem Else-Kröner-Fresenius-Zentrum für Digitale Gesundheit (EKFZ), dem Dresdner Exzellenzcluster CeTI und dem Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI Dresden-Leipzig).
Getragen wird die Zuse School von einem Team aus etwa 25 Forscherinnen und Forschern der Partneruniversitäten, die wissenschaftlich international hervorragend ausgewiesen sind und sich darüber hinaus besonders in Lehre und Transfer engagieren. SECAI steht außerdem in engem persönlichen Austausch mit Industrie, internationaler Wissenschaft und Start-Up-Szene. Ansprechpartner für die School of Embedded Composite AI ist Projektleiter Prof. Markus Krötzsch (TU Dresden).
Artikel in Fachzeitschriften
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download
Wissen als Code: Die Welt der Wissensgraphen und Ontologien
Linux-Magazin (12/2022):24-28, 2022
Details
Artikel in Tagungsbänden
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, 200-214, October 2024. Springer, Cham
Details Download
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, 2024
Details Download
Towards Propositional KLM-Style Defeasible Standpoint Logics
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Nemo: A Scalable and Versatile Datalog Engine
In Mario Alviano, Matthias Lanzinger, eds., Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)
In Kate Larson, eds., Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 3386-3394, August 2024. International Joint Conferences on Artificial Intelligence Organization
Details Download
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24), to appear
Details Download
Taming Dilation in Imprecise Pooling
Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), to appear
Details Download
Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian
In Nicoletta Calzolari, Min-Yen Kan, Veronique Hoste, Alessandro Lenci, Sakriani Sakti, Nianwen Xue, eds., Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), 14240-14258, May 2024. ELRA and ICCL
Details Download
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization
22nd International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS2024), to appear
Details
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 642–653, November 2024. IJCAI Organization
Details Download
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Organization
Details Download
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), to appear
Details Download
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
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
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
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
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
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
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
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
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
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 Download
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
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
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
Vorträge und Sonstiges
Data, Ontologies, Rules, and the Return of the Blank Node
Keynote at the 21st International Semantic Web Conference, 2022
Details Download
