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

Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying
In Geerts, Floris and Vandevoort, Brecht, eds., Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 18:1-18:18, March 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, to appear
Details Download
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, 24(2), April 2023
Details Download
Brandon Bennett, Lucía Gómez Álvarez
Vagueness in Predicates and Objects
Proceedings of the 13th International Conference on Formal Ontology in Information Systems, FOIS 2023, to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Inc
Details Download
Nicola Gigante, Lucía Gómez Álvarez, Tim Lyon
Standpoint Linear Temporal Logic
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, to appear. IJCAI Inc
Details Download
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
On the of Limits of Decision: the Adjacent Fragment of First-Order Logic
In Kousha Etessami, Uriel Feige, and Gabriele Puppis, eds., Proceedings of the 50th EATCS International Colloquium on Automata, Languages and Programming, ICALP 2023, volume 261 of Leibniz International Proceedings in Informatics, 114:1--114:20, to appear. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Jonas Karge
Second-order Confidence in Supervaluationism
Journal for General Philosophy of Science, to appear
Details
Adam Richard-Bollans, Anthony Cohn, Lucía Gómez Álvarez
Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions
Cognitive Systems Research, 77:45-61, 2023
Details
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
Proceedings of the 42nd Symposium on Principles of Database Systems (PODS'23), to appear
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