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

Faiq Miftakhul Falakh

faiq_miftakhul.falakh@tu-dresden.de
+49 351 463 43558
APB 2033
Computational Logic

Dr. Sarah Alice Gaggl

sarah.gaggl@tu-dresden.de
+49 351 463 38679
APB 2034
Computational Logic

Dr. Dagmar Gromann

dagmar_gromann@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

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

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justification for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
Proceedings of 2nd International Joint Conference on Rules and Reasoning, Lecture Notes in Computer Science, to appear. Springer
Details

Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation
Proceedings of the 2nd International Joint Conference on Rules and Reasoning, Lecture Notes in Computer Science, to appear. Springer
Details

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
In Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre, eds., The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, volume 4 of 8, 2623-2705. College Publications, September 2017
Details Download

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Schnitzer Johannes, Gromann Dagmar
Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos)
Revista Nebrija, 11(23):124 - 145, November 2017
Details

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download

Dagmar Gromann, Maria M. Hedblom
Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition
Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition (AIC), 2017
Details

Jamie Macbeth, Dagmar Gromann, Maria M. Hedblom
Image Schemas and Conceptual Dependency Primitives: A Comparison
In Oliver Kutz, eds., Proceedings of the Joint Ontology Workshop (JOWO), 2017. CEUR Workshop Proceedings
Details

Dagmar Gromann, Thierry Declerck
Hashtag Processing for Enhanced Clustering of Tweets
In Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Ivelina Nikolova, Irina Temnikova, eds., Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP), 277-283, 2017. RANLP
Details

Komplette Publikationsliste anzeigen