Computational Logic

From International Center for Computational Logic
Toggle side column

Computational Logic

The Computational Logic (CL) group is focusing on modeling and reasoning aspects of logic-based knowledge representation. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms but also in their application in 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.
The Computational Logic Group also has a Facebook page, a Twitter account, and a YouTube channel.

Professors and Research Group Leaders

Management

Scientific Staff

Technical Administrators

Former Members

Shima6.jpg
Elisa-400x600.jpg
Dipl.-Inf. Elisa Böhl
Martin-diller-2019.jpg
Thomas-400x600.jpg
TUD 8253 hi res 2.jpg
DagmarFoto.png
Ass.-Prof. Dagmar Gromann
Lschweizer.jpg
Thielscher.jpg
Thomazo.JPG

Former Guests

Diana.JPG

Newest Publications

View full publication list

Bartosz Bednarczyk
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023), Logics in Artificial Intelligence, 289--305, to appear. Springer International Publishing
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, to appear
Details Download
Tim Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Artificial Intelligence, 369-384, 2023. Springer
Details Download
Jonas Karge
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23), to appear
Details Download
Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph
Compositional matrix-space models of language: Definitions, properties, and learning methods
Natural Language Engineering, 29(1):1-49, January 2023
Details Download
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
In Floris Geerts, Hung Q. Ngo, Stavros Sintos, eds., Proceedings of the 42nd Symposium on Principles of Database Systems (PODS'23), 291-302, 2023. ACM
Details Download
Florian Emmrich, Lucía Gómez Álvarez, Hannes Straß
Automated Reasoning Support for Standpoint-OWL 2
In Sergio de Cesare, Tiago Prince Sales, eds., Proceedings of th 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Ontology Showcase and Demonstrations Track, 2023
Details Download
Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, to appear. Springer
Details
Tim Lyon
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
Journal of Applied Non-Classical Logics, to appear
Details
Tim Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics
In Revantha Ramanayake, Josef Urban, eds., Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023
Details Download
View full publication list

Courses

Student projects


Completed Theses

DeciGUT-logo-final.png

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

KIMEDS.jpg

KIMEDS
AI Assisted Certification of Medical Software

Screenshot from 2023-01-30 17-58-22.png

M/EDGE
Secure Low Power Medical Edge Computing

Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata

SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner