Paper submission deadline extended to Sept. 25, 2017

OVERVIEW

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).

SCOPE

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:

Argumentation
Belief revision and update, belief merging, etc.
Commonsense reasoning
Constraint solving, programming, technologies
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 discovery 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

SUBMISSIONS

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.

Submissions fall into the following categories:

Original and unpublished research work
Reports of innovative computing applications in the arts, sciences, engineering, and business areas
Reports of successful technology transfer to new problem domains
Reports of industrial experience and demos of new innovative systems

Submission instructions:

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.
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 (US$80) only in the final version of the accepted paper. Please check the author kit latex style on the main SAC website: http://www.sigapp.org/conferences/sac/sac2018/ (the format is usually the format used in the ACM templates). Papers failing to comply with length limitations risk immediate rejection.
Papers accepted as posters are limited to 3 pages, in camera-ready format, included in the registration fee. Authors have the option to include only one (1) extra page at additional fee of US$80.
Submissions will be in electronic format, via the website: https://www.sigapp.org/sac/sac2018/submission.html BE CAREFULL TO SELECT THE KRR TRACK BY CHECKING THE KRR TRACK RADIO BUTTON!! (as shown below)
After completing the submission, please send also an email to: bista@dmi.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 "SAC2018 KRR track submission"
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 2018 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.
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.

Accepted papers instructions:

Accepted, papers must fit within six (6) two column pages, with the option for up to 2 additional pages at cost (US$80 per page).
A second set of selected papers, which did not get accepted as full papers, will be accepted as posters, limited to 3 pages with the option for up to 1 additional page at cost (US$80).
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.

IMPORTANT DATES

The schedule of important dates for the track is as follows, note that the submission deadline is strict:

Paper Submission deadline September 25th, 2017 October, 1st, 2017
Author notification November 10, 2017
Camera-ready copy deadline November 25, 2017

TRACK CHAIRS

Stefano Bistarelli (Primary Contact): Dipartimento di Matematica e Informatica- Università di Perugia, Italy
Email: bista@dmi.unipg.it
Martine Ceberio: Department of Computer Science, University of Texas at El Paso, USA
Eric Monfroy: LINA
University of Nantes, France
Francesco Santini: Dipartimento di Matematica e Informatica- Università di Perugia, Italy

PROGRAM COMMITTEE (TO BE COMPLETED)

Leila Amgoud, IRIT Toulouse, France

Ofer Arieli, Academic College of Tel Aviv, Israel

Guillaume Aucher, IRISA/INRIA Rennes, France

Franz Baader, TU Dresden, Germany

Pietro Baroni, university of Brescia, Italy

Roman Bartak, Charles University, Czech Republic

Francesco Belardinelli, Unversity of Evry, France

Martin Caminada, Cardiff University, UK

Claudia d'Amato, University of Bari, Italy

Wolfgang Dvorak, TU Wien, Austria

Wolfgang Faber, Huddersfield School of computing, UK

Aditya K. Ghose, University of Wollongong, Australia

Lluis Godo, Artificial Intelligence Research Institute (IIIA), Spain

Matti Jarvisalo, University of Kelsinki, Finland

Gabriele Kern-Isberner, TU Dortmund, Germany

Boris Konev, University of Liverpool, UK

Sebastien Konieczny, University of Artois, France

Costas Koutras, University of Peloponnese, Greece

Joao Leite, New University of Lisbon, Portugal

Beishui Liao, Zhejiang University, China

Jean-Guy Mailly, University of Paris Descartes Paris, France

Loizos Michael, Open University of Cyprus, Cyprus

Aniello Murano, University of Naples Federico II, Italy

Guillermo R. Simari, National University of Sur, Argentina

Tran Cao Son, New Mexico State University, USA

Matthias Thimm, University of Koblenz-Landau, Germany

Paolo Torroni, University of Bologna, Italy

Nicolas Troquard, University of Bozen, Italy

Serena Villata, CNRS Sophia-Antipolis, France

Stefan Woltran, TU Vienna, Austria

Roland Yap, National University of Singapore, Singapore