[DMANET] [CfP] Rule Challenge @ RuleML+RR 2026

*Call for Papers:* ******************************************************************************* *** Rule Challenge @ RuleML+RR 2026 *** *** 24-26 August 2026 *** *** Vilnius, Lithuania *** ******************************************************************************* The *20th International Rule Challenge* is the *premier forum* of the 10th International Conference on Rules and Reasoning (RuleML+RR 2026 <https://2026.declarativeai.net/ruleml-rr/>) designed to *benchmark *and * validate* innovative rule-oriented tools, prototypes, and applications. It bridges the gap between theory and practice by fostering competition among solutions tailored to research, industry, and government. Participants are invited to showcase *solutions* *to* *complex*, *real-world problems*, or *drive the community’s research agenda* by proposing new open challenges. Accordingly, submissions are welcome in two main categories: - *Challenge Proposals:* Papers defining rigorous benchmarks, industrial bottlenecks, or novel problems that require rule-based reasoning. Submissions must provide the necessary infrastructure for evaluation, including task descriptions, datasets, and success criteria, highlighting opportunities for rule-based approaches to provide solutions. - *Challenge Solutions:* Papers providing empirical evidence of a system's performance such as benchmarking or comparative analyses of rule engines, evaluating rule-based machine learning, or presenting high-impact case studies. Submissions may also cover industrial experiences, rule- and model-driven engineering, or innovative applications. *Key themes* of the Rule Challenge include, but are not limited to the following: - Rule-based machine learning tools and techniques - Neuro-symbolic reasoning - Large language models (LLMs) and rule learning - Rule-based approaches in Artificial Intelligence (AI) - Rule-based approaches for explainable AI - Rule-based Complex Event Processing / Recognition (CEP/CER) - Stream reasoning - Business rules modelling - Rule standardization for research, industry and government - Graph-relational data and knowledge systems - Higher-order logic and modal logic systems - Rule and ontology combinations - Distributed rule systems / Multi-agent systems - Ontology-Based Data Access (OBDA) systems - Answer Set Programming (ASP) systems - Constraint Logic Programming (CLP) systems - (Controlled) Natural language interfaces - Rules and model-driven engineering The challenge seeks high-quality, original papers, potentially referencing online material, and ranging between *8-15 pages*. Accepted papers will be published as part of CEUR proceedings and should be in the CEUR-WS.org style template CEURART (1-column variant). Please submit your paper via: https://cmt3.research.microsoft.com/DAI2026/ to the Rule Challenge track. *Important Dates (Anywhere on Earth - AoE):* - June 5th, 2026: Paper submission deadline - July 3rd, 2026: Notification of acceptance *Chairs:* Szymon Bobek, Jagiellonian University in Krakow, Poland Zeynep G. Saribatur, TU Wien, Austria *Program Committee:* Dörthe Arndt, TU Dresden Juliana Bowles, University of St Andrews Stefania Costantini, University of L'Aquila Joao Gama, INESC TEC - LIAAD Ognjen Savkovic, Free University of Bozen-Bolzano Marek Sikora, Silesian University of Technology William Van Woensel, University of Ottawa Further information can be found on the Rule Challenge website: https://2026.declarativeai.net/ruleml-rr/rule-challenge ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************