Principles of Knowledge Representation and Reasoning, KR 2024
November 2 - November 8, 2024, Hanoi, Vietnam
Conference web site: www.kr.org/KR2024
-- Call for Papers: KR in the Wild (Special Track) --
As a complement to the traditional KR Main track focusing more on
theoretical advances in KR, the KR in the Wild track aims to showcase
successful deployments of KR formalisms in all types of application
domains as well as recent developments in the state-of-the-art in
automated reasoning systems which form the basis for successful
deployment of declarative problem solving in an ever-increasing number
of practical settings.
Towards these goals, the KR in the Wild Track welcomes contributions
from areas that are sometimes considered as not core KR research. This
includes (but is not restricted to) state-of-the-art reasoning systems
and solvers developed in the various vibrant declarative programming
communities as well as insightful applications of such systems. As
further goals, the track aims to foster interactions between practical
and theoretical advances, and to encourage the discussion of new
ideas, research experiences, emerging results and open challenges that
can inspire novel research directions and influence the future of KR
research.
-- Expected Contributions --
We invite submissions of papers on all aspects of the development,
deployment, and evaluation of KR tools and techniques to solve
application problems, including:
• system descriptions including the description of algorithmic
techniques, heuristics and optimizations for established systems;
• case studies, including descriptions of the problem setting, data
and tools used, and "lessons learnt";
• assessments and reports of experimental studies, rigorously
assessing aspects such as scalability, usability, acceptance and
uptake;
• benchmarks and resources that may support the assessment of KR
tools, such as data sets, collections of problems with "solution
sets" or gold standards.
-- Important Dates --
Can be found on the conference website:
www.kr.org/KR2024/dates.php
-- Submission Guidelines and Evaluation Criteria --
Similarly as for the KR 2024 Main Track, both regular papers (9 pages
excluding references) and short papers (4 pages excluding references)
are welcome. Submissions must be prepared and submitted according to
the authors' guidelines on the submission page:
www.kr.org/KR2024/submission.php
Submissions will be rigorously peer reviewed by PC members on the
basis of the overall quality of their technical contribution, with
special attention to the suitability of submissions in terms of the
scope of the KR in the Wild Track. Due to the applied nature of the
KR In the Wild Track, authors are recommended to make, as applicable,
any relevant data and implementation code available to allow other
researchers to reproduce the reported results.
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.
Papers must be submitted through the CMT conference system:
cmt3.research.microsoft.com/KR2024/.
Please select the respective track.
-- Inquiries --
Inquiries should be sent by email to kr2024.wild@cse.unsw.edu.au and
will be handled by the KR in the Wild Track chairs:
• Matti Järvisalo, University of Helsinki, Finland
• Birte Glimm, University of Ulm, Germany
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
