Veröffentlichungen in 2025

Artikel in Fachzeitschriften

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

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

Jonas Karge
When Diversity in Voting Trumps Ability
Episteme, 2025
Details

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

Artikel in Tagungsbänden

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), to appear
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

Martin Diller, Sarah Alice Gaggl, Philipp Hanisch, Giuseppina Monterosso, Fritz Rauschenbach
Grounding Rule-Based Argumentation Using Datalog
KR 2025, to appear
Details

Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Jakob Speck, Johannes K. Fichte
Interactive Exploration of Plan Spaces
KR in the Wild track at KR 2025, to appear
Details

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

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

Valentin Knappich, Anna Hätty, Simon Razniewski, Annemarie Friedrich
PAP2PAT: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper Pairs
Findings of the Annual Meeting of the Association for Computational Linguistics (ACL Findings), to appear
Details

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

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 LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Vorträge und Sonstiges

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