Computational Logic
Computational Logic
- Contact Sebastian Rudolph
The Computational Logic (CL) group at the Computer Science department of the Technische Universität Dresden is focusing on modeling and reasoning aspects of logic-based knowledge representation, including expressivity, decidability, and complexity analyses. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms (including description logics, answer set programming, and formal concept analysis) but also in their applications to areas like the Semantic Web, knowledge acquisition, argumentation, etc. Motivated by requirements encountered in these fields, we also conduct research in adjacent areas like database theory and computational linguistics.
Professors and Research Group Leaders
Prof. Sebastian Rudolph
- sebastian.rudolph@tu-dresden.de
- +49 351 463 38516
- APB 2035
- Computational Logic
Management
Dipl.-Ing. Ramona Behling
- ramona.behling@tu-dresden.de
- +49 351 463 38516
- APB 2048
- Computational Logic
Scientific Staff
M.Sc. Shima Asaadi
- firstname.lastname@tu-dresden.de
- +49 351 463 43560
- APB 2036
- Computational Logic
- faiq_miftakhul.falakh@tu-dresden.de
- +49 351 463 43558
- APB 2033
- Computational Logic
- 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
Former Members
Prof. Michael Thielscher
- Former Professor
- Computational Logic
Dr. Michaël Thomazo
- Former Scholarship Holder
- Computational Logic
Former Guests
Dr. Diana Troancă
- Former Visiting Scientist
- Computational Logic
Newest Publications
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
Dagmar Gromann, Maria M. Hedblom
Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language
In Pat Langley, eds., Advances in Cognitive Systems, volume 5, 2017. Cognitive Systems Foundation
Details
Paula Chocron, Dagmar Gromann
Towards Building Ontologies from Crowdsourced Data
In Joanna Bryson, Marina De Vos, Julian Padget, eds., Proceedings of AISB Annual Convention 2017, 236-246, 2017. AISB
Details
Courses
- Deduction Systems (SS 2018)
- Semantic Computing (SS 2018)
- Foundations of Logic Programming (WS 2017)
- Foundations of Constraint Programming (WS 2017)
- Practical Planning for Angry Birds (WS 2017)
show further courses
Suggested Thesis Topics
- Implementing the Decomposition Schema for Abstract Dialectical Frameworks
- Supervisor: Sarah Alice Gaggl
- Available as topic for a project thesis
- Meta-Modelling in Formal Concept Analysis
- Supervisor: Sebastian Rudolph
- Available as topic for a Bachelor's thesis, project thesis
Completed Theses
- Justifications under the Fixed-Domain Semantics
- by Satyadharma Tirtarasa (28 September 2017)
- Supervisor: Lukas Schweizer, Sebastian Rudolph
- Using (Deep) Reinforcement Learning To Play Angry Birds
- by Peter Hirsch (26 September 2017)
- Supervisor: Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- by Richard Kwasnicki (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- by Julius Gonsior (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
- Visualization of Solutions in Abstract Argumentation Frameworks
- by Rajwardhan Kumar (27 Oktober 2016)
- Supervisor: Sarah Alice Gaggl
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks
- by Umer Mushtaq (7 Oktober 2016)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- On the Computation of Naive-based Argumentation Semantics
- by Javanshir Alammadli (14 März 2016)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
- Navigation Approaches for Answer Sets
- by Asmaa Afeefi (4 Dezember 2015)
- Supervisor: Sarah Alice Gaggl, Sebastian Rudloph
- Intertranslatability of Labeling-Based Argumentation Semantics
- by Umer Mushtaq (19 November 2015)
- Supervisor: Sarah Alice Gaggl
- Implementing a Labeling-based Algorithm for the cf2 Argumentation Semantics
- by Javanshir Alammadli (20 April 2015)
- Supervisor: Sarah Alice Gaggl
- Grounded Circumscription in Description Logics
- by Efstathios Delivorias (9 April 2015)
- Supervisor: Sebastian Rudolph
- Solving Product Configuration Problems using Non-standard Reasoning Services
- by Lukas Schweizer (11 Juli 2014)
- Supervisor: Sebastian Rudolph, Sarah Alice Gaggl
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
QuantLA
Quantitative Logics and Automata
Wolpertinger
Wolpertinger is fixed-domain reasoner
