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.

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