<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<p>CALL FOR PAPERS<br />17th Conference on Principles of Knowledge Representation and Reasoning (KR2020)<br />12-18 September 2020, Rhodes, Greece<br />https://kr2020.inf.unibz.it/<br /><br />Knowledge Representation and Reasoning (KR) is a well-established and lively<br />field of research. In KR a fundamental assumption is that an agent's knowledge<br />is explicitly represented in a declarative form, suitable for processing by<br />dedicated reasoning engines. This assumption, that much of what an agent deals<br />with is knowledge-based, is common in many modern intelligent systems.<br />Consequently, KR has contributed to the theory and practice of various areas in<br />AI, including automated planning and natural language understanding, and to<br />fields beyond AI, including databases, verification, software engineering, and<br />robotics. In recent years, KR has contributed also to new and emerging fields,<br />including the semantic web, computational biology, cyber security, and the<br />development of software agents.<br /><br />The KR conference series is the leading forum for timely in-depth presentation<br />of progress in the theory and principles underlying the representation and<br />computational management of knowledge.<br /><br /><br />SCOPE<br /><br />We solicit papers presenting novel results on the principles of KR that clearly<br />contribute to the formal foundations of relevant problems or show the<br />applicability of results to implemented or implementable systems. We also<br />welcome papers from other areas that show clear use of, or contributions to,<br />the principles or practice of KR. We also encourage "reports from the field"<br />of applications, experiments, developments, and tests.<br /><br />Topics of interest include, but are not limited to:<br />- Applications of KR<br />- Argumentation<br />- Belief revision and update, belief merging, information fusion<br />- Commonsense reasoning<br />- Computational aspects of knowledge representation<br />- Concept formation, similarity-based reasoning<br />- Contextual reasoning<br />- Decision making<br />- Description logics<br />- Explanation finding, diagnosis, causal reasoning, abduction<br />- Geometric, spatial, and temporal reasoning<br />- Inconsistency- and exception tolerant reasoning, paraconsistent logics<br />- KR and autonomous agents and multi-agent systems<br />- KR and cognitive robotics<br />- KR and cyber security<br />- KR and education<br />- KR and game theory<br />- KR and machine learning, inductive logic programming, knowledge acquisition<br />- KR and natural language processing and understanding<br />- KR and the Web, Semantic Web<br />- Knowledge graphs, virtual knowledge graphs, and open linked data<br />- Knowledge representation languages<br />- Logic programming, answer set programming, constraint logic programming<br />- Modeling and reasoning about preferences<br />- Multi- and order-sorted representations and reasoning<br />- Nonmonotonic logics, default logics, conditional logics<br />- Ontology formalisms and models<br />- Ontology-based data access, integration, and exchange<br />- Philosophical foundations of KR<br />- Qualitative reasoning, reasoning about physical systems<br />- Reasoning about actions and change, action languages<br />- Reasoning about knowledge, beliefs, and other mental attitudes<br />- Uncertainty, vagueness, many-valued and fuzzy logics<br /><br />KR2020 will also feature Workshops and Tutorials, solicited by means of an open<br />call, and a Doctoral Consortium.<br /><br /><br />TRACKS<br /><br />In addition to the main conference track, KR2020 will host the following tracks<br />and sessions:<br /><br />* Applications and Systems Track<br />* Recent Published Research Track<br />* Special Session: KR and Machine Learning <br />* Special Session: KR and Robotics<br />* Special Session: Women in KR<br /><br /><br />IMPORTANT DATES<br /><br />Submission of title and abstract: 4 March 2020<br />Paper submission deadline: 11 March 2020<br />Author response period: 4-6 May 2020<br />Notification: 27 May 2020<br />Camera-ready papers: 24 June 2020<br />Conference dates: 12-18 September 2020<br /><br />Recent Published Research Track, Workshops and Tutorials, and Doctoral<br />Consortium will have different submission and notification dates, which will be<br />announced separately.<br /><br /><br />AUTHORS GUIDELINES<br /><br />All submissions must be written in English and in AAAI style. Papers must be<br />submitted in PDF format, through the EasyChair conference system:<br /><br />https://easychair.org/conferences/?conf=kr2020 .<br /><br />For the main conference track and additional tracks/sessions (except for the<br />Recent Published Research track), we invite<br /><br />- Full papers of up to 9 pages, including abstract, figures, and appendices<br /> (if any), but excluding references and acknowledgements.<br />- Short papers of up to 4 pages, excluding references and acknowledgements.<br /><br />Both full and short papers must describe original, previously unpublished<br />research, and must not simultaneously be submitted for publication elsewhere.<br />These restrictions do not apply to previously accepted workshop papers with a<br />limited audience and/or without archival proceedings, and to papers uploaded at<br />public repositories (e.g., arXiv).<br /><br />The accepted full papers and short papers will be published in the KR2020<br />proceedings.<br /><br />Recent Published Research Track, Workshops and Tutorials, and Doctoral<br />Consortium will have different submission guidelines, which will be announced<br />separately.<br /><br /><br />CONFERENCE CHAIRS:<br /><br />General:<br /> Michael Thielscher (University of New South Wales, Australia)<br /><br />Program:<br /> Diego Calvanese (Free University of Bozen-Bolzano, Italy),<br /> Esra Erdem (Sabanci University, Turkey)<br /><br />Applications Track:<br /> Chitta Baral (Arizona State University, USA),<br /> Francesco Ricca (University of Calabria, Italy)<br /><br />Recent Published Research Track:<br /> James Delgrande (Simon Fraser University, Canada)<br /> Miros?aw Truszczynski (University of Kentucky, USA)<br /><br />Special Session: KR & ML:<br /> Alessandra Russo (Imperial College London, UK),<br /> Guy Van den Broeck (UCLA, USA)<br /><br />Special Session: KR & Robotics:<br /> Michael Beetz (University of Bremen, Germany),<br /> Fredrik Heintz (Linkoping University, Sweden)<br /><br />Special Session: Women in KR:<br /> Meghyn Bienvenu (University of Bordeaux, France),<br /> Magdalena Ortiz (Vienna University of Technology, Austria)<br /><br />Workshop and Tutorials:<br /> Anni-Yasmin Turhan (Dresden University of Technology, Germany),<br /> Renata Wassermann (University of Sao Paulo, Brasil)<br /><br />Doctoral Consortium:<br /> Vaishak Belle (University of Edinburgh, UK),<br /> Rafael Penaloza Nyssen (University of Milano-Bicocca, Italy)<br /><br />Local Organization:<br /> Pavlos Peppas (University of Patras, Greece)<br /><br />Publicity:<br /> Theofanis Aravanis (University of Patras, Greece)<br /> Paolo Felli (Free University of Bozen-Bolzano, Italy)</p>
</body></html>