Computational Logic

Kontaktperson Sebastian Rudolph
Sekretariat ramona.behling@tu-dresden.de

Die Forschungsgruppe Computational Logic (CL) befasst sich mit Modellierung und automatischem Schließen in der logikbasierten Wissensrepräsentation. Dabei gilt unser Interesse sowohl den mathematischen und formalen Grundlagen diverser Paradigmen der Wissensrepräsentation 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.
Die Computational Logic Group hat auch eine Facebook-Seite.

Professoren und Gruppenleiter

Prof. Sebastian Rudolph

Computational Logic

Verwaltung

Dipl.-Ing. Ramona Behling

Computational Logic, Logische Programmierung und Argumentation

Wissenschaftliche Mitarbeiter

Techniker

Karina Adler

Computational Logic, Logische Programmierung und Argumentation

Ehemalige

Dr. Shima Asaadi

Ehemals Doktorandin
Computational Logic

Dipl.-Inf. Elisa Böhl

Ehemals Wissenschaftliche Mitarbeiterin
Computational Logic

Dr. Martin Diller

Ehemals Wissenschaftlicher Mitarbeiter
Computational Logic

Dr. Sarah Alice Gaggl

Ehemals Wissenschaftliche Mitarbeiterin
Computational Logic

Ass.-Prof. Dagmar Gromann

Ehemals Wissenschaftliche Mitarbeiterin
Computational Logic

M.Sc. Lukas Schweizer

Ehemals Wissenschaftlicher Mitarbeiter
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

Tim Lyon
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
Journal of Logic and Computation, 31(1):213-265, 2021
Details Download

Bartosz Bednarczyk
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021. Springer International Publishing
Details Download

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download

Bartosz Bednarczyk
Statistical EL is ExpTime-complete
Information Processing Letters, 169C(106113), August 2021
Details Download

Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
Completing the Picture: Complexity of Graded Modal Logics with Converse
Theory and Practice of Logic Programming, April 2021
Details Download

Bartosz Bednarczyk, Jakub Michaliszyn
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), March 2021
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download

Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
Neural Machine Translating from Natural Language to SPARQL
Future Generation Computer Systems, 117:510-519, 2021
Details Download

Komplette Publikationsliste anzeigen