[Event at CIG] [CfP] Call for Papers: 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023)

[Raoul Koudijs]

RuleML+RR 2023

18th-20th September in Oslo, Norway

(part of DeclarativeAI and co-located with DecisionCAMP and the 19th

Reasoning Web Summer School)

The RuleML+RR 2023 conference is part of the event “Declarative AI:

Rules, Reasoning, Decisions, and Explanations” and is co-located with

DecisionCAMP 2023 and the Reasoning Web Summer School. It features the

RuleChallenge and a Doctoral Consortium as associated events.

The 7th International Joint Conference on Rules and Reasoning (RuleML+RR

2023) is the 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.

See https://2023.declarativeai.net/ <https://2022.declarativeai.net/> .  We
are looking for high-quality

papers related to theoretical advances, novel technologies, and

artificial intelligence applications that involve rule-based

representation and reasoning.

Important dates for the RuleML+RR conference

* May 20th, 2023: Title and abstract submission

* May 27th, 2023: Paper submission deadline

* July 1st, 2023: Notification of acceptance

* September 18th-20th, 2023: Conference

RuleML+RR 2023 Program Chairs

* Anna Fensel, Wageningen University, the Netherlands (anna.fensel at wur.nl)

* Ana Ozaki, University of Bergen, Norway

(ana.ozaki at uib.no)

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

   -

   Vocabularies, ontologies, and business rules
   -

   Ontology-based mediated query answering
   -

   Rules for knowledge graphs creation and interoperation
   -

   Rules for knowledge graph embeddings and ontology learning
   -

   Rule-based data integration
   -

   Data management and data interoperability for web data
   -

   Distributed agent-based systems for the web


###Rules for AI and AI for Rules

   -

   Rule-based approaches to natural language processing
   -

   Applications of rule technologies with explainable AI (xAI) elements
   -

   Machine learning approaches involving rules
   -

   Explainable AI approaches based on rules
   -

   FAIRness approaches based on rules
   -

   Rule-based approaches for intelligent systems and intelligent
   information access


###Rules and Reasoning / Logics

   -

   Non-classical logics and the web
   -

   Description Logics, existential rules
   -

   Higher-order and modal rules
   -

   Constraint programming
   -

   Logic programming, ASP, and datalog
   -

   Rule based argumentation
   -

   Rule-based approaches to agents and multi-agent systems
   -

   Reasoning with incomplete, inconsistent and uncertain data
   -

   Non-monotonic, common-sense, and closed-world reasoning
   -

   Inconsistency-tolerant rule reasoning


###Technical Aspects of Rule Systems / Rule Technology

   -

   Streaming data and complex event processing
   -

   Web reasoning and distributed rule inference and execution
   -

   Scalability and expressive power of logics for the Semantic Web
   -

   Scalability and expressive power of logics for rules
   -

   Data quality and benchmarks


###Rules and Interoperability

   -

   Rule markup languages, rule interchange formats, and rule standards
   -

   Rule-based policies, reputation, and trust
   -

   Rules and human language technology


###System Descriptions, Applications and Experiences of Ontologies and
Rules in:

   -

   Climate change monitoring, mitigation & adaptation
   -

   Environmental protection
   -

   Agriculture and agri-food
   -

   Healthcare and life sciences
   -

   Equity and social welfare
   -

   Law, regulation, and finance
   -

   Digital Twins
   -

   Industrial contexts
   -

   Production & business rule systems


. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Main conference track

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 including references)

* Short papers (up to 8 pages in LNCS style including 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).

Submissions to the RuleML+RR conference

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). Papers can be submitted using EasyChair

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

Publication

The conference proceedings will be published by Springer in the Lecture

Notes in Computer Science series (LNCS) after the conference. The best

paper will be awarded the RuleML+RR Harold Boley Distinguished Paper

award. A selection of the best accepted papers (2-6) of RuleML+RR 2023 will
be

invited for submission to the Journal of Theory and Practice of Logic

Programming (TPLP).

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

The Doctoral Consortium

The RuleML+RR Doctoral Consortium 2023 is an initiative to attract and
promote student research in Artificial Intelligence, especially research on
rule-based formalisms and reasoning in such formalisms. It offers students
close contact with leading experts in the field, as well as the opportunity
to present and discuss their ideas in a dynamic and friendly setting. The
DC is organized as part of Declarative AI 2023: Rules, Reasoning,
Decisions, and Explanations (Oslo, 18-20 September 2023).

We invite PhD students at an early or intermediate stage of their PhD
studies, as well as exceptional master’s students who are interested in
pursuing a PhD, to submit papers describing their research on any of the
topics of RuleML+RR 2023. Papers should range between 8 and 15 pages, be
written in English, and follow the CEUR-WS.org format. They are submitted
electronically in PDF together with a maximum 2 page-long CV by 20 May 2023
(title and abstract) and 27 May 2023 (full paper and CV) through the link
https://easychair.org/conferences/?conf=declarativeai2023. Further details
can be found at
https://2023.declarativeai.net/events/ruleml-rr/ruleml-rr-doctoral-consortium
.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Rule Challenge

The 17th International Rule Challenge is one of the highlights of the
RuleML+RR conference and creates friendly competition among innovative
rule-oriented tools, prototypes and applications, aimed at research,
industry, and government.

In the 2023 edition of the challenge we give the opportunity to not only
present results on self-introduced challenges but also to describe open
challenges to be addressed by the community. Particularly, we welcome two
kinds of submissions:

   1.

   Challenge proposals: Papers describing open challenges, interesting
   problems from academia or industry, and benchmarks which are of interest
   for the community and can be solved by rule-based approaches, including
   task description, datasets, and evaluation criteria.


   1.

   Challenge solutions: Papers supplying benchmarking or comparison results
   for rule engines, rule-based machine learning techniques, illustrating
   rule- and model-driven engineering, reporting on case studies and
   industrial experiences, and realizing mobile deployment of rule-based
   reasoning.


Specific challenges for this year are listed below from contributors:

   -

   Rule Engines Benchmarking, submitted by Kevin Angele, Semantic
   Technology Institute, University of Innsbruck, Austria.
   <https://drive.google.com/file/d/1zd-UsBGUtVTwuty6_IHq5QuEu2bFT5j-/view?usp=share_link>


The best challenge paper will be awarded the RuleML+RR Rule Challenge award
2023. The assessment criteria include originality, creativity together with
feasibility.

More information:
https://2023.declarativeai.net/events/ruleml-rr/ruleml-rr-rule-challenge