Publications in 2025
From International Center for Computational Logic
Publications in 2025
Journal Articles
Dörthe Arndt, Stephan Mennicke
Existential Notation3 Logic
Theory and Practice of Logic Programming, 1-36, June 2025
Details
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
The Adjacent Fragment and Quine’s Limits of Decision
Journal of Logic and Computation, to appear
Details Download
Bartosz Bednarczyk, Julien Grange
About the Expressive Power and Complexity of Order-Invariance with Two Variables
Logical Methods in Computer Science, 21(1):30:1--30:28, March 2025
Details Download
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness
Proceedings of the ACM on Management of Data, 3(2 (PODS)), June 2025
Details Download
Clemens Dubslaff, Nils Husung, Nikolai Käfer
Tailoring binary decision diagram compilation for feature models
Journal of Systems and Software, 231, 2025
Details
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
AGM Belief Revision, Semantically
ACM Transactions on Computational Logic, 2025
Details Download
Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Logical Methods in Computer Science, 21(2):7:1-7:35, April 2025
Details Download
Tim Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Bulletin of the Section of Logic, 2025
Details
Sergei Obiedkov, Baris Sertkaya
PAC Learning of Concept Inclusions for Ontology-Mediated Query Answering
International Journal of Approximate Reasoning, 186:109523, November 2025
Details Download
Proceedings Articles
Dörthe Arndt, William Van Woensel, Dominik Tomaszuk
SPARQL in N3: SPARQL construct as a rule language for the Semantic Web
In Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman, and Ahmet Soylu, eds., RuleML+RR 2025, to appear. Springer
Details Download
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics
In Clark Barrett, Uwe Waldmann, eds., Automated Deduction – CADE 30, volume 15943 of Lecture Notes in Artificial Intelligence, 676–695, July 2025. Springer
Details
Franz Baader, Filippo De Bortoli
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
In René Thiemann, Christoph Weidenbach, eds., Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings, volume 15979 of Lecture Notes in Artificial Intelligence, 22-39, September 2025. Springer
Details
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
Formal Quality Measures for Predictors in Markov Decision Processes
Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of Technical Tracks 25, April 2025. Public Knowledge Project
Details
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE
Details
Lea Bauer, Jonas Karge
Elicit and Weigh: A Voting-Based Approach to Optimal Weights in Imprecise Linear Pooling
Proceedings of the 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2025), 2025. Springer
Details Download
Meghna Bhadra, Marco Ragni
Boosting Cognitive Modelling for Human Reasoning
Proceedings of the Annual Meeting of the Cognitive Science Society, volume 47, 1897-1903, July 2025
Details
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 83--94, August 2025. Springer
Details
Caros E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Sound Statistical Model Checking for Probabilities and Expected Rewards
In Arie Gurfinkel, Marijn Heule, eds., LNCS, volume 15696, 167-190, 2025. Springer Nature Switzerland
Details
Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sergei Obiedkov
Rational Inference in Formal Concept Analysis
In Peggy Cellier, Bernhard Ganter, Rokia Missaoui, eds., Conceptual Knowledge Structures. CONCEPTS 2025, volume 15941 of Lecture Notes in Artificial Intelligence, 325–341, September 2025. Springer
Details Download
David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness (Extended Abstract)
DL Workshop 2025, to appear
Details Download
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 281–292, November 2025. IJCAI Organization
Details Download
Martin Diller, Piotr Gorczyca
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR), to appear
Details Download
Martin Diller, Piotr Gorczyca
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, to appear
Details
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
About the Multi-Head Linear Restricted Chase Termination
In Magdalena Ortiz,Renata Wassermann,Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), volume 22 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 346-355, October 2025. IJCAI Organization
Details Download
Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Jakob Speck, Johannes K. Fichte
Interactive Exploration of Plan Spaces
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning — KR in the Wild (KR 2025), 599–609, November 2025. IJCAI Organization
Details Download
Daniel Gnad, Augusto B. Correa, Johannes K. Fichte, David Speck, Dominik Rusovac, Sarah Alice Gaggl, Markus Hecher
PlanPilot: Efficient Navigation in Plan Space
Workshop on Explainable Artificial Intelligence (XAI), August 2025
Details Download
Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Straß
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), to appear
Details Download
Piotr Gorczyca, Hannes Straß
Non-Monotonic S4F Standpoint Logic
Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), to appear
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph
Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 366–375, 2025. IJCAI Organization
Details Download
Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
Fitting Ontologies and Constraints to Relational Structures
In Magdalena Ortiz, Renata Wassermann, Torsten Schaub, eds., Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 407–416, 2025. IJCAI Organization
Details Download
Yujia Hu, Tuan-Phong Nguyen, Shrestha Ghosh, Simon Razniewski
Enabling LLM Knowledge Analysis via Extensive Materialization
Annual Meeting of the Association for Computational Linguistics (ACL), 2025
Details
Yujia Hu, Tuan-Phong Nguyen, Shrestha Ghosh, Moritz Müller, Simon Razniewski
Introducing GPTKB to the Semantic Web
ISWC, 2025
Details
Jonas Karge
Questions about Quantities: Epistemic Numerical Estimate Aggregation
Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), to appear
Details Download
Pascal Kettmann, Jesse Heyninck, Hannes Straß
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, to appear
Details Download
Sascha Klüppelholz, Jakob Piribauer
Stop Gambling! It Just Takes Too Long
In Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, eds., Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, volume 15760 of Lecture Notes in Computer Science, 139–157, 2025. Springer
Details
Valentin Knappich, Anna Hätty, Simon Razniewski, Annemarie Friedrich
PAP2PAT: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper Pairs
Findings of ACL, 2025
Details
Michelle Kornherr, Augusto B. Correa, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes K. Fichte, Daniel Gnad
Graphical Navigation in Solution Spaces using PlanPilot
System Demonstrations and Exhibits program at ICAPS 2025 (The 35th International Conference on Automated Planning and Scheduling), to appear
Details Download
Markus Krötzsch
Modern Datalog: Concepts, Methods, Applications
In Alessandro Artale, Meghyn Bienvenu, Yazmı́n Ibáñez Garcı́a, Filip Murlak, eds., Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025), volume 138 of OASIcs, 2025. Dagstuhl Publishing
Details Download
Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
When to Sample from Feature Diagrams?
Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS '25, 11-20, May 2025. Association for Computing Machinery
Details
Tim Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
In Hossein Hojjat, Georgiana Caltais, eds., Proceedings of the Eleventh International Conference on Fundamentals of Software Engineering (FSEN), volume 15593 of LNCS, 113-119, 2025. Springer
Details
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
In Pavithra Prabhaka, Andrea Vandin, eds., Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings, volume 16143 of Lecture Notes in Computer Science, 195--218, August 2025. Springer
Details
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
In Toby Walsh, Julie Shah, Zico Kolter, eds., Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of 25, 26631-26641, April 2025. AAAI Press
Details Download
Sergei Obiedkov, Sebastian Rudolph
When Horn is All You Need
In Peggy Cellier, Bernhard Ganter, Rokia Missaoui, eds., Conceptual Knowledge Structures. CONCEPTS 2025, volume 15941 of Lecture Notes in Artificial Intelligence, 309–324, September 2025. Springer
Details Download
Sneha Singhania, Simon Razniewski, Gerhard Weikum
L3X: Long Object List Extraction from Long Documents
CIKM, 2025
Details
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
In Ruzica Piskac, Zvonimir Rakamarić, eds., Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II, volume 15932 of Lecture Notes in Computer Science (LNCS), 56-81, July 2025. Springer
Details Download
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean (Extended Abstract)
KR 2025 - Recently Published Research Track, November 2025
Details Download
Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean
In Yannick Forster, Chantal Keller, eds., 16th International Conference on Interactive Theorem Proving (ITP 2025), volume 352 of Leibniz International Proceedings in Informatics (LIPIcs), 36:1-36:19, September 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
William Van Woensel, Dörthe Arndt, Jos De Roo
FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning
RuleML+RR Rule Challenge 2025, to appear
Details
Yu Yao, Salil Bhatnagar, Markus Mazzola, Vasileios Belagiannis, Igor Gilitschenski, Luigi Palmieri, Simon Razniewski, Marcel Hallgarten
AGENTS-LLM: Augmentative GENeration of Challenging Traffic Scenarios with an Agentic LLM Framework
IROS, 2025
Details
Doctoral Theses
Filippo De Bortoli
Complexity and Expressive Power of Description Logics with Numerical Constraints
Phd thesis, Technische Universität Dresden, 2025-08-11
Details
Maximilian Marx
Attributed Logics for Reasoning over Knowledge Graphs
Phd thesis, Technische Universität Dresden, 2025-07-08
Details Download
Technical Reports
Dörthe Arndt, William Van Woensel, Dominik Tomaszuk
SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
Technical Report, arXiv.org, August 2025
Details
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2505.21103, May 2025
Details
Franz Baader, Filippo De Bortoli
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-25-03, 2025
Details
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
Technical Report, arXiv.org, August 2025. Long version of article to appear in Proceedings of KR 2025
Details Download
Talks and Miscellaneous
Meghna Bhadra, Marco Ragni
Can ChatGPT Predict What I Think? Exploring Transformer Models' Prediction of Human Information Processes
Poster at the AAAI Bridge Programme on Collaborative AI and Modeling of Humans in the 39th Annual AAAI Conference, February 2025
Details
Filippo De Bortoli
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models
Talk, September 2025
Details
Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details
Lukas Gerlach
Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions
Talk at Description Logics Seminar, April 2025
Details
Nils Küchenmeister
Reliance-based Static Analysis of Existential Rules
Diploma Thesis, TU Dresden, August 2025
Details Download
