[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/events/ruleml-rr/rule-challenge

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   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/
*
**********************************************************