<div dir="ltr"><div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">FINAL CALL FOR PAPERS</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">19th Conference on Principles of Knowledge Representation and Reasoning </font><span style="font-family:arial,sans-serif">(KR2022)</span></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">July 31 - August 5, 2022, Haifa, Israel</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><a href="https://kr2022.cs.tu-dortmund.de/" target="_blank"><font face="arial, sans-serif">https://kr2022.cs.tu-dortmund.de/</font></a></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Knowledge Representation and Reasoning (<span>KR</span>) is a well-established and lively field of research. In <span>KR</span> a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, <span>KR</span> has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, <span>KR</span> has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">The <span>KR</span> conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">** IMPORTANT DATES **</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">* Submission of title and abstract: February 2, 2022</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">* Paper submission deadline: February 9, 2022</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">* Author response period: March 29-31, 2022</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">* Author notification: April 15, 2022</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">* Camera-ready papers: May 7, 2022</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">* Conference: July 31 - August 5, 2022</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">** SCOPE **</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">We solicit papers presenting novel results on the principles of <span>KR</span> that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of <span>KR</span>. We also encourage "reports from the field" of applications, experiments, developments, and tests.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Topics of interest include, but are not limited to:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Applications of <span>KR</span></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Argumentation</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Belief revision, belief update and belief merging</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Commonsense reasoning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Computational aspects of knowledge representation</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Concept formation, similarity-based reasoning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Contextual reasoning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Decision making</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Description logics</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Explanation finding, diagnosis, causal reasoning, abduction</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Geometric, spatial, and temporal reasoning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Inconsistency- and exception-tolerant reasoning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and autonomous agents and multi-agent systems</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and cognitive modelling</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and cognitive reasoning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and cognitive robotics</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and cognitive systems</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and cyber security</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and education</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and game theory</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and machine learning, inductive logic programming, knowledge acquisition</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and natural language processing and understanding</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- <span>KR</span> and the Web, Semantic Web</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Knowledge graphs and open linked data</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Knowledge representation languages</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Logic programming, answer set programming</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Modelling and reasoning about preferences</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Multi- and order-sorted representations and reasoning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Nonmonotonic logics, default logics, conditional logics</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Ontology formalisms and models</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Ontology-based data access, integration, and exchange</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Philosophical foundations of <span>KR</span></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Qualitative reasoning, reasoning about physical systems</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Reasoning about actions and change, action languages</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Reasoning about constraints, constraint programming</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Reasoning about knowledge, beliefs, and other mental attitudes</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Uncertainty, vagueness, many-valued and fuzzy logics</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">** TRACKS AND SPECIAL SESSIONS **</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">In addition to the main conference track, KR2022 will host the following tracks and sessions:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Applications and Systems Track</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Recently Published Research Track</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Special Session on <span>KR</span> and Machine Learning</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Special Session on <span>KR</span> and Robotics</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">The Recently Published Research track, workshops, tutorials, and the doctoral consortium have different submission and notification dates, which are listed on the conference website.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div><h3 style="box-sizing:border-box;margin-top:0px;margin-bottom:0.5rem;line-height:1.2;padding:20px 0px 5px"><font face="arial, sans-serif" size="2"><font color="#000000"><span style="font-weight:normal">** CO-LOCATED EVENTS **</span><span style="font-weight:400"><br></span></font><span style="font-weight:normal"><span>KR</span> 2022 will be held as part of the Federated Logic Conference (FLoC 2022) <span style="color:rgb(0,0,0)">in Haifa, Israel (</span></span><span style="font-weight:normal"><a href="https://floc2022.org/" target="_blank">https://floc2022.org/</a>), and will be co-located with the 20th International Workshop on Non-Monotonic Reasoning (NMR 2022) and the 35th International Workshop on Description Logics (DL 2022).</span></font></h3></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">** AUTHOR GUIDELINES AND SUBMISSION INFORMATION **</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">All submissions must be written in English and formatted using the style files</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">provided on the <span>KR</span>'22 website. Papers must be submitted in PDF format, through</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">the EasyChair conference system:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><a href="https://easychair.org/conferences/?conf=kr2022" target="_blank"><font face="arial, sans-serif">https://easychair.org/conferences/?conf=kr2022</font></a></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">For the main conference track and additional tracks/sessions (except for</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">the Recently Published Research track), we invite</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Full papers of up to 9 pages, including abstract, figures, and appendices (if any), but excluding references and acknowledgements.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">- Short papers of up to 4 pages, excluding references and acknowledgements.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Both full and short papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings, and to papers uploaded at public repositories (e.g., arXiv).</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Authors may optionally submit a separate PDF containing additional information that substantiates the claims made in their paper, such as proof details, additional experimental results, further details on experimental design, etc. If authors wish to make such material available to reviewers, they should do so by submitting a file through EasyChair, rather than by including links or references in their paper. The main paper must be self-contained, as the supplementary material will not be published. Reviewers will have the option, but not the obligation, to consult the supplementary material.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">The preceding submission guidelines apply to the main track, as well as to the Applications and Systems track, the <span>KR</span> & Machine Learning special session, and the <span>KR</span> & Robotics special session. Different submission guidelines apply to the Recently Published Research track, workshops, tutorials, and the Doctoral Consortium, which will be announced separately.</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">** CONFERENCE CHAIRS **</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">General Chair:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Gerhard Lakemeyer (RWTH Aachen University, Germany)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"> </font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Program Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Gabriele Kern-Isberner (TU Dortmund, Germany)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Thomas Meyer (University of Cape Town and CAIR, South Africa)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Workshop and Tutorial Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Stefan Borgwardt (TU Dresden, Germany)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Maria Vanina Martinez (University of Oxford, UK)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Applications & Systems Track Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Alessandro Antonucci (IDSIA, Switzerland )</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Matthias Thimm (University of Hagen, Germany) </font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Special Session on <span>KR</span> & Machine Learning Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Steven Schockaert (Cardiff University, UK)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Fabio Cozman (University of Sao Paulo, Brazil)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Special Session on <span>KR</span> & Robotics Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Gabriella Cortellessa (National Research Council, Italy)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Enrico Motta (The Open University, UK)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Recently Published Research Track Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Ivan Varzinczak (Université d’Artois and CRIL, France)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Sebastian Rudolph (TU Dresden, Germany)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Doctoral Consortium Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Giovanni Casini (ISTI - CNR Pisa, Italy)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Jandson Santos Ribeiro Santos (University of Hagen, Germany)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Local Chair:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Ofer Arieli (Academic College of Tel Aviv-Yaffo, Israel </font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Sponsorship Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Martin Homola (Comenius University of Bratislava, Slovakia)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Vladislav Ryzhikov Birkbeck (University of London, UK)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Publicity Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Elena Botoeva (University of Kent, UK)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Jesse Heyninck (TU Dortmund, Germany, and University of Cape Town and CAIR, South Africa)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Marco Wilhelm (TU Dortmund, Germany)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif"><br></font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Diversity and Inclusion Chairs:</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Renata Wassermann (University of Sao Paulo, Brazil)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Yazmin Ibanez-Garcia (Cardiff University, UK)</font></div><div style="color:rgb(0,0,0)"><font face="arial, sans-serif">Abhaya Nayak (Macquarie University, Sydney, Australia)</font></div></div></div></div></div></div>