[Kdml] Second cfp: DeclarativeAI --- RuleML+RR conference, Rule Challenge and Doctoral Consortium

RuleML+RR 2022 26th-28th September in Berlin & on-line, 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/ . 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 24th: Title and abstract submission * June 2nd: Paper submission deadline * August 1st: Notification of acceptance * September 26th-28th: Conference The confirmed keynote speakers for RuleML+RR are: Ian Horrocks (University of Oxford), Torsten Schaub (University of Potsdam), Christian de Saint Marie (IBM France), and Paul Vincent (Industry Analyst) RuleML+RR 2022 Programm Chairs * Guido Governatori, Brisbane, Australia (gvdgdo(a)gmail.com) * Anni-Yasmin Turhan, Dresden University of Technology, Germany (anni-yasmin.turhan(a)tu-dresden.de) 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 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 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 ### 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 * 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=declarativeai22 Publication 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 Press. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16th International Rule Challenge Track 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 submission page is https://easychair.org/conferences/?conf=declarativeai22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The Doctoral Consortium Track 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 setting. 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, 2022). Papers can be submitted via https://easychair.org/conferences/?conf=declarativeai22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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/.