Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Computational Logic

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

Verwaltung

Wissenschaftliche Mitarbeiter

Ehemalige

Shima5.jpg

M.Sc. Shima Asaadi

EB.19.jpg

Dipl.-Inf. Elisa Böhl

Martin-diller-2019.jpg

Dr. Martin Diller

TUD 8253 hi res 2.jpg

Dr. Sarah Alice Gaggl

DagmarFoto.png

Dr. Dagmar Gromann

Thielscher.jpg

Prof. Michael Thielscher

Thomazo.JPG

Dr. Michaël Thomazo

Ehemalige Gäste

Diana.JPG

Dr. Diana Troancă

Neueste Publikationen

Komplette Publikationsliste anzeigen

Norbert Manthey, Rafael Peñaloza Nyssen, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Künstliche Intelligenz, 34(3):389-394, 2020
Details Download

Bartosz Bednarczyk, Piotr Witkowski
A note on C2 interpreted over finite data-words
27th International Symposium on Temporal Representation and Reasoning (TIME 2020), September 2020
Details

Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks
Argument & Computation, 11(1-2):191-219, May 2020
Details

Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Theory and Practice of Logic Programming, January 2020
Details

Mei Yang, Sarah Alice Gaggl, Sebastian Rudolph
Neva – Extension Visualization for Argumentation Frameworks
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 477-478, September 2020
Details Download

Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
Volume 2672, September 2020. CEUR-WS.org
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

Wolfgang Dvořák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite
Proceedings of the 8th International Conference on Computational Models of Argument (COMMA 2020), volume 326 of Frontiers in Artificial Intelligence and Applications, 461-462, September 2020
Details Download

Adam Richard-Bollans, Lucía Gómez Álvarez, Anthony Cohn
Modelling the Polysemy of Spatial Prepositions in Referring Expressions
Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20), to appear
Details Download

Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti, Raul Fervari
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), June 2020
Details

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Themenvorschläge für Studien- und Abschlussarbeiten


Abgeschlossene Arbeiten

DeciGUT-logo-final.png

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

Quantla-logo.png

QuantLA
Quantitative Logics and Automata

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner