<div dir="ltr"><p class="MsoNormal" style="margin:0in;line-height:normal;font-size:11pt;font-family:Calibri,sans-serif"><span style="font-size:12pt;font-family:"Times New Roman",serif">18th Conference on Principles of Knowledge Representation and Reasoning
(KR2021)<br>
<br>
November 6-12, 2021, Hanoi, Vietnam<br>
<br>
<a href="https://kr2021.kbsg.rwth-aachen.de/" target="_blank">https://kr2021.kbsg.rwth-aachen.de</a><br>
<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
fields<br>
beyond AI, including databases, verification, software engineering, and
robotics.<br>
In recent years, KR has contributed also to new and emerging fields, including
the<br>
semantic web, computational biology, cyber security, and the development of<br>
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>
<b><br>
SCOPE</b><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.<br>
<br>
Topics of interest include, but are not limited to:<br>
<br>
- Applications of KR<br>
<br>
- Argumentation<br>
<br>
- Belief revision and update, belief merging, information fusion<br>
<br>
- Commonsense reasoning<br>
<br>
- Computational aspects of knowledge representation<br>
<br>
- Concept formation, similarity-based reasoning<br>
<br>
- Contextual reasoning<br>
<br>
- Decision making<br>
<br>
- Description logics<br>
<br>
- Explanation finding, diagnosis, causal reasoning, abduction<br>
<br>
- Geometric, spatial, and temporal reasoning<br>
<br>
- Inconsistency- and exception-tolerant reasoning, paraconsistent logics<br>
<br>
- KR and autonomous agents and multi-agent systems<br>
<br>
- KR and cognitive robotics<br>
<br>
- KR and cyber security<br>
<br>
- KR and education<br>
<br>
- KR and game theory<br>
<br>
- KR and machine learning, inductive logic programming, knowledge acquisition<br>
<br>
- KR and natural language processing and understanding<br>
<br>
- KR and the Web, Semantic Web<br>
<br>
- Knowledge graphs and open linked data<br>
<br>
- Knowledge representation languages<br>
<br>
- Logic programming, answer set programming<br>
<br>
- Modeling and reasoning about preferences<br>
<br>
- Multi- and order-sorted representations and reasoning<br>
<br>
- Nonmonotonic logics, default logics, conditional logics<br>
<br>
- Ontology formalisms and models<br>
<br>
- Ontology-based data access, integration, and exchange<br>
<br>
- Philosophical foundations of KR<br>
<br>
- Qualitative reasoning, reasoning about physical systems<br>
<br>
- Reasoning about actions and change, action languages<br>
<br>
- Reasoning about constraints, constraint programming<br>
<br>
- Reasoning about knowledge, beliefs, and other mental attitudes<br>
- Uncertainty, vagueness, many-valued and fuzzy logics<br>
<br>
<br>
The KR2021 program will also feature workshops and tutorials, solicited by
means<br>
of an open call, as well as a doctoral consortium.<br>
<br>
<br>
<b>TRACKS</b><br>
<br>
In addition to the main conference track, KR2021 will host the following tracks<br>
and sessions:<br>
<br>
* Applications and Systems Track<br>
<br>
* Recently Published Research Track<br>
<br>
* Special Session on KR and Machine Learning<br>
<br>
* Special Session on KR and Robotics<br>
<br>
<b>IMPORTANT DATES</b><br>
<br>
Submission of title and abstract: March 24, 2021<br>
<br>
Paper submission deadline: March 31, 2021<br>
<br>
Author response period: May 24-26, 2021<br>
<br>
Notification: June 15, 2021<br>
<br>
Camera-ready papers: July 14, 2021<br>
<br>
Conference dates: November 6-12, 2021<br>
<br>
The Recently Published Research track, workshops, tutorials, and the doctoral<br>
consortium will have different submission and notification dates, which will<br>
be announced separately.<br>
<br>
<b>AUTHOR GUIDELINES</b><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>
<a href="https://easychair.org/conferences/?conf=kr2021" target="_blank">https://easychair.org/conferences/?conf=kr2021</a><br>
<br>
For the main conference track and additional tracks/sessions (except for<br>
the Recently 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>
<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<br>
a limited audience and/or without archival proceedings, and to papers uploaded
at<br>
public repositories (e.g., arXiv).<br>
<br>
Accepted full papers and short papers will be published in the KR2021
proceedings.<br>
<br>
Authors may optionally submit a separate PDF containing additional information<br>
that substantiates the claims made in their paper, such as proof details,
additional<br>
experimental results, further details on experimental design, etc. If authors
wish<br>
to make such material available to reviewers, they should do so by submitting a<br>
file through Easy Chair, rather than by including links or references in their
paper.<br>
Please note that the main paper must be self-contained, as the supplementary
material<br>
will not be published. Moreover, reviewers will have the option but not
the<br>
obligation to consult the supplementary material. <br>
<br>
The preceding submission guidelines apply to the main track, as well as to the<br>
Applications and Systems track, the KR & Machine Learning special session,
and the<br>
KR & Robotics special session. By contrast, different submission guidelines
apply<br>
to the Recently Published Research track, workshops, tutorials, and the
doctoral<br>
consortium, which will be announced separately.<br>
<br>
<br>
<b>CONFERENCE CHAIRS:</b><br>
<br>
General:<br>
Esra Erdem (Sabanci University, Turkey)<br>
<br>
Program:<br>
Meghyn Bienvenu (CNRS & University of Bordeaux, France)<br>
Gerhard Lakemeyer (RWTH Aachen University, Germany)<br>
<br>
<br>
Applications and Systems Track:<br>
Martin Gebser (University of Klagenfurt, Austria)<br>
Ulrike Sattler (University of Manchester, UK)<br>
<br>
<br>
Recently Published Research Track:<br>
Vladimir Lifschitz (University of Texas at Austin, USA)<br>
Pierre Marquis (Artois University & Institut Universitaire de
France, France)<br>
<br>
<br>
Special Session on KR & Machine Learning:<br>
Vaishak Belle (University of Edinburgh, UK)<br>
Luc de Raedt (KU Leuven, Belgium)<br>
<br>
<br>
Special Session on KR & Robotics:<br>
Alessandro Saffioti (University of Örebro, Sweden)<br>
Mary-Anne Williams (University of Technology Sydney, Australia)<br>
<br>
<br>
Workshop and Tutorials:<br>
Markus Kroetzsch (TU Dresden, Germany)<br>
Yongmei Liu (Sun Yat-sen University, China)<br>
<br>
<br>
Doctoral Consortium:<br>
Jens Classen (Simon Fraser University)<br>
Magdalena Ortiz (TU Vienna, Austria)<br>
<br>
<br>
Local Organization:<br>
Giuseppe De Giacomo (Sapienza University, Italy)<br>
Son Tran (New Mexico State University, USA)<br>
Long Tran-Thanh (University of Warwick, UK)<br>
Thanh Van Dinh (East Asia University of Technology, Vietnam)<br>
<br>
<br>
Virtual Conference Arrangements:<br>
Stefan Borgwardt (TU Dresden, Germany)<br>
Marco Console (Sapienza University Italy)<br>
Long Tran-Thanh (University of Warwick, UK)<br>
<br>
<br>
Sponsorship:<br>
Kuldeep S. Meel (NUS, Singapore)<br>
Zeynep G. Saribatur (TU Wien, Austria)<br>
<br>
<br>
Publicity:<br>
Thanh Van Dinh (East Asia University of Technology, Vietnam)<br>
Paolo Felli (Free University of Bozen-Bolzano, Italy)</span></p>
<p class="MsoNormal" style="margin:0in 0in 8pt;line-height:107%;font-size:11pt;font-family:Calibri,sans-serif"> </p><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><img src="https://docs.google.com/uc?export=download&id=17ooA_tTVj1EVXDCIvdMdMkGaN1lW7_dF&revid=0BwScEBmBf4XuVm1tb0ZDTDR6elRiM0NIUlAvUUdRanNJK1FVPQ"></div><div>Hong Thom</div><div dir="ltr"><div style="margin:0px;padding:0px 0px 20px;width:1190px;color:rgb(34,34,34);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div><div style="margin:8px 0px 0px;padding:0px"><div><div dir="ltr"><font color="#888888"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><p style="margin:0cm 0cm 0.0001pt;background-image:initial;background-position:initial;background-repeat:initial"><b><font color="#0b5394">International Training and Cooperation </font></b><b style="font-size:12.8px"><font color="#0b5394">Institute</font></b></p><p style="margin:0cm 0cm 0.0001pt;background-image:initial;background-position:initial;background-repeat:initial"><b><font color="#0b5394">East Asia University of Technology</font></b></p><p style="margin:0cm 0cm 0.0001pt;background-image:initial;background-position:initial;background-repeat:initial"><font color="#0b5394"><b style="font-size:12.8px">Add: Polyco Group Building, Tran Huu Duc St, Nam Tu Liem Dist, Ha Noi</b><br></font></p><p style="margin:0cm 0cm 0.0001pt;background-image:initial;background-position:initial;background-repeat:initial"><b style="font-size:12.8px"><font color="#0b5394">Mobile: + 84 939411986</font></b></p><p style="margin:0cm 0cm 0.0001pt;background-image:initial;background-position:initial;background-repeat:initial"><span style="color:rgb(32,33,36)">Website:</span><a href="https://duhoc.eaut.edu.vn/#" target="_blank">https://duhoc.eaut.edu.vn/#</a></p></div></div></div></div></div></div></div></div></div></div></div></div></div></font></div></div></div></div></div></div><div dir="ltr">Email: <a href="mailto:esa@eaut.edu.vn" target="_blank">esa@eaut.edu.vn</a>; <a href="mailto:thomdth@eaut.edu.vn" target="_blank">thomdth@eaut.edu.vn</a>; <br></div><div dir="ltr"><br></div><div><br></div><div dir="ltr"><img src="https://docs.google.com/uc?export=download&id=1ogDsUq7lNj4EdZhxRrSLhlhzgKZVQcRR&revid=0BwScEBmBf4XuYmZiSzEvN2dEV0RESkRGNG5rWWVlVGkyN3U0PQ"><br><br></div></div></div></div></div></div>