Logic List Mailing Archive
CfP: KR 2024: 21st International Conference on Principles of Knowledge Representation and Reasoning, 2 - 8 Nov. 2024, Hanoi (Vietnam)
21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - First Call for Papers
21st International Conference on
Principles of Knowledge Representation and Reasoning, KR 2024
November 2 - November 8, 2024, Hanoi, Vietnam
Conference web site: https://kr.org/KR2024
First 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://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
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 change
• Common-sense reasoning
• Computational aspects of knowledge representation
• Description logics
• Ethical considerations in KR
• Explanation, abduction and diagnosis
• Geometric, spatial, and temporal reasoning
• Inconsistency- and exception-tolerant reasoning
• Knowledge acquisition
• Knowledge compilation, automated reasoning, satisfiability and model counting
• Knowledge representation languages
• Logic programming, answer set programming
• Modeling and reasoning about preferences
• Modeling constraints and constraint solving
• Multi- and order-sorted representations and reasoning
• Non-monotonic logics
• Ontologies and knowledge-enriched data management
• Philosophical foundations of KR
• Qualitative reasoning
• Reasoning about actions and change, action languages
• Reasoning about knowledge, beliefs, and other mental attitudes
• Reasoning in knowledge graphs
• Reasoning in multi-agent systems
• Semantic web
• Similarity-based and contextual reasoning
• Uncertainty and vagueness
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://kr.org/KR2024
KR Inc., not for profit Scientific Foundation, Massachusetts, USA
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php