Logic List Mailing Archive

RuleML+RR 2022

26-28 Sep 2022
Berlin, Germany

           RuleML+RR 2022

    26th-28th September in Berlin, Germany

Part of DeclarativeAI and co-located with DecisionCAMP and the 18th 
Reasoning Web Summer School

The RuleML+RR 2022 conference is part of the event “Declarative AI: Rules, 
Reasoning, Decisions, and Explanations” and is co-located with 
DecisionCAMP 2022 and the Reasoning Web Summer School. It features the 
RuleChallenge and a Doctoral Consortium as associated events. The 6th 
International Joint Conference on Rules and Reasoning (RuleML+RR 2022) 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://2022.declarativeai.net/ .

RuleML+RR 2022 aims to bring together rigorous researchers and inventive 
practitioners, interested in the foundations and applications of rules and 
reasoning.  It provides a forum for stimulating cooperation and 
cross-fertilization between different communities focused on the research, 
development, and applications of rule-based systems. We are looking for 
high-quality papers related to theoretical advances, novel technologies, 
and artificial intelligence applications that involve rule-based 
representation and reasoning.

RuleML+RR 2022 Programm Chairs
* Guido Governatori, Brisbane, Australia (gvdgdo@gmail.com)
* Anni-Yasmin Turhan,  Dresden University of Technology, Germany

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 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,
* Rule-based approaches for intelligent systems and intelligent information

### 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

### 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
* climate change monitoring, mitigation & adaptation
* environmental protection
* 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
We accept the following submission formats for papers:
* Long papers (up to 15 pages in LNCS style)
* Short papers (up to 8 pages in LNCS style)
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.

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). All
submissions must be prepared in Springer's LNCS style

The conference proceedings will be published by Springer in the Lecture Notes in
Computer Science series (LNCS) after the conference. A selection of the accepted
papers of RuleML+RR 2021 will be invited for submission to the Journal of Theory
and Practice of Logic Programming (TPLP) published by Cambridge University

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

   16th International Rule Challenge
The Rule Challenge solicits high quality papers focussing on practical problems
- or challenges - related to rule-based approaches.  We welcome two different
kinds of submissions:
(1) Challenge descriptions: 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 the evaluation criteria;
(2) 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.
All submissions must be formatted in the LNCS style and should be between 8-15
pages. The paper submission deadline is July 7th, 2022.

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

   The Doctoral Consortium
hosted at RuleML+RR 2022 aims at promoting student research in Artificial
Intelligence, especially research on rule-based formalisms and reasoning. It
offers PhD 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

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 interest to
RuleML+RR 2022.  RuleML+RR DC papers are limited to 8 pages written in English
following the LNCS format and submitted electronically in PDF format jointly
with a maximum 2 pages CV. Details can be found in the RuleML+RR 2022 DC CfP
(https://2022.declarativeai.net/events/ruleml-rr/ruleml-rr-dc).  The paper
submission deadline is July 7th, 2022 (titles/abstracts are due on June 30,

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

Important dates for the RuleML+RR conference
* May 24th: Title and abstract submission
* June 2nd: Paper submission deadline
* August 1st: Notification of acceptance
* September 26th-28th: Conference

For each of these deadlines, a cut-off point of 23:59 AOE applies.
Check out further details materializing at https://2022.declarativeai.net/.
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam