6-12 Nov 2021
Hanoi, Vietnam
CALL FOR PAPERS *Applications and Systems Track* of the 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) November 6-12, 2021, Hanoi, Vietnam https://kr2021.kbsg.rwth-aachen.de/ ------------------ Important Dates ------------------ Submission of title and abstract: March 24, 2021 Paper submission deadline: March 31, 2021 Author response period: May 24-26, 2021 Notification: June 15, 2021 Camera-ready papers: July 14, 2021 Conference dates: November 6-12, 2021 ------------------ 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 second time, KR 2021 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 2021 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. ------------------ Submission Guidelines and Evaluation Criteria ------------------ 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 Authors Guidelines for KR 2021. 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 ------------------ Martin Gebser (University of Klagenfurt & Graz University of Technology, Austria) Martin.Gebser@aau.at Uli Sattler (University of Manchester, UK) Uli.Sattler@manchester.ac.uk -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html 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