<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="">###############################################################</div>
<div class="">The 37th ACM SIGAPP Symposium On Applied Computing </div>
<div class="">Brno, Czech Republic</div>
<div class="">April 25 - April 29, 2022</div>
<div class=""><br class="">
</div>
<div class="">Track on Knowledge Representation and Reasoning (KRR) </div>
<div class="">Website: <a href="http://www.dmi.unipg.it/bista/organizing/KRR@sac2022" class="">
http://www.dmi.unipg.it/bista/organizing/KRR@sac2022</a></div>
<div class=""><br class="">
</div>
<div class="">SUBMISSION DEADLINE: <font color="#ff4013" class="">October 24, 2021</font> </div>
<div class=""><br class="">
</div>
<div class="">############################################################### </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Overview: </div>
<div 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. </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Call for paper: </div>
<div 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
behaviour 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: </div>
<div class=""><br class="">
</div>
<div class="">• Argumentation. </div>
<div class="">• Belief revision and update, belief merging. </div>
<div class="">• Commonsense reasoning. </div>
<div class="">• Contextual reasoning. </div>
<div class="">• Description logics. </div>
<div class="">• Diagnosis, abduction, explanation. </div>
<div class="">• Inconsistency and exception tolerant reasoning, paraconsistent logics. </div>
<div class="">• KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems. </div>
<div class="">• KR and decision making, game theory, social choice. </div>
<div class="">• KR and machine learning, inductive logic programming, knowledge discovery and acquisition. </div>
<div class="">• Logic programming, answer set programming, constraint (logic) programming. </div>
<div class="">• Non-monotonic logics, default logics, conditional logics. </div>
<div class="">• Preferences: modelling and representation, preference-based reasoning. </div>
<div class="">• Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics. </div>
<div class="">• Reasoning systems and solvers, knowledge compilation. </div>
<div class="">• Spatial reasoning and temporal reasoning, qualitative reasoning. </div>
<div class="">• Uncertainty, representations of vagueness, many-valued and fuzzy logics. </div>
<div class=""><br class="">
</div>
<div class="">We would like to invite authors to submit papers on research in the KRR area, with particular emphasis on assessing the current state of the art and identifying future directions. </div>
<div class="">Submissions fall into the following categories: </div>
<div class="">• Original and unpublished research work. </div>
<div class="">• Reports of innovative computing applications in the arts, sciences, engineering, and business areas. </div>
<div class="">• Reports of successful technology transfer to new problem domains. </div>
<div class="">• Reports of industrial experience and demos of new innovative systems. </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Deadlines and Important Dates: </div>
<div class="">October 24, 2021: Submission of regular papers and SRC abstracts. </div>
<div class="">December 10, 2021: Notification of papers and posters and SRC acceptance/rejection. </div>
<div class="">December 21, 2021: Camera-ready copies of accepted papers, and registration of at least one author. </div>
<div class="">April 25-29, 2022: Conference </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Submissions Instructions for Regular Papers and SRC Abstracts: </div>
<div 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 2022 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. </div>
<div class=""><br class="">
</div>
<div 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. </div>
<div class=""><br class="">
</div>
<div class="">Please check the author kit latex style on the main SAC website: <a href="https://www.sigapp.org/sac/sac2022/authorkit.html" class="">
https://www.sigapp.org/sac/sac2022/authorkit.html</a>. Papers failing to comply with length limitations risk immediate rejection. </div>
<div class=""><br class="">
</div>
<div class="">Submissions will be in electronic format, via the website: (TO BE ANNOUNCED) </div>
<div class="">PLEASE PAY ATTENTION TO SELECT THE KRR TRACK BY CHECKING THE TRACK RADIO BUTTON!!!</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published on the SAC 2022 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.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Chairs: </div>
<div class="">Stefano Bistarelli, University of Perugia, Italy </div>
<div class="">Martine Ceberio, University of Texas at El Paso, USA </div>
<div class="">Eric Monfroy, University of Angers, France </div>
<div class="">Francesco Santini, University of Perugia, Italy </div>
<div class="">Carlo Taticchi, University of Perugia, Italy</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Program Committee:</div>
<div class="">Mario Alviano, University of Calabria</div>
<div class="">Franz Baader, TU Dresden</div>
<div class="">Berthe Choueiry, University of Nebraska-Lincoln</div>
<div class="">Emmanuel Desmontils, Univesity of Nantes</div>
<div class="">Martin Dieguez, University of Angers</div>
<div class="">Lluis Godo, Artificial Intelligence Research Institute (IIIA)</div>
<div class="">Matti Jarvisalo, University of Helsinki</div>
<div class="">Souhila Kaci, Montpellier</div>
<div class="">Gabriele Kern-Isberner, TU Dortmund</div>
<div class="">Costas Koutras, University of Peloponnese</div>
<div class="">Arnaud Lallouet, University of Caen Normandy</div>
<div class="">Jimmy Lee, The Chinese University of Hong Kong</div>
<div class="">Joao Leite, New University of Lisbon</div>
<div class="">Jean-Guy Mailly, Paris Descartes</div>
<div class="">Marco Maratea, University of Genova</div>
<div class="">Nico Potyka, University of Stuttgart</div>
<div class="">Odinaldo Rodrigues, UCL London</div>
<div class="">Guillermo R. Simari, Universidad Nacional del Sur</div>
<div class="">Tran Cao Son, New Mexico State University</div>
<div class="">Leon van der Torre, University of Luxembourg</div>
<div class="">Serena Villata, CNRS Sophia-Antipolis</div>
<div class="">Johannes Wallner, TU Wien</div>
<div class="">Roland Yap, National University of Singapore</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">SAC No-Show Policy: </div>
<div class="">Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library.
No-show of registered papers and posters will result in excluding them from the ACM digital library.</div>
<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="http://cybersecuritylab.unipg.it" class="">cybersecuritylab.unipg.it</a></p>
<p class="affiliation"><a href="http://krarlab.dmi.unipg.it" class="">krarlab.dmi.unipg.it</a></p>
<p class="links"><a href="https://www.linkedin.com/in/carlotat/" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/linkedin_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="http://dblp.uni-trier.de/pers/hd/t/Taticchi:Carlo" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/dblp_c.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><a href="https://scholar.google.it/citations?user=uSeA5SgAAAAJ" style="background-image:url('https://www.carlotaticchi.it/images/icons/low_res/googlescholar_c.png')" class=""></a></p>
</div>
</div>
<br class="">
</body>
</html>