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)