[Om-announce] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024)

[Stavros Vassos]

FINAL CALL FOR PAPERS KR 2024 (Deadline: April 24, 2024)
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: https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.kr.org%2FKR2024&data=05%7C02%7C%7C07c75e4189fc4e23c1f208dc603fd0ba%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638491074411233163%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=BlRrjLPjcYT9CHOx%2BvajfW9pcHxpWeG5u8XtMHhDtOg%3D&reserved=0

-- 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 
(https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.kr.org%2FKR2024&data=05%7C02%7C%7C07c75e4189fc4e23c1f208dc603fd0ba%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638491074411233163%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=BlRrjLPjcYT9CHOx%2BvajfW9pcHxpWeG5u8XtMHhDtOg%3D&reserved=0) .

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 (https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.kr.org%2FKR2024%2Fsubmission.php&data=05%7C02%7C%7C07c75e4189fc4e23c1f208dc603fd0ba%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638491074411233163%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=xnXLAZT5LLmkvunNA9aoUJvcRftnqPnmlsbAd6GIGRU%3D&reserved=0) .

-- 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: 
https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.kr.org%2FKR2024%2Fdates.php&data=05%7C02%7C%7C07c75e4189fc4e23c1f208dc603fd0ba%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638491074411233163%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=5K90Z4rtyrOETRIiOQhmpyHdFH6x0%2BMXQWARB%2Bs%2BVZg%3D&reserved=0

KR Inc, not for profit Scientific Foundation, , Massachusetts, USA , , 

Manage preferences (https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhs-5228907.s.hubspotstarter.net%2Fpreferences%2Fen%2Fmanage%3Fdata%3DW2nXS-N30h-zRW3VQ2jH1_l3C1W366_Mq3N_DwkW3dt8JC3DZ5MmW2TMXZV3LFHXCW3dvQbp2YnCC_W2PBjwp4ppV-KW34qgcZ1BCqjfW3_TzfD45G5LdW2RBxJH36c_WmW4chqbF2B0F5QW3bg-wX43F3n7W3ZtBXw45wD4zW21c8LX32xg-NW23lx3L2vRDl2W1Vv_8L3g73S3W2YFfsY49tZP5W2Rs4-L1Vv8k3W3GJ6s51LmXpGW30v1Xr3jwjbWW2HKfHw3NSKdzW2HFZVY4pJCjQW34ltXS1XcRMxW1L740V1NgMM6W1Xv1rs3JPQW2W1LHz_t3JH8QXW25q1wt4tqjfqW49zD2k1NFHsZW2Trt8Z1VxcywW3Y1Mcw2xB4yzW2zQptG34G6F6W20Wxs82FV_ywW3dr7zs4fzXynW2PCfZ11X10fTW1V2ZqN1QdpZ5W212rR034B0gzW2TzBBQ2CqNS3W1Bwt3w22WpTFW1X63g-2-rH9QW34pnrY2t2-2nW1Lm5J83NLT0FW1Xx3-54ft96bW239k-d4pDwkKW3f-PQF2Rg7YwW1X07g_4rj8w6W2PRHkM41PF24f343Vyl04%26_hsenc%3Dp2ANqtz--GTE4dXsOUu0RaeGc-4i7jP2gVipBek77Mq00l2Iu2yn2Za5zz93gME0z9Eo5aB_laHSgA_QeSuIRCJ83cbRe0ugnBrA%26_hsmi%3D303400097&data=05%7C02%7C%7C07c75e4189fc4e23c1f208dc603fd0ba%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638491074411233163%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=x2kBhDsdYp7vh2nIISWgW7kfia8gnC0%2BYdJqdp%2BT0fk%3D&reserved=0 )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20240419/cfcb4990/attachment-0001.htm>