18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) November 3-12, 2021 – Virtual https://kr2021.kbsg.rwth-aachen.de/

*** Registration is free but mandatory (deadline: October 15, 2021) ***

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.

CONFERENCE FORMAT AND REGISTRATION

KR 2021 will be organized as a virtual conference and welcomes all researchers interested in KR to participate!

We are happy to announce that participation is *free*. The deadline for registering is October 15, 2021. Information about how to register for the main conference and associated events can be found at:

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

There will be also be a limited-capacity *live gathering* in Rome to watch the conference and exchange with other participants. For details, consult:

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

The list of papers accepted at the main conference and the Doctoral Consortium can also be found on the conference webpage.

INVITED SPEAKERS

* Martin Grohe (RWTH Aachen University, Germany)
* Jochen Renz  (Australian National University, Australia)
* Uli Sattler  (University of Manchester, UK)
* Joshua Tenenbaum  (MIT, USA)
* Francesca Toni  (Imperial College, UK)

TRACKS & SPECIAL SESSIONS

* Applications and Systems Track
* Recent Published Research Track
* Special Session: KR and Machine Learning
* Special Session: KR and Robotics
* Special Session: Diversity and Inclusion

WORKSHOPS

* Explainable Logic-Based Knowledge Representation (XLoKR)
* Computational Machine Ethics (CME)
*  Knowledge Representation for Hybrid and Compositional AI (KRHCAI)
*  Ontology Uses and Contribution to Artificial Intelligence (OnUCAI)
*  Second-Order Quantifier Elimination and Related Topics (SOQE)
*  Semantics-Powered Health Data Analytics (SEPDA)

TUTORIALS

* Answer Set Programming: From Theory to Practice
   by Roland Kaminski, Javier Romero, Torsten Schaub & Philipp Wanko
* Belief Revision and Judgment Aggregation in Ontologies
   by Jake Chandler and Richard Booth
* Completeness, Recall, and Negation in Open-World Knowledge Bases
   by Simon Razniewski, Hiba Arnaout, Shrestha Ghosh & Fabian M. Suchanek
* Complex Event Recognition and Forecasting
  by Elias Alevizos and Alexander Artikis
* KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness
  by Marcello Balduccini, Edward Griffor & Tran Cao Son
* Planning with multi-agent, flexible, temporal, epistemic & contingent
  (MAFTEC) aspects
  by Aurélie Beynier, Frédéric Maris & Francois Schwarzentruber
* Proof-Theoretic Approaches to Logical Argumentation
  by Ofer Arieli & Christian Strasser
* Solving equations in modal and description logics
  by Philippe Balbiani

CO-LOCATED EVENTS

* NMR 2021 (20th International Workshop on Non-Monotonic Reasoning)

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)

Diversity and Inclusion:
* Magdalena Ortiz (TU Vienna, Austria)
* Maria Vanina Martinez (Universidad de Buenos Aires, Argentina)
* Marco Maratea (University of Genova, Italy)