[DL] KR 2021: Final Call for Participation (Online event, free registration until Friday, October 15)

[Thanh Dinh]

FINAL CALL FOR PARTICIPATION

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 TALKS

Martin Grohe (RWTH Aachen University, Germany)
 > The Logic of Graph Neural Networks

Jochen Renz  (Australian National University, Australia)
 > Spatial and Physical Reasoning: From Angry Birds to Open World AI

Uli Sattler  (University of Manchester, UK)
 > Description Logic and OWL: A Tale of Discoveries, Design Choices,
   Challenges, and Lessons Learnt (Great Moments in KR)

Joshua Tenenbaum  (MIT, USA)
 > Reverse Engineering Human Cognitive Development: What Do We Start With,
   and How Do We Learn The Rest?

Francesca Toni  (Imperial College, UK)
 > The Interactionist View of Reasoning for Explainable AI

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)