RuleML+RR 2026

Main track

(L-15) Incremental Differentiable Metric Temporal First-Order Rule Learning
Davide Soldà, Kun Gao, Thomas Eiter, Katsumi Inoue

(L-17) Towards Anytime Constraint Acquisition
Aicha Boukhari, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar, Grégoire Menguy

(L-18) Sufficient Explanations in Databases and their Connections to Database Repairs
Nina Pardal, Leopoldo Bertossi

(L-22) Optimizing Sparse Boolean Rule Networks using Mixed Integer Linear Programming
Thomas Pammer, Johannes Fürnkranz, Markus Sinnl

(L-23) Reasoning Defeasibly About Defeasible Standpoints: Non-Monotonic Inference for a Conditional Fragment of Propositional Defeasible Standpoint Logic
Nicholas Leisegang, Thomas Meyer, Ivan Varzinczak

(L-26) A Matrix-based Calculus for Classification in EL^+_\bot
Youssef Amari, Philippe Leleux, Hélène Waeselynck, Florence De Grancey

(L-27) Logic-Rx: Multi-Source Diagnostics for Reliable LLM Formalization
Ya Wang, Adrian Paschke

(L-28) Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities
Hanna Abi Akl, Fabien Gandon, Catherine Faron, Pierre Monnin

(L-29) Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory
Pascal Kettmann, Hannes Strass, Jesse Heyninck, Jeroen Spaans

(L-30) neXSim: A System for Entity Comparison within Relational Knowledge Graphs
Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo

(L-31) Synthesis of High-Confidence Regions for Rule-Based Machine Learning Models
Enrico Ferrari, Fajar Haifani, Stefano Tonetta

(L-39) Learning Minimal Qualitative Simulation Models from Observations
Moritz Bayerkuhnlein, Ankita Das, Roxane Koitz-Hristov, Liliana Prikler, Diedrich Wolter, Franz Wotawa

(L-41) Rule Acquisition for Teachable Agents
Hendra Suryanto, Charles Guan, Michael Bain

(L-44) Right on Thought, Left Private: Reasoning about Mental Privacy in LogiKEy
Luca Pasetto, Christoph Benzmüller, Réka Markovich

(L-51) Ontology-Driven Rules for Efficient OCEL Timeline Synthesis
Rikayan Chaki, Diego Calvanese

(S-55) A Knowledge-Graph for Machine-Learning Artifact Management Systems
Tom Gimat, Gabriela Moraes, Fabio Porto, Federico Ulliana, Pierre Bisquert, Jean-François Baget, Michel Leclère, Patrick Valduriez

(L-57) Causality and Minimal Supports in Recursive Datalog
Ratan Thapa, Steffen Staab

(L-60) Choice Rules and Aggregates in Casper
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

(L-65) Optimal Unsatisfiable Sets in Answer Set Programming
Carmine Dodaro, Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca

Rule Challenge

(RC-13) Precondition Constraint Acquisition through Explanatory Queries
Sarra Djebour, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar, Grégoire Menguy

(RC-36) Engineering an ontology for Age Related Macular Degeneration using Agentic AI and DL-learner
Călina Borzan, Adrian Groza, Alexandru Lecu, George Munteanu, Simona Nicoara

(RC-77) Paraconsistent Query Answering in Hybrid Knowledge Bases for Aeronautics Applications
Arun Raveendran Nair Sheela, Christophe Rey, Florence De Grancey

(RC-90) Action Rules in Python: High-Utility Mining with Confidence Intervals in a Reproducible Workflow
Katerina Hrudkova, Lukáš Sýkora, Tomas Kliegr

(RC-93) Media Feature Lab: Multimodal LLM-Generated Features and Rule Induction for Explainable Media Classification
Tomas Kliegr, Matěj Koval, Lukáš Sýkora, Michal Ahmet Ay, Vojtěch Balek

Industry Track

(I-82) Energy Twin: A Possibilistic Neuro-Symbolic Framework for Early Warning Detection in Waste-to-Energy Boilers
Esteban Guerrero, Andreas Brännström, Rachele Carli, John Granström, Måns Kjellander, Juan Carlos Nieves

(I-83) Tribo-AI: a Neuro-Symbolic Geometric Reasoning for Scratch Measurement in Tribological SEM Images
Esteban Guerrero, Andreas Brännström, Maria Wojtowicz, Urban Wiklund, Juan Carlos Nieves

(I-84) Towards a Trustworthy Causal Decision-Support Framework for Wastewater Treatment
ZhiJun Cheng, Måns Kjellander, Esteban Guerrero

(I-87) A Neuro-Symbolic AI-based Framework for Holistic SOP Consistency Management in Regulated Industries
Malte Scheuvens, Lisa Katzenschlager, Felix Demmelbauer-Ebner, Annika Loos

(I-88) Jena: Combining Deterministic Rules and LLM Reasoning for Grounded EEG Acquisition Support
Martina Berto, Linas Raičinskis, Aleksandras Voicikas

(I-91) SYNAPSE-KG – Symbolic and Neural Academic & Organizational Platform for Semantic Exploration
Eleonora Laurenza, Emanuel Sallinger, Roxana Dogaru

Doctoral Consortium

(P-76) Aligning Reinforcement Learning by Defining Goals using Knowledge Representation
Paulius Skaisgiris

(P-95) Rule Constrained Reinforcement Learning for Portfolio Optimization in the OMX Baltics Index
Ilja Jurcenko, Igoris Belovas

(P-96) Interactive Dialogs with Logic-Based AI Systems
Tommaso Zendron