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

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2020 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

The theme of the 2020 edition is: Explainable algorithmic decision-making

A flyer briefly introducing the conference is available at:

The proceedings of the conference is published with Springer in the Lecture Notes in Computer Science Series and partnership with Cambridge University Press journal "Theory and Practice of Logical Programming". The conference can be looked up in the widely recognized CORE Rank under the acronym RuleML, used before its merger with the RR conference.

The conference is now over.

Congratulations to:

  • Winner of the best paper award: Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning (by Bram Aerts, Simon Vandevelde and Joost Vennekens)

  • Winner of the best student paper award: Benchmark for Performance Evaluation of SHACL Implementations in Graph Databases (by Robert Schaffenrath, Daniel Proksch, Markus Kopp, Iacopo Albasini, Oleksandra Panasiuk and Anna Fensel)

  • Winner of the best presentation award: Reasoning under Uncertainty in Datalog+/- Knowledge Graphs (by Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger and Evgeny Sherkhonov)

  • Winner of the Rule Challenge award: Action Rules: Counterfactual explanations in Python (by Lukáš Sýkora and Tomáš Kliegr)

Springer proceedings are online!

A selection of the best accepted papers of RuleML+RR 2020 (2-6 papers) will be invited for submission to the Journal of Theory and Practice of Logic Programming (TPLP).

Thanks to our partners and sponsors