Computational Logic
Computational Logic
- Kontaktperson Sebastian Rudolph
Die Forschungsgruppe Computational Logic (CL) an der Fakultät Informatik der Technischen Universität Dresden befasst sich mit Modellierung und automatischem Schließen in der logikbasierten Wissensrepräsentation, einschließlich Fragen der Ausdrucksstärke, Entscheidbarkeit und Komplexität. Dabei gilt unser Interesse sowohl den mathematischen und formalen Grundlagen diverser Paradigmen der Wissensrepräsentation (z.B. Beschreibungslogiken, Answer Set Programming, Formale Begriffsanalyse) als auch deren Anwendungen in Gebieten wie dem Semantic Web, Wissensakquise, Argumentation, etc. Inspiriert durch diesen Gebieten entstammende Fragestellungen befassen wir uns auch mit Themen aus angrenzenden Forschungsfeldern wie beispielsweise Datenbanktheorie und Computerlinguistik.
Professoren und Gruppenleiter
Prof. Sebastian Rudolph
- sebastian.rudolph@tu-dresden.de
- +49 351 463 38516
- APB 2035
- Computational Logic
Verwaltung
Dipl.-Ing. Ramona Behling
- ramona.behling@tu-dresden.de
- +49 351 463 38516
- APB 2048
- Computational Logic
Wissenschaftliche Mitarbeiter
M.Sc. Shima Asaadi
- firstname.lastname@tu-dresden.de
- +49 351 463 43560
- APB 2036
- Computational Logic
- bartosz.bednarczyk@tu-dresden.de
- +49 351 463 42665
- APB 2031
- Computational Logic
Dipl.-Inf. Elisa Böhl
- elisa.boehl@tu-dresden.de
- +49 351 463 42666
- APB 2031
- Computational Logic
M.Sc. Thomas Feller
- firstname.lastname@tu-dresden.de
- +49 351 463 42665
- APB 2031
- Computational Logic
- sarah.gaggl@tu-dresden.de
- +49 351 463 38679
- APB 2034
- Computational Logic
M.Sc. Lukas Schweizer
- firstname.lastname@tu-dresden.de
- +49 351 463 43559
- APB 2033
- Computational Logic
Ehemalige
Dr. Dagmar Gromann
- Ehemals Wissenschaftliche Mitarbeiterin
- Computational Logic
Prof. Michael Thielscher
- Ehemals Professor
- Computational Logic
Dr. Michaël Thomazo
- Ehemals Stipendiat
- Computational Logic
Ehemalige Gäste
Dr. Diana Troancă
- Ehemals Gastwissenschaftlerin
- Computational Logic
Neueste Publikationen
Komplette Publikationsliste anzeigen
Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti
A Framework for Reasoning about Dynamic Axioms in Description Logics
Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020), to appear. International Joint Conferences on Artificial Intelligence
Details
Bartosz Bednarczyk, Piotr Ostropolski-Nalewaja, Robert Ferens
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020), to appear. International Joint Conferences on Artificial Intelligence
Details
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
Modal Logics with Composition on Finite Forests: Expressivity and Complexity
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), to appear
Details
Bartosz Bednarczyk, Franz Baader, 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), to appear
Details
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the second international competition on computational models of argumentation
Artificial Intelligence, 279, February 2020
Details Download
Bartosz Bednarczyk
One-Variable Logic Meets Presburger Arithmetic
Theoretical Computer Science, 802(141-146), January 2020
Details
Shima Asaadi, Saif M. Mohammad, Svetlana Kiritchenko
Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition
Proceedings of the Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL), June 2019
Details Download
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download
Sebastian Rudolph
Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 542-561. Springer, 2019
Details Download
Bartosz Bednarczyk, Sebastian Rudolph, Franz Baader
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
Lehrveranstaltungen
- Academic Skills in Computer Science (SS 2020)
- Deduction Systems (SS 2020)
- Seminar: Logical Modelling (SS 2020)
- Problem Solving and Search in Artificial Intelligence (SS 2020)
- Foundations of Logic Programming (WS 2019)
weitere Lehrveranstaltungen anzeigen
Themenvorschläge für Studien- und Abschlussarbeiten
- Implementierung des Dekompositionsschemas für Abstract Dialectical Frameworks
- Betreuer: Sarah Alice Gaggl
- Verfügbar als Thema einer Studienarbeit
- Metamodellierung in der Formalen Begriffsanalyse
- Betreuer: Sebastian Rudolph
- Verfügbar als Thema einer Bachelorarbeit, Studienarbeit
Abgeschlossene Arbeiten
- Justifications under the Fixed-Domain Semantics
- von Satyadharma Tirtarasa (28 September 2017)
- Betreuer: Sebastian Rudolph, Lukas Schweizer
- Using (Deep) Reinforcement Learning To Play Angry Birds
- von Peter Hirsch (26 September 2017)
- Betreuer: Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- von Richard Kwasnicki (23 Februar 2017)
- Betreuer: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- von Julius Gonsior (23 Februar 2017)
- Betreuer: Sarah Alice Gaggl, Lukas Schweizer
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks
- von Rajwardhan Kumar (27 Oktober 2016)
- Betreuer: Sarah Alice Gaggl
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks
- von Umer Mushtaq (7 Oktober 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- On the Computation of Naive-based Argumentation Semantics
- von Javanshir Alammadli (14 März 2016)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
- Navigation Approaches for Answer Sets
- von Asmaa Afeefi (4 Dezember 2015)
- Betreuer: Sarah Alice Gaggl, Sebastian Rudloph
- Intertranslatability of Labeling-Based Argumentation Semantics
- von Umer Mushtaq (19 November 2015)
- Betreuer: Sarah Alice Gaggl
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik
- von Javanshir Alammadli (20 April 2015)
- Betreuer: Sarah Alice Gaggl
- Grounded Circumscription in Description Logics
- von Efstathios Delivorias (9 April 2015)
- Betreuer: Sebastian Rudolph
- Solving Product Configuration Problems using Non-standard Reasoning Services
- von Lukas Schweizer (11 Juli 2014)
- Betreuer: Sebastian Rudolph, Sarah Alice Gaggl
CPEC
Grundlagen verständlicher Softwaresysteme
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
QuantLA
Quantitative Logics and Automata
Wolpertinger
Wolpertinger is a fixed-domain reasoner
