RuleML+RR 2020

4th International Joint Conference on Rules and Reasoning

29 June - 1 July 2020,Virtual

Declarative AI 2020 goes virtual by keeping the planned dates and extending the submission deadlines!

The registration is free of charge.

RuleML + RR 2020

14th International Rule Challenge


Declarative AI 2020 goes virtual by keeping the planned dates and extending the submission deadlines!

The registration is free of charge.

High-quality submissions presenting innovative rule-based tools, demos and applications, related to the RuleML+RR 2020 track topics.

Important Dates

Paper submission: May 22, 2020 (updated on March 27, 2020)

Author notification: June 10, 2020

Camera-ready submission: June 22, 2020

Challenge: 29 June - 1 July 2020, Oslo, Norway -- Online on Zoom

For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies.

The Challenge

The RuleML+RR Challenge is one of the highlights of the conference and seeks to provide competition among innovative rule-oriented applications, aimed at both the research and industrial side.

A prize (500 euro) will be awarded for the best Rule Challenge paper/demo. The assessment criteria include originality, creativity together with feasibility.

Submissions may present demos related to the RuleML+RR 2020 track topics, supply benchmarks and comparison results for rule engines, illustrate rule- and model-driven engineering, report on industrial experiences, present real cases and practical experiences, and realize mobile deployment of rule-based reasoning.


Key themes of the RuleML+RR 2020 Challenge include, but are not limited to the following:

  • Rule standardization for research, industry and government
  • Rule-based machine learning tools and techniques
  • Rule-based approaches for intelligent systems
  • Rule-based Event Processing and Stream Reasoning
  • Business Rules Modelling
  • Graph-Relational Data and Knowledge systems
  • Higher-Order-Logic and Modal-Logic systems
  • Rule and Ontology combinations
  • Modular Rule systems
  • Distributed Rule systems / multi-agent systems
  • Ontology-Based Data Access (OBDA) systems
  • Answer Set Programming (ASP) systems
  • Constraint Logic Programming (CLP) systems
  • Blockchain Rule systems
  • Defeasible, Argumentation, and Legal systems
  • (Controlled) Natural language interfaces
  • Distributed rule bases and rule services
  • Rules and model-driven engineering
  • Reports on industrial experience about rule systems
  • Combining rules with knowledge extraction and information retrieval
  • Rules and social media


The challenge seeks high quality, original papers, potentially referencing online material, and ranging between 5-25 pages (in LNCS style). Submitted papers must be original contributions written in English.

Submissions: via EasyChair

Remember to choose the "Challenge" track.

To ensure high quality, submissions will be carefully peer-reviewed by at least 3 PC members based on clarity and significance of objectives and demonstration of results.

Submissions should address the following, where possible:

  • Explain the objectives, outcomes, benefits as you are going beyond the state of the art in technology, the application domain, etc.
  • Demonstrate the results with a concrete example balancing conciseness and completeness.
  • Preferably (but not necessarily) embed the tool in a web-based or distributed environment or a mobile environment.
  • Present end-user interactions, providing an adequate and usable interface that favors a concrete usage of the application.
  • Mention the availability of the software and data, data interchange, and possible tool extensions.
  • Provide a web-link to the project site, online demonstration, or download site.


Please upload all submissions in LNCS format. International Rule Challenge 2020 proceedings will be published as CEUR Proceedings and indexed by SCOPUS.


Sotiris Moschoyiannis (University of Surrey, UK)

Jan Vanthienen (KU Leuven, Belgium)

Program Committee

Juliana Bowles (University of St Andrews, UK)

Robert Ching-Hsien Hsu (Asia University, Taiwan)

Ryszard Janicki (MacMaster University, Canada)

Paul Krause (University of Surrey, UK)

Djamila Ouelhadj (University of Portsmouth, UK)

Ryan Urbanowicz (Penn State University, USA)

Anna Kobusinska (Poznan University of Technology, Poland)

Matthew Karlsen (University of Surrey, UK)

Ahmet Soylu (Norwegian University of Science and Technology / SINTEF, Norway)

Roger Zimmermann (National University of Singapore)

Past Rule Challenge CEUR-WS Proceedings

Thanks to our partners and sponsors