[DL] Final CFP for KR 2021: 18th Conference on Principles of Knowledge Representation and Reasoning (Abstracts due March 24th)

[Thanh Dinh]

CALL FOR PAPERS

18th Conference on Principles of Knowledge Representation and Reasoning 
(KR2021)

November 6-12, 2021, Hanoi, Vietnam -> see note below about remote 
participation

https://kr2021.kbsg.rwth-aachen.de

Knowledge Representation and Reasoning (KR) is a well-established and lively
field of research. In KR a fundamental assumption is that an agent's 
knowledge
is explicitly represented in a declarative form, suitable for processing by
dedicated reasoning engines. This assumption, that much of what an agent 
deals
with is knowledge-based, is common in many modern intelligent systems.
Consequently, KR has contributed to the theory and practice of various 
areas in
AI, including automated planning and natural language understanding, and to
fields beyond AI, including databases, verification, software 
engineering, and
robotics. In recent years, KR has contributed also to new and emerging 
fields,
including the semantic web, computational biology, cyber security, and the
development of software agents.

The KR conference series is the leading forum for timely in-depth 
presentation
of progress in the theory and principles underlying the representation and
computational management of knowledge.


** SCOPE **

We solicit papers presenting novel results on the principles of KR that 
clearly
contribute to the formal foundations of relevant problems or show the
applicability of results to implemented or implementable systems. We also
welcome papers from other areas that show clear use of, or contributions to,
the principles or practice of KR.

Topics of interest include, but are not limited to:

- Applications of KR

- Argumentation

- Belief revision and update, belief merging, information fusion

- Commonsense reasoning

- Computational aspects of knowledge representation

- Concept formation, similarity-based reasoning

- Contextual reasoning

- Decision making

- Description logics

- Explanation finding, diagnosis, causal reasoning, abduction

- Geometric, spatial, and temporal reasoning

- Inconsistency- and exception-tolerant reasoning, paraconsistent logics

- KR and autonomous agents and multi-agent systems

- KR and cognitive robotics

- KR and cyber security

- KR and education

- KR and game theory

- KR and machine learning, inductive logic programming, knowledge 
acquisition

- KR and natural language processing and understanding

- KR and the Web, Semantic Web

- Knowledge graphs and open linked data

- Knowledge representation languages

- Logic programming, answer set programming

- Modeling and reasoning about preferences

- Multi- and order-sorted representations and reasoning

- Nonmonotonic logics, default logics, conditional logics

- Ontology formalisms and models

- Ontology-based data access, integration, and exchange

- Philosophical foundations of KR

- Qualitative reasoning, reasoning about physical systems

- Reasoning about actions and change, action languages

- Reasoning about constraints, constraint programming

- Reasoning about knowledge, beliefs, and other mental attitudes

- Uncertainty, vagueness, many-valued and fuzzy logics

The KR2021 program will also feature workshops and tutorials, solicited 
by means
of an open call, as well as a doctoral consortium.


** TRACKS AND SPECIAL SESSIONS **

In addition to the main conference track, KR2021 will host the following 
tracks
and sessions:

* Applications and Systems Track

* Recently Published Research Track

* Special Session on KR and Machine Learning

* Special Session on KR and Robotics



** IMPORTANT DATES **

Submission of title and abstract:     March 24, 2021

Paper submission deadline:          March 31, 2021

Author response period:         May 24-26, 2021

Notification:                 June 15, 2021

Camera-ready papers:             July 14, 2021

Conference dates:             November 6-12, 2021


The Recently Published Research track, workshops, tutorials, and the 
doctoral
consortium have different submission and notification dates, which are 
listed
on the conference website.


**AUTHOR GUIDELINES AND SUBMISSION INFORMATION**


All submissions must be written in English and formatted using the style 
files
provided on the KR'21 website. Papers must be submitted in PDF format, 
through
the EasyChair conference system:

https://easychair.org/conferences/?conf=kr2021


For the main conference track and additional tracks/sessions (except for
the Recently Published Research track), we invite

- Full papers of up to 9 pages, including abstract, figures, and appendices
   (if any), but excluding references and acknowledgements.

- Short papers of up to 4 pages, excluding references and acknowledgements.

Both full and short papers must describe original, previously unpublished
research, and must not simultaneously be submitted for publication 
elsewhere.
These restrictions do not apply to previously accepted workshop papers with
a limited audience and/or without archival proceedings, and to papers 
uploaded at
public repositories (e.g., arXiv).

Accepted full papers and short papers will be published in the KR2021
proceedings.

Authors may optionally submit a separate PDF containing additional 
information
that substantiates the claims made in their paper, such as proof details,
additional experimental results, further details on experimental design, 
etc.
If authors wish to make such material available to reviewers, they 
should do so
by submitting a file through EasyChair, rather than by including links or
references in their paper. Please note that the main paper must be self
contained, as the supplementary material will not be published. Moreover,
reviewers will have the option but not the obligation to consult the
supplementary material.

The preceding submission guidelines apply to the main track, as well as 
to the
Applications and Systems track, the KR & Machine Learning special 
session, and
the KR & Robotics special session. By contrast, different submission 
guidelines
apply to the Recently Published Research track, workshops, tutorials, 
and the
doctoral consortium, please consult the KR21 website for further 
information.


** REMOTE PARTICIPATION DUE TO COVID-19 PANDEMIC **

We understand that the global public health situation may make it 
difficult or
impossible for some, if not all, participants to travel to Hanoi. For this
reason, we commit to allowing authors of accepted papers to present 
virtually
and will work hard to enable the best possible experience for all 
conference
participants.


** CONFERENCE CHAIRS **

General:
    Esra Erdem (Sabanci University, Turkey)


Program:
    Meghyn Bienvenu (CNRS & University of Bordeaux, France)
    Gerhard Lakemeyer (RWTH Aachen University, Germany)


Applications and Systems Track:
    Martin Gebser (University of Klagenfurt, Austria)
    Ulrike Sattler (University of Manchester, UK)


Recently Published Research Track:
    Vladimir Lifschitz (University of Texas at Austin, USA)
    Pierre Marquis (Artois University & Institut Universitaire de 
France, France)


Special Session on KR & Machine Learning:
    Vaishak Belle (University of Edinburgh, UK)
    Luc de Raedt (KU Leuven, Belgium)


Special Session on KR & Robotics:
    Alessandro Saffioti (University of Örebro, Sweden)
    Mary-Anne Williams (University of Technology Sydney, Australia)


Workshop and Tutorials:
    Markus Kroetzsch (TU Dresden, Germany)
    Yongmei Liu (Sun Yat-sen University, China)


Doctoral Consortium:
    Jens Classen (Simon Fraser University)
    Magdalena Ortiz (TU Vienna, Austria)


Local Organization:
    Giuseppe De Giacomo (Sapienza University, Italy)
    Son Tran (New Mexico State University, USA)
    Long Tran-Thanh (University of Warwick, UK)
    Thanh Van Dinh (East Asia University of Technology, Vietnam)


Virtual Conference Arrangements:
    Stefan Borgwardt (TU Dresden, Germany)
    Marco Console (Sapienza University Italy)
    Long Tran-Thanh (University of Warwick, UK)


Sponsorship:
    Kuldeep S. Meel (NUS, Singapore)
    Zeynep G. Saribatur (TU Wien, Austria)


Publicity:
    Thanh Van Dinh (East Asia University of Technology, Vietnam)
    Paolo Felli (Free University of Bozen-Bolzano, Italy)