[Om-announce] 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023: Call for Papers

[Theofanis I. Aravanis]

_* Please note that the deadline for title and abstract submission for 
KR 2023 appearing in WikiCFP website is incorrect! The correct deadline 
for title and abstract submission is March 3, 2023. *_

20th International Conference on

Principles of Knowledge Representation and Reasoning, KR 2023

September 2 - September 8, 2023, Rhodes, Greece

First Call for Papers

Knowledge Representation and Reasoning (KR) is a well-established and 
lively field of research within Artificial Intelligence. KR  builds on 
the fundamental thesis that knowledge can be  represented in an explicit 
declarative form, suitable for processing by dedicated symbolic 
reasoning engines. This enables the exploitation of  knowledge that 
would otherwise be implicit through semantically grounded inference 
mechanisms. Consequently, KR has contributed to the theory and practice 
of various areas in AI, including agents, automated planning and natural 
language processing, and to fields beyond AI, including data management, 
semantic web, verification, software engineering, robotics, 
computational biology, and cyber security.

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

KR 2023 will consist of a number of tracks and events: the Main Track, 
the Applications & Systems Track, the special session on KR & ML, the 
special session on KR, Robotics & Planning, the Recently Published 
Research (RPR) Track, the Tutorials & Workshops, the Doctoral 
Consortium, and the Diversity and Inclusion Session. Details about all 
these events will be made available later (possibly in separate calls).

Contributions to the Main Track, the Applications & Systems Track, the 
special session on KR & ML, and the special session on KR, Robotics & 
Planning will take the form of papers that will be published in the 
proceedings of KR 2023. We solicit papers presenting novel results on 
the principles of KR 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 
KR. We also encourage "reports from the field" of applications, 
experiments, developments, and tests. Further details about the 
submission guidelines and the selection criteria to be considered for 
the Applications & Systems Track, the special session on KR & ML, and 
the special session on KR, Robotics & Planning will be given later 
(possibly in separate calls).

Submission Guidelines

The Main Track, the Applications & Systems Track, as well as the special 
session on KR & ML and the special session on KR, Robotics & Planning 
will allow contributions of both regular papers (up to 9 pages) and 
short papers (up to 4 pages), including abstract, figures, and 
appendices (if any) but excluding references and acknowledgements, 
prepared and submitted according to the authors guidelines provided in 
the submission page.

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, or to papers uploaded at public repositories (e.g., arXiv).

Papers must be written in English and formatted using the style files 
provided in the submission page. Submissions are not anonymous (i.e., 
reviewing will be single-blind) and must be submitted in PDF format, 
through the EasyChair conference system: 
https://easychair.org/conferences/?conf=kr2023

The paper title, author names, contact details, and a brief abstract 
must be submitted electronically through the EasyChair conference system 
by the abstract submission deadline. It will be possible to make minor 
edits to the title and abstract until the full paper submission 
deadline. Submissions with "placeholder" abstracts will be removed 
without consideration.

Full papers must be submitted through the same site by the paper 
submission deadline. The list of author names provided at submission 
time is final. Authors may not be added to, or removed from, papers 
following submission.

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.

Selection Process

The program committee consists of PC members (reviewers) and Area Chairs 
(ACs), who overview the reviewing and meta-reviewing process.

Selection criteria include the novelty and originality of ideas, 
correctness, clarity, significance of results, potential impact and 
quality of the presentation.

Papers violating the format (e.g., by decreasing margins or font sizes) 
or describing contributions that do not significantly meet the topics of 
the conference will be desk rejected by the program chairs, without any 
opportunity to submit an author response.  By submitting a paper, 
authors acknowledge that they are aware of the possibility of receiving 
a summary rejection notification.

Papers that are not desk rejected will be reviewed by a group of  PC 
members (PCs) and the reviewing process will be supervised by an Area 
Chair (AC).

The review process will include the opportunity for authors to respond 
to the reviews by pointing out factual errors in the reviews and 
answering specific questions by the reviewers. Author responses should 
be concise, and are not intended to create a dialogue between reviewers 
and authors. Author responses will be visible to PCs and ACs.

The final decisions will be made by the program co-chairs. There will be 
no appeal for the decisions made.

Accepted papers will be published in the KR 2023 proceedings. At least 
one author of each accepted paper is required to participate in the 
conference and present the work.

Prizes for best papers (the Ray Reiter Best Paper Prize and the Marco 
Cadoli Best Student Paper Prize) will be possibly awarded, and 
runners-up will be possibly pointed out. Top papers from KR 2023 will be 
invited to the award-winning paper tracks of Artificial Intelligence 
(AIJ) and of the Journal of Artificial Intelligence Research (JAIR). 
Thus, award winners will have the possibility of choosing between AIJ 
and JAIR.

All submissions will be treated in strict confidence until the 
publication date.

Organization

General Chair

  	* Gabriele Kern-Isberner | TU Dortmund, Germany

Program Chairs

  	* Pierre Marquis | Université d'Artois, France
  	* Tran Cao Son | New Mexico State University, USA

Local Arrangement Chair

  	* Pavlos Peppas | University of Patras, Greece

RPR Track

  	* Leila Amgoud | IRIT-CNRS, France
  	* Martin Gebser | Graz University of Technology, Austria

Applications & Systems Track

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

Special Session on KR & ML

  	* Tias Guns | KU Leuven, Belgium
  	* Luciano Serafini | Fondazione Bruno Kessler,Italy

Special Session on KR, Robotics & Planning

  	* Esra Erdem | Sabanci University, Turkey
  	* Shiqi Zhang | SUNY Binghamton, USA

Diversity and Inclusion Session

  	* Meghyn Bienvenu | LaBRI-CNRS, France
  	* Stefan Schlobach | Vrije Universiteit Amsterdam, The Netherlands

Doctoral Consortium

  	* Tanya Braun | University of Münster, Germany
  	* Nico Potyka | Imperial College London, UK

Tutorials & Workshops

  	* Nicolas Schwind | AIST, Japan
  	* Serena Villata | I3S-CNRS, France

Funding & Sponsorship

  	* Marcello Balduccini | Saint Joseph's University, USA
  	* Pedro Cabalar | Corunna University, Spain

Publicity Chairs

  	* Theofanis (Fanis) Aravanis | University of Patras, Greece
  	* Guillermo Simari | Universidad Nacional del Sur, Argentina

Web Site

  	* Ioannis (Yannis) Konstantoulas | University of Patras, Greece

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

Details for submission to the RPR track, the Doctoral Consortium, and 
the Tutorials & Workshops will be given later, possibly in separate 
calls.

Topics of Interest

Topics of interest include, but are not limited to:

  	* Applications of KR
  	* Argumentation
  	* Belief revision and update, belief merging
  	* Commonsense reasoning
  	* Computational aspects of knowledge representation
  	* Concept formation, similarity-based reasoning
  	* Contextual reasoning
  	* Decision making
  	* Description logics
  	* Explanation finding, diagnosis, causal reasoning, abduction
  	* Geometric, spatial, and temporal reasoning
  	* Inconsistency- and exception-tolerant reasoning
  	* Knowledge acquisition
  	* Knowledge graphs and open linked data
  	* Knowledge representation languages
  	* KR and automated reasoning (satisfiability, QBF, model counting, 
knowledge compilation)
  	* KR and autonomous agents and multi-agent systems
  	* KR and cognitive modelling
  	* KR and cognitive reasoning
  	* KR and cognitive robotics
  	* KR and cognitive systems
  	* KR and cyber security
  	* KR and education
  	* KR and game theory
  	* KR and machine learning, inductive logic programming,
  	* KR and natural language processing and understanding
  	* KR and the Web, Semantic Web
  	* Logic programming, answer set programming
  	* Modeling and reasoning about preferences
  	* Multi- and order-sorted representations and reasoning
  	* Non-monotonic logics, default logics, conditional logics
  	* Ontology-based data access, integration, and exchange
  	* Ontology formalisms and models
  	* Philosophical foundations of KR
  	* Qualitative reasoning, reasoning about physical systems
  	* Reasoning about actions and change, action languages
  	* Reasoning about constraints, constraint programming
  	* Reasoning about knowledge, beliefs, and other mental attitudes
  	* Uncertainty, vagueness, many-valued and fuzzy logics

Contact

All enquiries should be emailed to kr2023 (AT) easychair.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20230224/6e9ae4e0/attachment-0001.htm>