<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<div class="rcmBody" style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<p style="text-align: justify;"><span style="font-size: 14pt;"><strong>20th International Conference on</strong></span></p>
<p style="text-align: justify;"><span style="font-size: 14pt;"><strong><span style="color: #800000;">Principles of Knowledge Representation and Reasoning, KR 2023</span></strong></span></p>
<p style="text-align: justify;"><span style="font-size: 14pt;"><strong>September 2 - September 8, 2023, Rhodes, Greece</strong></span></p>
<p style="text-align: justify;"><strong> </strong></p>
<p style="text-align: justify;"><span style="color: #800000; font-size: 12pt;"><strong>First Call for Papers - Applications & Systems Track</strong></span></p>
<p style="text-align: justify;">Systems and applications incorporating Knowledge Representation and Reasoning (KR) have made tremendous progress over the last decades and become more and more pervasive in scientific, industrial and everyday life. Popular knowledge representation formalisms range from databases, ontologies, classical, probabilistic and non-monotonic logics to natural language, offering rich means to describe a variety of static as well as dynamic phenomena. Automated reasoning systems harness machine learning, combinatorial search and optimization methods, planning, proving, design and diagnosis techniques to provide powerful tools for analyzing and deriving conclusions from complex input data. Novel, general and interdisciplinary approaches are thus vital contributions at the intersection of science, industry and society, aiming to enhance the capabilities and outreach of KR principles and technologies.</p>
<p style="text-align: justify;">This year, for the fourth time, KR 2023 will host a track on "Applications and Systems". The Applications and Systems Track aims at providing researchers and industrial practitioners with a dedicated forum for presentation and discussion of new ideas, research experience and emerging results on topics related to applications of KR formalisms and automated reasoning systems. This track provides the opportunity for fostering meaningful connections between researchers from both practical and theoretical areas of AI and, at the same time, offers participants the possibility to learn about progress made on these topics, share their own views and elaborate about approaches that could lead to effective cross-fertilisation among research in challenging KR applications and new innovative systems for solving them.</p>
<p style="text-align: justify;"> </p>
<p style="text-align: justify;"><span style="font-size: 12pt;"><strong>Expected Contributions</strong></span></p>
<p style="text-align: justify;">The Applications and Systems Track at KR 2023 invites submissions of papers on all aspects of the development, deployment, and evaluation of KR systems to solve significant and challenging application problems, including:</p>
<ul style="text-align: justify;">
<li>case studies, including suitable descriptions of the problem setting, data and tools used, and "lessons learnt",</li>
<li>use cases, including task specifications, related tasks/approaches, challenges, and a sketch of possible KR solution,</li>
<li>benchmarks, including suitable descriptions of the dataset, reasoning tasks, and ideally some "solution set" or gold standard,</li>
<li>system descriptions, including descriptions of the algorithm, implementation</li>
<li>and empirical evaluation on a suitable dataset.</li>
</ul>
<p style="text-align: justify;">We welcome the above kinds of papers on a wide range of topics, including papers describing KR systems, tools, solvers and reasoning engines, as well as papers reporting on applications of KR systems in solving or supporting tasks related to different application areas and settings.</p>
<p style="text-align: justify;">Application areas of interest include but are not restricted to: computational biology, computer vision and image recognition, creative computing, cybersecurity and blockchain, data analysis, databases and query answering, decision support, declarative problem solving, diagnosis and explanation, game theory and social choice, human-computer interaction, intelligent transportation and logistics, intelligent user interfaces, internet of things, machine learning, natural language processing, digital forensics, robotics and human-robot collaboration, semantic web and knowledge graphs, software engineering, and system design. We also welcome submissions talking about interdisciplinary applications of KR, for example in economics, education, life sciences, medicine, and pharmacology, among others.</p>
<p style="text-align: justify;"> </p>
<p style="text-align: justify;"><span style="font-size: 12pt;"><strong>Submission Guidelines and Evaluation Criteria</strong></span></p>
<p style="text-align: justify;">The Applications and Systems Track will allow contributions of both regular papers (9 pages) and short papers (4 pages), excluding references, prepared and submitted according to the authors guidelines in the submission page.</p>
<p style="text-align: justify;">The track emphasizes applications of KR and development of KR systems, and welcomes contributions showcasing the impact of KR research as well as driving future research by presenting challenging data, use cases and problems together with observations and insights gained.</p>
<p style="text-align: justify;">Submissions will be rigorously peer reviewed by PC members, who are active in applications of KR and/or development of KR systems. Submissions will be evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, reproducibility (including that—depending on the nature of the contribution—proofs of main claims and/or empirically evaluated implementations of algorithms, empirical data and related scripts, etc, must be made available to allow other researchers to reproduce the reported results), quality of presentation, and understanding of the state of the art.</p>
<p style="text-align: justify;">In this track, the selection process of the highest quality papers will further apply the following criteria:</p>
<ul style="text-align: justify;">
<li>(for case studies) quality of the evaluation and significance of the "lessons learnt"</li>
<li>(for use cases) importance and novelty of these use cases for KR</li>
<li>(for system descriptions) quality of the empirical evaluation and its reporting</li>
<li>(for benchmarks) reusability, coverage, and complexity of the datasets</li>
</ul>
<p style="text-align: justify;"><strong> </strong></p>
<p style="text-align: justify;"><span style="font-size: 12pt;"><strong>Important Dates</strong></span></p>
<ul style="text-align: justify;">
<li><strong>Submission of title and abstract: </strong>March 3, 2023</li>
<li><strong>Paper submission deadline: </strong>March 14, 2023</li>
<li><strong>Author response period: </strong>May 1-3, 2023</li>
<li><strong>Author notification: </strong>May 18, 2023</li>
<li><strong>Camera-ready papers: </strong>June 9, 2023</li>
<li><strong>Conference: </strong>September 2-8, 2023</li>
</ul>
<p style="text-align: justify;"> </p>
<p style="text-align: justify;"><span style="font-size: 12pt;"><strong>Submission Instructions</strong></span></p>
<p style="text-align: justify;">Each submission should be in English and must be submitted electronically (in .pdf format) via EasyChair:</p>
<p style="text-align: justify;"><strong> </strong><strong><a href="https://easychair.org/conferences/?conf=kr2021" target="_blank" rel="noopener noreferrer">https://easychair.org/conferences/?conf=kr2023</a></strong></p>
<p style="text-align: justify;"> </p>
<p style="text-align: justify;"><span style="font-size: 12pt;"><strong>Chairs</strong></span></p>
<ul>
<li style="text-align: justify;">Matti Järvisalo, University of Helsinki, Finland</li>
<li style="text-align: justify;">Francesco Ricca, University of Calabria, Italy</li>
</ul>
</div>
</body></html>