<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div>###############################################################</div>
<div>The the 40th ACM/SIGAPP Symposium On Applied Computing</div>
<div>Sicily, Italy</div>
<div>March 31 - April 4, 2025</div>
<div><br>
</div>
<div>Track on Knowledge Representation and Reasoning (KRR) </div>
<div>Website: <a href="https://krarlab.dmi.unipg.it/krrtrack/2025/">https://krarlab.dmi.unipg.it/krrtrack/2025/</a></div>
<div><br>
</div>
<div><b><font color="#e32400">SUBMISSION DEADLINE: <strike>September 20, 2024</strike> October 4, 2024</font></b></div>
<div>############################################################### </div>
<div><b><br>
</b></div>
<div><b>Overview</b></div>
<div>The topic of the track covers an important field of research in Artificial Intelligence: KRR is indeed a trending topic (for instance, its Argumentation-theory subfield). A similar dedicated conference is the International Conference on Principles of Knowledge
Representation and Reasoning, but all the major conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among their topics of interest. KRR track will be a venue for all the researchers and practitioners working on the fundaments (but also applications)
of reasoning, and the cross-fertilization among different approaches (e.g., Argumentation and Belief Revision).</div>
<div><br>
</div>
<div>
<div><b>Scope</b></div>
<div>Knowledge-representation and Reasoning (KRR) is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build
intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed.
In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. Topics of interest include, but are not limited to:</div>
<div>
<ul class="MailOutline">
<li>Argumentation</li><li>Constraint solving, programming, technologies</li><li>Belief revision and update, belief merging, etc.</li><li>Commonsense reasoning</li><li>Contextual reasoning</li><li>Description logics</li><li>Diagnosis, abduction, explanation</li><li>Inconsistency- and exception tolerant reasoning, para-consistent logics</li><li>KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems</li><li>KR and decision making, game theory, social choice</li><li>KR and machine learning, inductive logic programming, knowledge discovery and acquisition</li><li>Logic programming, answer set programming, constraint logic programming</li><li>Non-monotonic logics, default logics, conditional logics</li><li>Preferences: modeling and representation, preference-based reasoning</li><li>Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics</li><li>Reasoning systems and solvers, knowledge compilation</li><li>Spatial reasoning and temporal reasoning, qualitative reasoning</li><li>Uncertainty, representations of vagueness, many-valued and fuzzy logics</li></ul>
</div>
</div>
<div><br>
</div>
<div>
<div><b>Submissions</b></div>
<div>We would like to invite authors to submit papers on research on KRR area, with particular emphasis on assessing the current state of the art and identifying future directions. Original papers addressing any of the listed topics of interest (or related
topics) will be considered. Each submitted paper will be fully refereed and undergo a double-blind review process by at least three referees. Accepted papers will be included in the ACM SAC 2024 proceedings and published in the ACM digital library, being indexed
by Thomson ISI Web of Knowledge and Scopus. Submissions fall into the following categories:</div>
<div>
<ul class="MailOutline">
<li>Original and unpublished research work</li><li>Reports of innovative computing applications in the arts, sciences, engineering, and business areas</li><li>Reports of successful technology transfer to new problem domains</li><li>Reports of industrial experience and demos of new innovative systems</li></ul>
</div>
<div><br>
</div>
<div><b>Submission instructions</b></div>
<div>
<ul class="MailOutline">
<li>Submissions should be properly anonymized to facilitate blind reviewing: The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. Only the title should be shown at the first page without
the author's information.</li><li>Paper size is strictly limited to 8 pages in the SAC style. A maximum of 2 additional pages may be included for an additional fee only in the final version of the accepted paper. Please check the author kit latex style on the main SAC website https://www.sigapp.org/sac/sac2025/authorkit.php
(the format is usually the format used in the ACM templates). Papers failing to comply with length limitations risk immediate rejection.</li><li>Papers accepted as posters are limited to 2 pages, in camera-ready format, included in the registration fee. Authors have the option to include only one (1) extra page at additional fee.</li><li>Submissions will be in electronic format, via the website: <a href="https://www.sigapp.org/sac/sac2025/submission.php">
https://www.sigapp.org/sac/sac2025/submission.php</a>. BE CAREFULL TO SELECT THE KRR TRACK BY CHECKING THE KRR TRACK RADIO BUTTON!</li><li>After completing the submission, please send also an email to: stefano.bistarelli@unipg.it The body of the email should include the title of the paper, the author(s) name(s) and affiliation(s), and the address (including e-mail, telephone, and fax) to which
correspondence should be sent. The subject of the email should be "SAC2025 KRR track submission"</li><li>Papers that received high reviews (that is acceptable by reviewer standards) but were not accepted due to space limitation can be invited for the poster session.</li></ul>
</div>
<div><br>
</div>
<div><b>Accepted papers instructions</b></div>
<div>Accepted, papers must fit within eigth (8) two column pages, with the option for up to 2 additional pages at additional cost.</div>
<div>A second set of selected papers, which did not get accepted as full papers, will be accepted as posters, limited to 2 pages with the option for up to 1 additional page at additional cost.</div>
<div>Authors of accepted papers must be prepared to sign a copyright statement and must pay the registration fee and guarantee that their paper will be presented at the conference. No-show of scheduled papers will result in excluding the papers from the ACM/IEEE
digital library.</div>
</div>
<div><br>
</div>
<div>
<div><b>Important Dates</b></div>
<div>The schedule of important dates for the track is as follows. Note that the submission deadline is strict.</div>
<div>
<ul class="MailOutline">
<li><strike>September 20, 2024</strike> October 4, 2024 - Submission of regular papers</li><li>October 30, 2024 - Notification of paper acceptance/rejection</li><li>November 29, 2024 - Camera-ready copies of accepted papers</li><li>December 6, 2024 - Author registration due date</li></ul>
<div><br>
</div>
</div>
</div>
<div><br>
</div>
<div><br class="Apple-interchange-newline">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; display: inline !important; float: none;">-- </span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; display: inline !important; float: none;">Carlo
Taticchi, PhD</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; display: inline !important; float: none;">University
of Perugia</span> </div>
</div>
</div>
<br>
</body>
</html>