<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">############################################################# <br class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><div class=""><div class=""><br class="">The 33rd ACM SIGAPP Symposium On Applied Computing <br class="">Pau, France <br class="">April, 2018 <br class=""><br class="">Track on Knowledge Representation and Reasoning (KRR) <br class="">Website: <a href="http://www.dmi.unipg.it/bista/organizing/KRR@sac2018/" class="">http://www.dmi.unipg.it/bista/organizing/KRR@sac2018/</a> <br class=""><br class="">SUBMISSION DEADLINE: September 25, 2017 (EXTENDED)</div><div class=""><br class=""></div><div class="">THE PAGE LIMIT HAS BEEN EXTENDED TO 8 PAGES<br class=""><br class="">############################################################### <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. 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 second year after the success achieved in 2017; it follows previous tracks still organised within SAC, as “Constraint Solving and Programming and Knowledge Representation and Reasoning” (held in 2015), “Constraint Solving and Programming” (held from 2005 to 2014), and “A.I. Computational Logic, and Image Analysis” (held from 1999 until 2004). <br class=""><br class=""><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=""><br class=""><br class="">Deadlines and Important Dates: <br class="">September 15, 2017: Submission of regular papers and SRC abstracts. <br class="">November 10, 2017: Notification of papers and posters and SRC acceptance/rejection. <br class="">November 25, 2017: Camera-ready copies of accepted papers. <br class=""><br class=""><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 2018 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 6 pages in the 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/sac2018/" class="">https://www.sigapp.org/sac/sac2018/</a> (the format is usually the format used in the ACM templates). 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://www.sigapp.org/sac/sac2018/submission.html" class="">https://www.sigapp.org/sac/sac2018/submission.html</a> <br class="">BE CAREFUL TO SELECT THE KRR TRACK BY CHECKING THE KRR TRACK RADIO BUTTON!! <br class=""><br class="">After completing the submission, please send also an email to: <a href="mailto:bista@dmi.unipg.it" class="">bista@dmi.unipg.it</a>. 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 “SAC2018 KRR track submission”. <br class=""><br class="">Graduate students are suggested to submit both a regular paper to the KRR track and a 2 page abstract with the same title at the Student Research Competition (SRC) Program, following the instructions published at SAC 2017 website. Authors of selected abstracts will have the opportunity to give poster presentations of their work and compete for three top-winning places. The winners will receive cash awards and SIGAPP recognition certificates during the conference banquet. The winners will also 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="">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. <br class=""><br class=""><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 Nantes, France <br class="">Francesco Santini, University of Perugia, Italy <br class=""><br class=""><br class="">Program Committee:<br class=""><div class="">Leila Amgoud, IRIT Toulouse, France </div><div class="">Ofer Arieli, Academic College of Tel Aviv, Israel </div><div class="">Guillaume Aucher, IRISA/INRIA Rennes, France </div><div class="">Franz Baader, TU Dresden, Germany </div><div class="">Pietro Baroni, University of Brescia, Italy </div><div class="">Roman Bartak, Charles University, Czech Republic </div><div class="">Francesco Belardinelli, Unversity of Evry, France </div><div class="">Martin Caminada, Cardiff University, UK </div><div class="">Claudia d'Amato, University of Bari, Italy </div><div class="">Wolfgang Dvorak, TU Wien, Austria </div><div class="">Wolfgang Faber, Huddersfield School of computing, UK </div><div class="">Aditya K. Ghose, University of Wollongong, Australia </div><div class="">Lluis Godo, Artificial Intelligence Research Institute (IIIA), Spain </div><div class="">Matti Jarvisalo, University of Kelsinki, Finland </div><div class="">Gabriele Kern-Isberner, TU Dortmund, Germany </div><div class="">Boris Konev, University of Liverpool, UK </div><div class="">Sebastien Konieczny, University of Artois, France </div><div class="">Costas Koutras, University of Peloponnese, Greece </div><div class="">Joao Leite, New University of Lisbon, Portugal </div><div class="">Beishui Liao, Zhejiang University, China </div><div class="">Jean-Guy Mailly, University of Paris Descartes Paris, France </div><div class="">Loizos Michael, Open University of Cyprus, Cyprus </div><div class="">Aniello Murano, University of Naples Federico II, Italy </div><div class="">Guillermo R. Simari, Nacional University of Sur, Argentina </div><div class="">Tran Cao Son, New Mexico State University, USA </div><div class="">Matthias Thimm, University of Koblenz-Landau, Germany </div><div class="">Paolo Torroni, University of Bologna, Italy </div><div class="">Nicolas Troquard, University of Bozen, Italy </div><div class="">Serena Villata, CNR Sophia-Antipolis, France </div><div class="">Stefan Woltran, TU Vienna, Austria </div><div class="">Roland Yap, National University of Singapore, Singapore </div><br class=""><br class=""><br class=""><br class="">SAC No-Show Policy: <br 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.<br class=""><br class=""><br class=""><br class=""><br class="">========================================<br class="">Dr. Francesco Santini (Assistant Professor)<br class="">Department of Mathematics and Computer Science<br class="">University of Perugia<br class="">Via Vanvitelli 1<br class="">06123 Perugia<br class="">Italy<br class=""><a href="http://www.dmi.unipg.it/francesco.santini" class="">http://www.dmi.unipg.it/francesco.santini</a><br class="">========================================<br class=""></div></div></div><div class=""><div style="letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><span class="Apple-style-span" style="border-collapse: separate; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; line-height: normal; border-spacing: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""></div></span></div></span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div class=""><div style="color: rgb(0, 0, 0); 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; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><br class=""></div></div></span><br class="Apple-interchange-newline"></div></span><br class="Apple-interchange-newline"></div><br class="Apple-interchange-newline"><br class="Apple-interchange-newline">
</div>
<br class=""></body></html>