CALL FOR PAPERS Call for Papers: Applications and Systems Track of the 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022)
July 31 - August 5, 2022, Haifa, Israel https://kr2022.cs.tu-dortmund.de/cfp_applications_and_systems_track.php ** IMPORTANT DATES ** * Submission of title and abstract: February 2, 2022 * Paper submission deadline: February 9, 2022 * Author response period: March 29-31, 2022 * Author notification: April 15, 2022 * Camera-ready papers: May 7, 2022 * Conference: July 31 - August 5, 2022 ** DESCRIPTION ** 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. This year, for the third time, KR 2022 will host a track on "Applications and Systems". This 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. ** EXPECTED CONTRIBUTIONS ** The Applications and Systems Track at KR 2022 invites submissions of papers on all aspects of the development, deployment, and evaluation of KR systems to solve significant and challenging application problems, including: - case studies, including suitable descriptions of the problem setting, data and tools used, and “lessons learnt”, - use cases, including task specifications, related tasks/approaches, challenges, and a sketch of possible KR solution, - benchmarks, including suitable descriptions of the dataset, reasoning tasks, and ideally some “solution set” or gold standard, - system descriptions, including descriptions of the algorithm, implementation - and empirical evaluation on a suitable dataset. We welcome the above kinds of papers on a wide range of topics, including classic KR tools/techniques as well as their usage for solving or supporting tasks in a range of areas, for example: - Computational Biology - Computer Vision and Image/Video Recognition - Creative Computing - Cybersecurity and Blockchain - Data Analytics - Databases and Query Answering - Diagnosis and Explanation - Game Theory and Social Choice - 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 - System Design We welcome submissions talking about interdisciplinary applications of KR, for example in economics, education, life sciences, medicine, and pharmacology. ** AUTHOR GUIDELINES AND SUBMISSION INFORMATION ** 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: https://kr2022.cs.tu-dortmund.de/submission.php 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. 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, quality of presentation, and understanding of the state of the art. In this track, the selection process of the highest quality papers will further apply the following criteria: - (for case studies) quality of the evaluation and significance of the "lessons learnt”" - (for use cases) importance and novelty of these use cases for KR - (for system descriptions) quality of the empirical evaluation and its reporting - (for benchmarks) reusability, coverage, and complexity of the datasets ** CHAIRS ** Alessandro Antonucci (IDSIA, Switzerland) Matthias Thimm (University of Hagen, Germany) Wichtiger Hinweis: Die Information in dieser E-Mail ist vertraulich. Sie ist ausschließlich für den Adressaten bestimmt. Sollten Sie nicht der für diese E-Mail bestimmte Adressat sein, unterrichten Sie bitte den Absender und vernichten Sie diese Mail. Vielen Dank. Unbeschadet der Korrespondenz per E-Mail, sind unsere Erklärungen ausschließlich final rechtsverbindlich, wenn sie in herkömmlicher Schriftform (mit eigenhändiger Unterschrift) oder durch Übermittlung eines solchen Schriftstücks per Telefax erfolgen. Important note: The information included in this e-mail is confidential. It is solely intended for the recipient. If you are not the intended recipient of this e-mail please contact the sender and delete this message. Thank you. Without prejudice of e-mail correspondence, our statements are only legally binding when they are made in the conventional written form (with personal signature) or when such documents are sent by fax.
