Logic List Mailing Archive

CfPart: KR 2020, Rhodes (Greece) AND Virtual

12-18 Sep 2020

CALL FOR PARTICIPATION

17th International Conference on Principles of Knowledge Representation
and Reasoning (KR2020)
12-18 September 2020 - Rhodes, Greece
https://kr2020.inf.unibz.it/

KR2020 Flyers:
http://kr2020.inf.unibz.it/downloads/KR20_CFPartic_A.png
http://kr2020.inf.unibz.it/downloads/KR20_CFPartic_B.png

KR2020 will be organized as a "hybrid" conference, and welcomes all
researchers interested in KR to participate either physically or
virtually!

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.

Information about registration, venue, accommodation, and travel are
available at https://kr2020.inf.unibz.it/ .

The list of papers accepted at the main conference and the Doctoral
Consortium is also available at the conference webpage.

INVITED SPEAKERS

* Rachid Alami  (LAAS-CNRS, ANITI, France)
* Thomas Eiter  (Technische Universität Wien, Austria)
* Mateja Jamnik  (University of Cambridge, UK)
* Marta Kwiatkowska  (University of Oxford, UK)
* Gary Marcus  (Robust AI, USA)
* David Poole  (University of British Columbia, Canada)

TRACKS and SPECIAL SESSIONS

* Applications and Systems Track
* Recent Published Research Track
* Special Session: KR and Machine Learning
* Special Session: KR and Robotics
* Special Session: Women in KR

WORKSHOPS

* Explainable Logic-Based Knowledge Representation (XLoKR 2020)
* International Workshop on Applications of AI to Forensics
   (AI2Forensics)
* KR for All Minds (KR4AMinds)
* Models of Legal Reasoning (MLR)
* Reasoning about ACtions and Events over Streams (RACES)

TUTORIALS

* Argumentative Explanations in AI,
   by Francesca Toni (Imperial College London, UK) and Antonio Rago
   (Imperial College London, UK)
* Cognitive Logics ? Formal and Cognitive Methods for Reasoning in an
   Uncertain and Dynamic World,
   by Gabriele Kern-Isberner (TU Dortmund, Germany) and Marco Ragni
   (Universität Freiburg, Germany)
* Dynamic Epistemic Logic and Epistemic Planning,
   by Andreas Herzig (IRIT, Toulouse, France)
* Practical Uses of Existential Rules in Knowledge Representation,
   by David Carral (TU Dresden, Germany), Markus Krötzsch (TU Dresden,
   Germany), and Jacopo Urbani (Vrije Universiteit Amsterdam,
   The Netherlands)

CO-LOCATED EVENTS

* DL 2020 (33rd International Workshop on Description Logics)
* NMR 2020 (19th International Workshop on Non-Monotonic Reasoning)

CONFERENCE CHAIRS:

General:
     Michael Thielscher (University of New South Wales, Australia)

Program:
     Diego Calvanese (Free University of Bozen-Bolzano, Italy)
     Esra Erdem (Sabanci University, Turkey)

Applications Track:
     Chitta Baral (Arizona State University, USA)
     Francesco Ricca (University of Calabria, Italy)

Recent Published Research Track:
     James Delgrande (Simon Fraser University, Canada)
     Miroslaw Truszczynski (University of Kentucky, USA)

Special Session: KR and Machine Learning:
     Alessandra Russo (Imperial College London, UK)
     Guy Van den Broeck (UCLA, USA)

Special Session: KR and Robotics:
     Michael Beetz (University of Bremen, Germany)
     Fredrik Heintz (Linkoping University, Sweden)

Special Session: Women in KR:
     Meghyn Bienvenu (University of Bordeaux, France)
     Magdalena Ortiz (Vienna University of Technology, Austria)

Workshop and Tutorials:
     Anni-Yasmin Turhan (Dresden University of Technology, Germany)
     Renata Wassermann (University of Sao Paulo, Brasil)

Doctoral Consortium:
     Vaishak Belle (University of Edinburgh, UK)
     Rafael Penaloza Nyssen (University of Milano-Bicocca, Italy)

Local Organization:
     Pavlos Peppas (University of Patras, Greece)

Publicity:
     Theofanis Aravanis (University of Patras, Greece)
     Paolo Felli (Free University of Bozen-Bolzano, Italy)

Sponsorship:
     Jean Christoph Jung (University of Bremen, Germany)
     Victor Gutierrez Basulto (Cardiff University, United Kingdom)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam