*******************************************************************************
*** 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/events/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/
*
**********************************************************
Posts
