Logic List Mailing Archive

CfEvents: RuleML+RR 2025 – Rule Challenge, Doctoral Consortium, Industry Track & Networking Session, 22–24 September 2025, Istanbul (Türkiye)

******************************************************************************* 

We wish you a happy new year and hope this call finds you well!
*******************************************************************************
   RuleML+RR 2025
   Rule Challenge, Doctoral Consortium, Industry Track and Networking 
Session
*******************************************************************************

***   RuleML+RR 2025         ***
***   22-24 September 2025   ***
***   ?stanbul, T?rk?ye      ***

Call for contributions for events associated with RuleML+RR 2025:

      Rule Challenge: 
https://2025.declarativeai.net/events/ruleml-rr/rule-challenge
Doctoral Consortium: 
https://2025.declarativeai.net/events/ruleml-rr/doctoral-consortium
      Industry Track: 
https://2025.declarativeai.net/events/ruleml-rr/industry-track
  Networking Session: 
https://2025.declarativeai.net/events/ruleml-rr/networking-session

RuleML+RR 2025 (https://2025.declarativeai.net/events/ruleml-rr) is part 
of Declarative AI 2025 (https://2025.declarativeai.net/)
******************************************************************************* 

*** RuleML+RR 2025 ***
**********************

The International Joint Conference on Rules and Reasoning (RuleML+RR) is 
the leading international joint conference in the field of rule-based 
reasoning. As in the last years, RuleML+RR 2025 features the following 
associated events in addition to the main track:

     Rule Challenge, Doctoral Consortium, Industry Track, Project 
Networking Session

Further below, you find more information on the respective events.

All associated events share the same paper submission deadline:

   July 10th, 2025 (AoE)

Submissions for each of these events are made via Easychair:

   https://easychair.org/conferences/?conf=rulemlrr2025

Please select the respective track when you make a submission.

*******************************************************************************
*** Rule Challenge ***
Chairs:
   Alessandro Margara, Politecnico di Milano, Italy
   Tom?? Kliegr, Prague University of Economics and Business, Czechia
   Ognjen Savkovic, Free University of Bozen-Bolzano, Italy
**********************

The 19th International Rule Challenge is a standout feature of the 
RuleML+RR conference, fostering friendly competition among innovative 
rule-oriented tools, prototypes, and applications tailored to research, 
industry, and government.

Participants are invited to showcase their solutions to self-defined 
challenges, but also propose open challenges for the community to tackle.

Accordingly, submissions are welcome in two main categories:

  * [Challenge Proposals] Papers outlining open challenges, interesting 
problems from academia or industry, or benchmarks relevant to the 
community. Submissions should include task descriptions, datasets, and 
evaluation criteria, highlighting opportunities for rule-based 
approaches to provide solutions.

  * [Challenge Solutions] Papers presenting benchmarking or comparative 
analyses of rule engines, rule-based machine learning techniques, or 
case studies. Submissions may also cover industrial experiences, rule- 
and model-driven engineering, or innovative applications such as 
deployment of rule-based reasoning in geographically distributed, 
edge-to-cloud scenarios.

Key themes of the Rule Challenge include, but are not limited to the 
following:

  * Rule-based machine learning tools and techniques
  * Large language models (LLMs) and rule learning
  * Rule-based approaches in artificial intelligence
  * 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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php