Logic List Mailing Archive
CfP: RuleML+RR 2025: The 9th International Joint Conference on Rules and Reasoning , 22-24. September 25, Istanbul (Türkiye)
###############################################################################
The 9th International Joint Conference on Rules and Reasoning (RuleML+RR
2025)
== Call for Papers ==
*** RuleML+RR 2025 ***
*** 22-24 September 2025 ***
*** İstanbul, Türkİye ***
Abstract: June 2nd, 2025
Paper: June 9th, 2025
Homepage: https://2025.declarativeai.net/events/ruleml-rr
RuleML+RR 2025 is part of Declarative AI 2025
(https://2025.declarativeai.net/)
###############################################################################
RuleML+RR 2025 is a leading international joint conference in the field
of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.
RuleML+RR 2025 aims to bring together researchers and practitioners
interested in the foundations and applications of rules and reasoning.
It provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems. We solicit high-quality papers related to theoretical advances, novel technologies, and applications that involve rule-based representation and reasoning or other declarative forms of artificial intelligence.
The RuleML+RR 2025 conference is part of the event “Declarative AI:
Rules, Reasoning, Decisions, and Explanations”
(https://2025.declarativeai.net/) and is co-located with DecisionCAMP
2025 and the Reasoning Web Summer School. Apart from the main track, it
features:
* 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),
* Project Networking Session
(https://2025.declarativeai.net/events/ruleml-rr/networking-session)
*** Topics ***
RuleML+RR welcomes research from all areas of Rules and Reasoning. The
topics of the conference include, but are not limited to:
* Ontology/Semantic Web
* Rules for AI and AI for Rules
* Rules and Reasoning / Logics
* Rules-Based Systems
* Rules and Interoperability
* Constraints and Schema
* System Descriptions, Applications and Experiences of Ontologies and Rules
See the conference homepage for more details on the topics:
https://2025.declarativeai.net/events/ruleml-rr/cfp
*** Important Dates ***
Main track:
Abstract submission: June 2, 2025
Paper submission: June 9, 2025
Notification: July 28, 2025
Conference: September 22–24, 2025
Associated events (Rule Challenge, Doctoral Consortium, Industry Track,
and ProjectNetworking Session)
- July 10, 2025: Paper submission deadline
- July 31, 2025: Notification of acceptance
For each of these deadlines, a cut-off point of 23:59 AOE applies.
**Submission and Publication**
High-quality papers related to theoretical advances, novel technologies,
and artificial intelligence applications concerning explainable
algorithmic decision-making that involve rule-based representation and
reasoning are solicited.
We accept the following submission formats for papers:
- Long papers (up to 15 pages in LNCS style excluding references, plus 2
additional pages for references)
- Short papers (up to 8 pages in LNCS style excluding references, plus 1
additional page for references)
Long papers should present original and significant research and/or
development results. Short papers should concisely describe general
results or specific applications, systems, or position statements. All
submissions must be prepared in Springer's LNCS style
(http://www.springer.com/comp/lncs/authors.html).
Submitted papers must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference/workshop with formal proceedings. Double submission to a
workshop with informal proceedings is allowed. Papers put on arXiv are
also allowed as long as they are not refereed (i.e., formally reviewed
by peers).
Submissions to the RuleML+RR conference
- abide by the page limits (see above)
- are not anonymous
- can have additional material included as an external report
(appendices to the submission are not permitted and a paper should be
self-contained)
Papers should be written in English and submitted using EasyChair:
https://easychair.org/conferences/?conf=rulemlrr2025
The conference proceedings will be published by Springer in the Lecture
Notesin Computer Science series (LNCS) after the conference. Proceedings
of the associated events will be published by CEUR. Special Issues of
Theory and Practice of Logic Programming and Transactions on Graph Data
and Knowledge are planned with extended versions of selected papers.
The main track's best paper will be awarded the RuleML+RR Harold Boley
Distinguished Paper Award 2025 and best student paper will be awarded
the RuleML+RR Best Student Paper Award 2025.
The best RuleML Challenge paper will be awarded the RuleML+RR Best Rule
Challenge Paper Award 2025. The best Doctoral Consortium paper will be
awarded the RuleML+RR Best Doctoral Consortium Paper Award 2025.
***Chairs***
Program Chairs
Aidan Hogan, University of Chile, Chile
Ken Satoh, National Institute of Informatics, Japan
Proceedings Chairs
Dumitru Roman, SINTEF AS, Norway
Ahmet Soylu, Kristiania University College, Norway
Rule Challenge Chairs
Alessandro Margara, Politecnico di Milano, Italy
Tomáš Kliegr, Prague University of Economics and Business, Czechia
Doctoral Consortium Chairs
Shqiponja Ahmetaj, TU Wien, Austria
Riccardo Tommasini, INSA Lyon, France
Industry Track Chairs
Luigi Bellomarini, Banca d’Italia, Italy
Evgeny Kharlamov, Bosch Center for Artificial Intelligence, Germany
Ioana Georgiana Ciuciu, Babeș-Bolyai University, Romania
Networking Session
Dumitru Roman, SINTEF AS, Norway
George Konstantinidis, University of Southampton, UK
Emanuel Sallinger, Vienna University of Technology, Austria
Publicity Chairs
Kai Sauerwald, FernUniversität in Hagen, Germany
Tor-Morten Grønli, Kristiania University College, Norway
Romuald Esdras Wandji, Umeå University, Sweeden
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php