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 ist außerdem auf Facebook, Twitter und YouTube präsent.

Ehemals Doktorandin
Computational Logic

Dipl.-Inf. Elisa Böhl

Ehemals Wissenschaftliche Mitarbeiterin
Computational Logic

Dr. Martin Diller

Ehemals Wissenschaftlicher Mitarbeiter
Computational Logic

Faiq Miftakhul Falakh

Ehemals Doktorand
Computational Logic

M.Sc. Thomas Feller

Ehemals Wissenschaftlicher Mitarbeiter
Computational Logic

Dr. Sarah Alice Gaggl

Ehemals Wissenschaftliche Mitarbeiterin
Computational Logic

Ass.-Prof. Dagmar Gromann

Ehemals Wissenschaftliche Mitarbeiterin
Computational Logic

Dr. Lucía Gómez Álvarez

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

Ringo Baumann, Hannes Straß
Consequence Operators for Characterization Logics – The Case of Abstract Argumentation
In Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez, eds., Proceedings of the Seventeenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), LNCS, to appear. Springer
Details Download

Tim Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details

Piotr Ostropolski-Nalewaja, Sebastian Rudolph
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
Proceedings of KR 2024, to appear
Details Download

Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Proceedings of KR 2024, to appear
Details Download

Bartosz Bednarczyk
Database-Inspired Reasoning Problems in Description Logics With Path Expressions
Phd thesis, Technischen Universitat Dresden, 2024/06/25
Details Download

Luisa Herrmann, Vincent Peth, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
In Aniello Murano, Alexandra Silva, eds., CSL '24: Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic 2024, volume 288 of LIPIcs, 33:1-33:19, 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Luisa Herrmann, Richard Mörbitz
Global One-Counter Tree Automata
28th International Conference on Implementation and Application of Automata (CIAA 2024), to appear
Details

Luisa Herrmann, Johannes Osterholzer
Non-Global Parikh Tree Automata
14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), to appear
Details

Lea Bauer, Jonas Karge
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

Piotr Ostropolski-Nalewaja, Tim Lyon
Decidability of Quasi-Dense Modal Logics
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024. ACM
Details Download

Komplette Publikationsliste anzeigen