<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">[Apologies if you receive multiple copies of this CFP]</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">###############################################################<br class="">
The 39th ACM SIGAPP Symposium On Applied Computing <br class="">
Avila, Spain<br class="">
April 8 - April 12, 2024<br class="">
<br class="">
Track on Knowledge Representation and Reasoning (KRR) <br class="">
Website: <a href="https://krarlab.dmi.unipg.it/KRR@SAC2024/" class="">https://krarlab.dmi.unipg.it/KRR@SAC2024/</a><br class="">
<br class="">
<b class=""><font color="#e32400" class="">SUBMISSION DEADLINE: <strike class="">
September 15 September 29</strike> October 13, 2023</font></b><br class="">
<br class="">
############################################################### <br class="">
<br class="">
<br class="">
Overview: <br class="">
The topic of the track covers an important field of research in Artificial Intelligence: Knowledge Representation and Reasoning (KRR) is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks.
Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Some examples of automated reasoning engines include inference engines, theorem provers, and classifiers. KRR track will be a venue
for all the researchers and practitioners working on the fundaments and applications of reasoning, and cross-fertilisation among different areas (e.g., Argumentation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate
per track is under 25%. KRR track is organised for the third consecutive year at SAC. <br class="">
<br class="">
<br class="">
Call for paper:<br class="">
Knowledge-representation 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: <br class="">
<br class="">
• Argumentation. <br class="">
• Belief revision and update, belief merging. <br class="">
• Commonsense reasoning. <br class="">
• Contextual reasoning. <br class="">
• Description logics. <br class="">
• Diagnosis, abduction, explanation. <br class="">
• Inconsistency and exception tolerant reasoning, paraconsistent logics. <br class="">
• KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems. <br class="">
• KR and decision making, game theory, social choice. <br class="">
• KR and machine learning, inductive logic programming, knowledge discovery and acquisition. <br class="">
• Logic programming, answer set programming, constraint (logic) programming. <br class="">
• Non-monotonic logics, default logics, conditional logics. <br class="">
• Preferences: modeling and representation, preference-based reasoning. <br class="">
• Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics. <br class="">
• Reasoning systems and solvers, knowledge compilation. <br class="">
• Spatial reasoning and temporal reasoning, qualitative reasoning. <br class="">
• Uncertainty, representations of vagueness, many-valued and fuzzy logics. <br class="">
<br class="">
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. <br class="">
Submissions fall into the following categories: <br class="">
• Original and unpublished research work. <br class="">
• Reports of innovative computing applications in the arts, sciences, engineering, and business areas. <br class="">
• Reports of successful technology transfer to new problem domains. <br class="">
• Reports of industrial experience and demos of new innovative systems.<br class="">
<br class="">
<br class="">
Special Issue:<br class="">
We will consider inviting the authors of the papers submitted to the track to present an extended version of their work in a planned journal's special issue.<br class="">
<br class="">
<br class="">
Deadlines and Important Dates:<br class="">
<strike class="">September 15 September 29</strike> <b class=""><font color="#e32400" class="">October 13, 2023 Submission of regular papers and SRC research abstracts</font></b></div>
<div class="">October 30, 2023 Notification of paper acceptance/rejection<br class="">
October 30, 2023 Notification of SRC acceptance/rejection<br class="">
November 30, 2023 Camera-ready copies of accepted papers/SRC<br class="">
November 30, 2023 Author registration due date<br class="">
<br class="">
<br class="">
Submissions Instructions for Regular Papers and SRC Abstracts: <br class="">
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 should be properly anonymised 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. <br class="">
<br class="">
Paper size is *strictly* limited to 8 pages in SAC style; a maximum of 2 additional pages may be included for an additional fee, extending the final version of the accepted paper. <br class="">
<br class="">
Please check the author kit latex style on the main SAC website: <a href="https://www.sigapp.org/sac/sac2024/authorkit.php" class="">
https://www.sigapp.org/sac/sac2024/authorkit.php</a>. Papers failing to comply with length limitations risk immediate rejection. <br class="">
<br class="">
Submissions will be in electronic format, via the website: <a href="https://softconf.com/n/sac2024/" class="">
https://softconf.com/n/sac2024/</a> <br class="">
PLEASE PAY ATTENTION TO SELECT THE KRR TRACK BY CHECKING THE TRACK RADIO BUTTON!!!<br class="">
<br class="">
<br class="">
Students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2024 website. Submission of the same abstract to multiple tracks is not allowed. Authors of selected abstracts
will have the opportunity to give poster and oral presentations of their work and compete for three top-winning places. The SRC committee will evaluate and select First, Second, and Third place winners. The winners will receive medals and cash awards. Winners
will be announced during the conference banquet. Invited students receive SRC travel support (US$500) and are eligible to apply to the SIGAPP Student Travel Award Program (STAP) for additional travel support.<br class="">
<br class="">
Submission of the same abstract to multiple tracks is not allowed. Double Submission to both SRC and the track should be substantially different.<br class="">
<br class="">
<br class="">
Chairs: <br class="">
Stefano Bistarelli, University of Perugia, Italy <br class="">
Martine Ceberio, University of Texas at El Paso, USA <br class="">
Eric Monfroy, University of Angers, France <br class="">
Francesco Santini, University of Perugia, Italy <br class="">
Carlo Taticchi, University of Perugia, Italy<br class="">
<br class="">
<br class="">
Preliminar Program Committee: <br class="">
Johannes Peter Wallner, Graz University of Technology<br class="">
Roland Yap, National University of Singapore<br class="">
Guillermo Simari, Universidad Nacional del Sur<br class="">
Odinaldo Rodrigues, King's College London<br class="">
Souhila Kaci, University of Montpellier<br class="">
Nico Potyka, Cardiff University<br class="">
Gabriele Kern-Isberner, Technical University Dortmund<br class="">
Costas Koutras, American University of the Middle East<br class="">
Joao Leite, NOVA University of Lisbon<br class="">
Mario Alviano, University of Calabria<br class="">
Lluis Godo, Spanish National Research Council<br class="">
Franz Baader, Dresden University of Technology<br class="">
Gianvincenzo Alfano, Università della Calabria<br class="">
Ofer Arieli, Academic College of Tel-Aviv<br class="">
Massimiliano Giacomin, University of Brescia<br class="">
Martin Dieguez, University of Angers<br class="">
Marc Legeay, University of Angers<br class="">
Rafael Penaloza, University of Milano-Bicocca<br class="">
Damiano Azzolini, University of Ferrara<br class="">
Sagar Malhotra, University of Trento<br class="">
Victor David, University of Perugia<br class="">
Michael Morak, University of Klagenfurt<br class="">
Anna Rapberger, Imperial College London<br class="">
<br class="">
<br class="">
<br class="">
<br class="">
SAC No-Show Policy: <br class="">
Paper registration is required, allowing the inclusion of the papers and posters in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for all accepted papers, posters, and invited SRC submissions to
be included in the ACM digital library. No-show of scheduled papers, posters, and student research abstracts will result in excluding them from the ACM digital library.</div>
<br class="">
<div class=""><style type="text/css" class="">
#sign{color:#424242;font-family:sans-serif;}
#name{font-weight:bold;margin:0 0 .5em;}
#uni{margin:0 0 .5em;}
#position{margin:0;}
.affiliation{color:#757575;margin:0;}
.affiliation a{color:#757575;text-decoration:none;}
.links{margin:.8em 0 0 0;}
.links a{color:#424242;height:1.2em;margin-right:.2em;width:1.2em;background-size:contain;background-repeat:no-repeat;display:inline-block;}
</style><br class="">
<div id="sign" class="">--
<p id="name" class="">Carlo Taticchi, PhD</p>
<p id="uni" class="">University of Perugia</p>
<p class="affiliation"><a href="https://cybersecuritylab.unipg.it/" class="">cybersecuritylab.unipg.it</a></p>
<p class="affiliation"><a href="https://krarlab.dmi.unipg.it/" class="">krarlab.dmi.unipg.it</a></p>
<p class="links"><a href="https://www.scopus.com/authid/detail.uri?authorId=57009118700" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/scopus_c.png')" class=""></a><a href="https://orcid.org/0000-0003-1260-4672" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/orcid_c.png')" class=""></a><a href="https://dblp.uni-trier.de/pid/169/0459.html" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/dblp_c.png')" class=""></a><a href="https://scholar.google.it/citations?user=uSeA5SgAAAAJ" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/googlescholar_c2.png')" class=""></a><a href="https://www.researchgate.net/profile/Carlo-Taticchi" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/researchgate_c.png')" class=""></a></p>
</div>
</div>
<br class="">
</body>
</html>