[Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: First CFP - Apps & Systems Track

[Theofanis I. Aravanis]

20th International Conference on

Principles of Knowledge Representation and Reasoning, KR 2023

September 2 - September 8, 2023, Rhodes, Greece

First Call for Papers - Applications & Systems Track

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 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.

Expected Contributions

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:

  	* 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 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.

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.

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 the authors guidelines 
in the submission page.

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, 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.

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

Important Dates

  	* Submission of title and abstract: March 3, 2023
  	* Paper submission deadline: March 14, 2023
  	* Author response period: May 1-3, 2023
  	* Author notification: May 18, 2023
  	* Camera-ready papers: June 9, 2023
  	* Conference: September 2-8, 2023

Submission Instructions

Each submission should be in English and must be submitted 
electronically (in .pdf format) via EasyChair:

  https://easychair.org/conferences/?conf=kr2023 [1]

Chairs

  	* Matti Järvisalo, University of Helsinki, Finland
  	* Francesco Ricca, University of Calabria, Italy



Links:
------
[1] https://easychair.org/conferences/?conf=kr2021
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20221214/de6d924c/attachment-0001.htm>