21st International Conference on
Principles of Knowledge Representation and Reasoning, KR 2024
November 2 - November 8, 2024, Hanoi, Vietnam
Deadline for submissions (final call) : 24 April 2024
Conference web site: www.kr.org/KR2024
-- Final Call for Papers --
Knowledge Representation and Reasoning (KR) is a well-established and
vibrant field of research within Artificial Intelligence. KR builds
on the fundamental thesis that knowledge can often 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. KR has contributed to the theory and practice of
various areas of AI, including agents, automated planning, robotics
and natural language processing, and to fields beyond AI, including
data management, semantic web, verification, software engineering,
computational biology, and cybersecurity.
The KR conference series is the leading forum for timely in-depth
presentation of progress in the theory and practice of the
representation and computational management of knowledge.
KR 2024 will consist of a number of tracks and events. It will include
a KR in the Wild, a Reasoning, Learning and Decision Making track and
a recently published research (RPR) track, tutorials, workshops,
competitions, and a doctoral Consortium. Details about all these
events and the corresponding calls can be found on the website
(www.kr.org/KR2024) .
We solicit papers presenting novel results on the principles of KR,
which clearly contribute to the formal foundations of the field, or
show the applicability of KR techniques to implemented or
implementable systems. We welcome papers from other areas that
demonstrate 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 can be
found on the website (www.kr.org/KR2024/submission.php) .
-- Important Dates --
• Submission of title and abstract: April 24, 2024
• Paper submission deadline: May 1, 2024
• Author response period: June 25 - July 1st
• Author notification: July 10, 2024
• Camera-ready papers: July 31, 2024
• Conference: November 2-8, 2024
-- Submission Guidelines --
Contributions may be regular papers (up to 9 pages) or short papers
(up to 4 pages), including abstract, figures, and appendices (if any)
but excluding references and acknowledgements.
Both full and short papers must describe original, previously
unpublished research and should not be simultaneously submitted
elsewhere. These restrictions do not apply to papers already accepted
in workshops with a limited audience and without archival proceedings,
or to papers available in public repositories (e.g., arXiv). Note
that extended abstracts of recently published works can be submitted
to the recently published research track, which has a separate call.
Papers must be written in English and formatted using the style files
provided in the submission page. Submissions are not anonymous (i.e.,
reviewing is single-blind) and must be submitted in PDF format.
The paper title, author names, contact details, and a brief abstract
must be submitted electronically through the 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
after submission.
Authors may submit a separate PDF with additional information
supporting their claims (such as proof details, additional
experimental results, further details on experimental design, etc).
Such supplementary material should be submitted via the conference
management system. The 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).
During the reviewing period, authors will have the opportunity to
respond to reviews by pointing out factual errors and answering
specific questions. 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 program co-chairs will
make the final decisions and there are no appeals.
Accepted papers will be published in the KR 2024 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) may be awarded, and runners-up may be
mentioned. Top papers from KR 2024 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 confidentially until the publication
date.
-- Topics of Interest --
Typical topics of interest include the following, but the list is not
exhaustive. The conference welcomes all topics concerned with the
explicit representation or management of knowledge, and with the
automated inference on the basis of such knowledge.
• Argumentation
• Belief revision and update, belief merging
• Common-sense reasoning
• Computational aspects of knowledge representation
• Concept formation, similarity-based and contextual reasoning
• Description logics
• Explanation finding, diagnosis, causal reasoning, abduction
• Geometric, spatial, and temporal reasoning
• Inconsistency- and exception-tolerant reasoning
• Knowledge acquisition
• Ontologies and reasoning in the semantic web
• Knowledge representation languages
• Knowledge compilation, automated reasoning, satisfiability and
model counting
• Logic programming, answer set programming
• Reasoning about preferences
• Reasoning in multi-agent systems
• Non-monotonic logics, default logics, conditional logics
• Qualitative reasoning, reasoning about physical systems
• Reasoning about plans, actions and change, action languages
• Reasoning about constraints and preferences
• Reasoning about knowledge, beliefs, and other mental attitudes
• Uncertainty, vagueness, many-valued and fuzzy logics
-- Submission Site --
Papers should be in English and must be submitted electronically to
the Main track of KR 2024.
The submission site will open on Thursday 15 February 2024.
Further details can be found via the conference web site:
www.kr.org/KR2024/dates.php
KR Inc, not for profit Scientific Foundation, , Massachusetts, USA , ,
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
