X-Received: by 10.13.214.83 with SMTP id y80mr20472818ywd.33.1473324909885; Thu, 08 Sep 2016 01:55:09 -0700 (PDT) X-Received: by 10.157.18.211 with SMTP id g77mr3738522otg.19.1473324909827; Thu, 08 Sep 2016 01:55:09 -0700 (PDT) Path: csiph.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!m9no1690204qte.0!news-out.google.com!b4ni12524iti.0!nntp.google.com!i184no1780494itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.constraints Date: Thu, 8 Sep 2016 01:55:09 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=141.250.228.59; posting-account=I9F9EwoAAAAkfdBPAI3k5G6D7yL-fY8a NNTP-Posting-Host: 141.250.228.59 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: CFP: **Deadline Extension** Knowledge Representation and Reasoning @SAC17 From: santini.francesco@gmail.com Injection-Date: Thu, 08 Sep 2016 08:55:09 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Lines: 163 Xref: csiph.com comp.constraints:182 Deadline extended to September 29, 2016 ############################################################### The 32nd ACM SIGAPP Symposium On Applied Computing Marrakech, Morocco April 3 - 7, 2017 Track on Knowledge Representation and Reasoning (KRR) Website: http://www.dmi.unipg.it/bista/organizing/KR@sac2017/ ############################################################### Overview: The topic of the track covers an important field of research in Artificial = Intelligence: KRR is indeed a trending topic (for instance, its Argumentati= on-theory subfield). A similar dedicated conference is the International Co= nference on Principles of Knowledge Representation and Reasoning, but all t= he 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 rea= soning, and the cross-fertilization among different approaches (e.g., Argum= entation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. T= he average acceptance rate per track is under 25%.=20 Call for paper: Knowledge-representation is the field of artificial intelligence that focus= es on designing computer representations that capture information about the= world that can be used to solve complex problems. Its goal is to understan= d and build intelligent behavior from the top down, focusing on what an age= nt needs to know with the purpose to behave intelligently, how this knowled= ge can be represented symbolically, and how automated reasoning procedures = can make this knowledge available as needed. In KRR a fundamental assumpti= on is that an agent's knowledge is explicitly represented in a declarative = form, suitable for processing by dedicated reasoning engines. Topics of int= erest include, but are not limited to: - Argumentation - Belief revision and update, belief merging, etc. - Commonsense reasoning - Constraint Programming and KRR - Contextual reasoning - Description logics - Diagnosis, abduction, explanation - Inconsistency- and exception tolerant reasoning, para-consistent logics - KR and autonomous agents: intelligent agents, cognitive robotics, multi-= agent systems - KR and decision making, game theory, social choice - KR and machine learning, inductive logic programming, knowledge discover= y and acquisition - Logic programming, answer set programming, constraint logic programming - Non-monotonic logics, default logics, conditional logics - Preferences: modeling and representation, preference-based reasoning - Reasoning about knowledge and belief, dynamic epistemic logic, epistemic= and doxastic logics - Reasoning systems and solvers, knowledge compilation - Spatial reasoning and temporal reasoning, qualitative reasoning - Uncertainty, representations of vagueness, many-valued and fuzzy logics Important Dates: - September 29, 2016: Papers and SRC research abstracts submission - September 25, 2016: Tutorial proposals submission - October 25, 2016: Tutorials notifications - November 10, 2016: Paper and SRC notifications - November 25, 2016: Paper and SRC camera-ready copies =E2=80=A2 December 1= 0, 2016: Author registration Submissions: We would like to invite authors to submit papers on research on KRR area, w= ith particular emphasis on assessing the current state of the art and ident= ifying future directions. Submissions fall into the following categories: - Original and unpublished research work - Reports of innovative computing applications in the arts, sciences, engin= eering, and business areas - Reports of successful technology transfer to new problem domains - Reports of industrial experience and demos of new innovative systems Submissions Instructions: Original papers addressing any of the listed topics of interest (or related= topics) will be considered. Each submitted paper will be fully refereed an= d undergo a double-blind review process by at least three referees. Accepte= d papers will be included in the ACM SAC 2017 proceedings and published in = the ACM digital library, being indexed by Thomson ISI Web of Knowledge and = Scopus. Submissions should be properly anonymized to facilitate blind revie= wing: 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. Paper size is = strictly limited to 6 pages in the SAC style. A maximum of 2 additional pag= es may be included for an additional fee only in the final version of the a= ccepted paper.=20 Please check the author kit latex style on the main SAC website: http://www= .acm.org/conferences/sac/sac2017/ (the format is usually the format used in= the ACM templates). Papers failing to comply with length limitations risk = immediate rejection. Submissions will be in electronic format, via the website: https://www.soft= conf.com/h/sac2017/ BE CAREFULL TO SELECT THE KRR TRACK BY CHECKING THE KRR= TRACK RADIO BUTTON!! After completing the submission, please send also an email to: bista@dmi.un= ipg.it. The body of the email should include the title of the paper, the au= thor(s) name(s) and affiliation(s), and the address (including e-mail, tele= phone, and fax) to which correspondence should be sent. The subject of the = email should be "SAC2017 KRR track submission" Graduate students are suggested to submit both a regular paper to the KRR t= rack and a 2 page abstract with the same title at the Student Research Comp= etition (SRC) Program, following the instructions published at SAC 2017 web= site. Authors of selected abstracts will have the opportunity to give poste= r presentations of their work and compete for three top-winning places. The= winners will receive cash awards and SIGAPP recognition certificates durin= g the conference banquet. The winners will also receive SRC travel support = (US$500) and are eligible to apply to the SIGAPP Student Travel Award Progr= am (STAP) for additional travel support. Papers that received high reviews (that is acceptable by reviewer standards= ) but were not accepted due to space limitation can be invited for the post= er session. Chairs: Stefano Bistarelli, University of Perugia, Italy Martine Ceberio, University of Texas at El Paso, USA Eric Monfroy, University of Nantes, France Francesco Santini, University of Perugia, Italy Program Committee: Leila Amgoud, IRIT Toulouse, France Ofer Arieli, Academic College of Tel Aviv, Israel Roman Bartak, Charles University, Czech Republic Elise Bonzon, LIPADE Paris Descartes, France Martin Caminada, Cardiff, UK Madalina Croitoru, LIRMM Montepellier, France Claudia D'Amato, Universit=C3=A0 degli Studi di Bari, Italy Pierpaolo Dondio, Dublin Institute of Technology, Ireland Aditya K. Ghose, University of Wollongong, Australia Massimiliano Giacomin, Universit=C3=A0 degli Studi di Brescia, Italy Lluis Godo, Artificial Intelligence Research Institute (IIIA), Spain Davide Grossi, University of Liverpool, UK Anthony Hunter, University College London, UK Gabriele Kern-Isberner, TU Dortmund, Germany John Lawrence, University of Dundee, UK Joao Leite, New University of Lisbon, Portugal Beishui Liao, Zhejiang University, China Loizos Michael, Open University of Cyprus, Cyprus Aniello Murano, University of Naples Federico II, Italy Barry O'Sullivan, University College Cork, Ireland Guillermo R. Simari, Universidad Nacional del Sur, Argentina Tran Cao Son, New Mexico State University, USA Matthias Thimm, Universit=C3=A4t Koblenz-Landau, Germany Paolo Torroni, University of Bologna, Italy Leon van der Torre, University of Luxembourg, Luxembourg Serena Villata, Signaux et Syst=C3=A8mes de Sophia-Antipolis, France Stefan Woltran, TU Vienna, Austria Roland Yap , National University of Singapore, Singapore SAC No-Show Policy: An author or a proxy must attend SAC to present the work. This is a require= ment for all accepted papers, posters, and invited SRC submissions to be in= cluded in the ACM digital library. No-show of scheduled papers, posters, an= d SRC submissions will result in excluding them from the ACM Digital Librar= y.