20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 September 2-8, 2023, Rhodes, Greece

Organization

General Chair

  • Gabriele Kern-Isberner, TU Dortmund, Germany

Program Chairs

  • Pierre Marquis, Univ. Artois, CNRS, CRIL – Institut Universitaire de France, France
  • Tran Cao Son, New Mexico State University, USA

Local Arrangement Chair

  • Pavlos Peppas, University of Patras, Greece

RPR Track

  • Leila Amgoud, IRIT-CNRS, France
  • Martin Gebser, Graz University of Technology, Austria

Applications & Systems Track   

  • Matti Järvisalo, University of Helsinki, Finland
  • Francesco Ricca, University of Calabria, Italy

Special Session on KR & ML

  • Tias Guns, KU Leuven, Belgium
  • Luciano Serafini, Fondazione Bruno Kessler,Italy

Special Session on KR, Robotics & Planning

  • Esra Erdem, Sabanci University, Turkey
  • Shiqi Zhang, SUNY Binghamton, USA

Diversity and Inclusion Session

  • Meghyn Bienvenu, LaBRI-CNRS, France
  • Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands

Doctoral Consortium

  • Tanya Braun, University of Münster, Germany
  • Nico Potyka, Imperial College London, UK

Tutorials & Workshops      

  • Nicolas Schwind, AIST, Japan    
  • Serena Villata, I3S-CNRS, France

Funding & Sponsorship    

  • Marcello Balduccini, Saint Joseph’s University, USA
  • Pedro Cabalar, Corunna University, Spain

Publicity Chairs

  • Theofanis (Fanis) Aravanis, University of Patras, Greece
  • Guillermo Simari, Universidad Nacional del Sur, Argentina

Web Site

  • Ioannis (Yannis) Konstantoulas, University of Patras, Greece

Program Committee

Area Chairs

  • Franz Baader, TU Dresden, Germany
  • Pietro Baroni, DII – University of Brescia, Italy
  • Christoph Beierle, University of Hagen, Germany
  • Salem Benferhat, CRIL CNRS UMR8188, Université d’Artois, France
  • Richard Booth, Cardiff University, United Kingdom
  • Gerhard Brewka, Leipzig University, Germany
  • Pedro Cabalar, University of Corunna, Spain
  • Diego Calvanese, Free University of Bozen-Bolzano & Umeå University, Italy
  • Giuseppe De Giacomo, University of Oxford & Sapienza Univ. Roma, United Kingdom
  • James Delgrande, Simon Fraser University, Canada
  • Thomas Eiter, Vienna University of Technology, Austria
  • Anthony Hunter, University College London, United Kingdom
  • Katsumi Inoue, NII, Japan
  • Sébastien Konieczny, CRIL – CNRS, France
  • Joao Leite, Universidade NOVA de Lisboa, Portugal
  • Domenico Lembo, Sapienza University of Rome, Italy
  • Leonid Libkin, The University of Edinburgh and RelationalAI, United Kingdom
  • Sheila McIlraith, University of Toronto, Canada
  • Enrico Motta, The Open University, United Kingdom
  • Marie-Laure Mugnier, University of Montpellier (LIRMM / INRIA), France
  • Rafael Peñaloza, University of Milano-Bicocca, Italy
  • Sebastian Rudolph, TU Dresden, Germany
  • Torsten Schaub, University of Potsdam, Germany
  • Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca, Argentina
  • Christian Strasser, Ruhr-University Bochum, Germany
  • Francesca Toni, Imperial College London, United Kingdom
  • Frank Wolter, University of Liverpool, United Kingdom
  • Stefan Woltran, TU Wien, Austria

Program Committee Members

  • Erman Acar, University of Amsterdam, Netherlands
  • Mehwish Alam, Télécom Paris, Institute Polytechnique de Paris, Germany
  • Natasha Alechina, Utrecht University, Netherlands
  • Gianvincenzo Alfano, D.I.M.E.S Department, University of Calabria, Italy
  • Alessandro Antonucci, IDSIA, Switzerland
  • Daan Apeldoorn, IMBEI, University Medical Center Mainz & Z Quadrat GmbH, Germany
  • Carlos Areces, FaMAF – Universidad Nacional de Córdoba, Argentina
  • Ofer Arieli, The Academic College of Tel-Aviv, Israel
  • Alessandro Artale, Free University of Bozen-Bolzano, Faculty of Computer Science, Italy
  • Chitta Baral, Arizona State University, United States
  • Ringo Baumann, Leipzig University, Germany
  • Bartosz Bednarczyk, TU Dresden & University of Wrocław, Poland
  • Khaled Belahcene, Heudiasyc, Université de Technologie de Compiègne, France
  • Francesco Belardinelli, Imperial College London, United Kingdom
  • Vaishak Belle, The University of Edinburgh, United Kingdom
  • Leopoldo Bertossi, SKEMA Business School Canada inc., Canada
  • Stefano Bistarelli, Università di Perugia, Italy
  • Alexander Bochman, Computer Science Dept., Holon Institute of Technology, Israel
  • Bart Bogaerts, Vrije Universiteit Brussel (VUB), Belgium
  • Thomas Bolander, Technical University of Denmark, Denmark
  • Elise Bonzon, LIPADE – Universite Paris Cité, France
  • Annemarie Borg, Utrecht University, Netherlands
  • Alex Borgida, Rutgers University, United States
  • Elena Botoeva, University of Kent, United Kingdom
  • Zied Bouraoui, CRIL – CNRS & Univ Artois, France
  • Camille Bourgaux, CNRS, DI ENS, France
  • Pierre Bourhis, CNRS CRIStAL, France
  • Loris Bozzato, Fondazione Bruno Kessler, Italy
  • Krysia Broda, Imperial College, United Kingdom
  • Marco Calautti, University of Milano, Italy
  • Martin Caminada, Cardiff University, United Kingdom
  • David Carral, LIRMM, Inria, University of Montpellier, CNRS, France
  • Giovanni Casini, ISTI – CNR, Italy
  • Agnese Chiatti, Politecnico di Milano, Italy
  • Lukáš Chrpa, Czech Technical University in Prague, Czechia
  • Gianluca Cima, Sapienza University of Rome, Italy
  • Jens Classen, Roskilde University, Denmark
  • Oana Cocarascu, King’s College London, United Kingdom
  • Marco Console, Sapienza, University of Rome, Italy
  • Carl Corea, University of Koblenz-Landau, Germany
  • Fabio Cozman, University of São Paulo, Brazil
  • Bernardo Cuenca Grau, University of Oxford, United Kingdom
  • Fabio Aurelio D’Asaro, University of Verona, Italy
  • Alexis de Colnet, Algorithms and Complexity Group, TU Wien, Austria
  • Ronald de Haan, University of Amsterdam, Netherlands
  • Antonio Di Stasio, University of Oxford, United Kingdom
  • Martín Diéguez, University of Angers, France
  • Clare Dixon, University of Manchester, United Kingdom
  • Dragan Doder, Utrecht University, Netherlands
  • Sylvie Doutre, IRIT – University of Toulouse 1, France
  • Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria
  • Marcelo A. Falappa, Universidad Nacional del Sur, Argentina
  • Jorge Fandinno, University of Nebraska at Omaha, Germany
  • Paolo Felli, Free University of Bozen-Bolzano, Italy
  • Eduardo Fermé, Universidade da Madeira, Portugal, Portugal
  • Johannes K. Fichte, Linköping University, Sweden
  • Tommaso Flaminio, Artificial Intelligence Research Institute, IIIA – CSIC, Spain
  • Sergio Flesca, DEIS – University of Calabria, Italy
  • Giorgos Flouris, FORTH-ICS, Greece
  • Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria
  • Sarah Alice Gaggl, TU Dresden, Germany
  • Hector Geffner, RWTH Aachen University, Germany
  • Marcel Gehrke, University of Lübeck, Germany
  • Massimiliano Giacomin, University of Brescia, Italy
  • Alessandro Gianola, Free University of Bozen-Bolzano, Italy
  • Laura Giordano, DISIT, Università del Piemonte Orientale, Italy
  • Valentina Gliozzi, Diparimento di Informatica, Universita di Torino, Torino, Italy, Italy
  • Lluis Godo, Artificial Intelligence Research Institute, IIIA – CSIC, Spain
  • Lucía Gómez Álvarez, TU Dresden, Germany
  • Ricardo Gonçalves, Universidade NOVA de Lisboa, Portugal
  • Sergio Greco, University of Calabria, Italy
  • Jasmin Grosinger, Örebro Universitet, Sweden
  • Paulo T. Guerra, Federal University of Ceara, Brazil
  • Ricardo Guimarães, University of Bergen, Norway
  • Victor Gutierrez-Basulto, Cardiff University, United Kingdom
  • Jonas Philipp Haldimann, FernUniversität in Hagen, Germany
  • Markus Hecher, Massachusetts Institute of Technology, United States
  • Fredrik Heintz, Linköping University, Sweden
  • Andreas Herzig, CNRS, IRIT, Univ. Toulouse, France
  • Jesse Heyninck, Open Universiteit, the Netherlands, Germany
  • Martin Homola, Comenius University in Bratislava, Slovakia
  • Aaron Hunter, British Columbia Institute of Technology, Canada
  • Giovambattista Ianni, University of Calabria, Italy, Italy
  • Yazmin A. Ibanez-Garcia, School of Informatics and Computer Science, Cardiff University, United Kingdom
  • Daniela Inclezan, Miami University, United States
  • Tomi Janhunen, Tampere University, Finland
  • Jianmin Ji, University of Science and Technology of China, China
  • Jean Christoph Jung, TU Dortmund University, Germany
  • Magdalena Kacprzak, Bialystok University of Technology, Poland
  • Toryn Q. Klassen, University of Toronto, Canada
  • Matthias Knorr, Universidade NOVA de Lisboa, Portugal
  • Boris Konev, University of Liverpool, United Kingdom
  • Roman Kontchakov, Birkbeck, University of London, United Kingdom
  • Patrick Koopmann, Vrije Universiteit Amsterdam, Germany
  • Egor V. Kostylev, University of Oslo, Norway
  • Alisa Kovtunova, TU Dresden, Germany
  • Markus Krötzsch, TU Dresden, Germany
  • Oliver Kutz, KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano, Italy
  • Ondřej Kuželka, Czech Technical University in Prague, Czechia
  • Gerhard Lakemeyer, RWTH Aachen University, Germany
  • Evelina Lamma, ENDIF, University of Ferrara, Italy
  • Jürgen Landes, University of Milan, Italy
  • Davide Lanti, Free University of Bozen-Bolzano, Italy
  • Tiep Le, Intel Lab, Intel, United States
  • Francesco Leofante, Imperial College London, United Kingdom
  • Piyawat Lertvittayakumjorn, Google, United States
  • Yves Lespérance, York University, Canada
  • Jean Lieber, LORIA – INRIA Lorraine, France
  • Yuliya Lierler, University of Nebraska at Omaha, United States
  • Fangzhen Lin, The Hong Kong University of Science and Technology, Hong Kong
  • Sebastian Link, The University of Auckland, New Zealand
  • Francesca Alessandra Lisi, Università degli Studi di Bari Aldo Moro, Italy
  • Yongmei Liu, Sun Yat-sen University, China
  • Jorge Lobo, ICREA and Universitat Pompeu Fabra, Spain
  • Emiliano Lorini, IRIT, France
  • Thomas Lukasiewicz, University of Oxford, United Kingdom
  • Sanja Lukumbuzya, Vienna University of Technology, Austria
  • Tim Lyon, Technische Universität Dresden, Germany
  • Sagar Malhotra, Fondazione Bruno Kessler, Italy
  • Marco Manna, Department of Mathematics and Computer Science, University of Calabria, Italy
  • Marco Maratea, DIBRIS, University of Genova, Italy
  • Maria Vanina Martinez, ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE (IIIA – CSIC), Spain
  • Nicolas Maudet, LIP6, Sorbonne Université, France
  • Kuldeep S. Meel, National University of Singapore, Singapore
  • John-Jules Meyer, Utrecht University, Netherlands
  • Thomas Meyer, University of Cape Town and CAIR, South Africa
  • Munyque Mittelmann, University of Naples Federico II, Italy
  • Ralf Möller, University of Luebeck, Germany
  • Marco Montali, KRDB Research Centre, Free University of Bozen-Bolzano, Italy
  • Michael Morak, University of Klagenfurt, Austria
  • Leora Morgenstern, PARC (Palo Alto Research Center), United States
  • Nysret Musliu, TU Wien, Austria
  • Juan Carlos Nieves, Umeå University, Sweden
  • Andreas Niskanen, University of Helsinki, Finland
  • Johannes Oetsch, Vienna University of Technology, Austria
  • Andrea Orlandini, CNR, Italy
  • Magdalena Ortiz, Umeå University, Sweden
  • Wassila Ouerdane, MICS, CentraleSupélec, Université Paris-Saclay, France
  • Ana Ozaki, University of Bergen, Norway
  • Aline Paes, Department of Computer Science, Universidade Federal Fluminense, Brazil
  • Maurice Pagnucco, The University of New South Wales, Australia
  • Francesco Parisi, DIMES – University of Calabria, Italy
  • Fabio Patrizi, Sapienza University of Rome, Italy
  • Guilherme Paulino-Passos, Imperial College London, United Kingdom
  • Wojciech Penczek, Institute of Computer Science of PAS, Poland
  • Giuseppe Perelli, Sapienza University of Rome, Italy
  • Elise Perrotin, CRIL, CNRS, France
  • Laurent Perrussel, IRIT – Universite Toulouse Capitole, France, France
  • Liat Peterfreund, CNRS, France
  • Ron Petrick, Heriot-Watt University, United Kingdom
  • Andreas Pieris, University of Edinburgh & University of Cyprus, United Kingdom
  • Ramon Pino Perez, Université d’Artois, France
  • Antonella Poggi, Sapienza University of Rome, Italy
  • Sylwia Polberg, Cardiff University, United Kingdom
  • Henri Prade, IRIT – CNRS, France
  • Carlo Proietti, National Research Council of Italy (CNR) – Institute for Computational Linguistics (ILC), Italy
  • Antonio Rago, Imperial College London, United Kingdom
  • Subramanian Ramamoorthy, University of Edinburgh, United Kingdom
  • Anna Rapberger, Vienna University of Technology, Austria
  • Jandson S. Ribeiro, University of Hagen, Germany
  • Tjitze Rienstra, Maastricht University, Netherlands
  • Fabrizio Riguzzi, University of Ferrara, Italy
  • Andrey Rivkin, Technical University of Denmark, Denmark
  • Odinaldo Rodrigues, King’s College London, United Kingdom
  • Ricardo Oscar Rodriguez, Departamento de Computacin. F.C.N.yN.-UBA, Argentina
  • Francesca Rossi, IBM, United States
  • Jörg Rothe, Heinrich-Heine-Universität Düsseldorf, Germany
  • Marie-Christine Rousset, University of Grenoble Alpes, France
  • Alessandra Russo, Imperial College London, United Kingdom
  • Vladislav Ryzhikov, Free University of Bozen-Bolzano, Italy
  • Orkunt Sabuncu, TED University, Ankara, Turkey
  • Chiaki Sakama, Wakayama University, Japan
  • Zeynep G. Saribatur, TU Wien, Austria
  • Ken Satoh, National Institute of Informatics and Sokendai, Japan, Japan
  • Uli Sattler, The University of Manchester, United Kingdom
  • Kai Sauerwald, University of Hagen, Germany
  • Domenico Fabio Savo, University of Bergamo, Italy
  • Federico Scafoglieri, Sapienza University of Rome, Italy
  • Konstantin Schekotihin, Alpen-Adria Universität Klagenfurt, Austria
  • Ute Schmid, Faculty Information Systems and Applied Computer Science, University of Bamberg, Germany
  • Renate Schmidt, The University of Manchester, United Kingdom
  • Steven Schockaert, Cardiff University, United Kingdom
  • Dietmar Seipel, Univ. Wuerzburg, Dept. of Computer Science, Germany
  • Meliha Sezgin, TU Dortmund, Germany
  • Gerardo Simari, Universidad Nacional del Sur (UNS) and CONICET, Argentina
  • Mantas Simkus, TU Vienna, Austria
  • Michael Sioutis, LIRMM UMR 5506, University of Montpellier, CNRS, France
  • Friedrich Slivovsky, Vienna University of Technology, Austria
  • Marlo Souza, Federal University of Bahia, Brazil
  • Mohan Sridharan, University of Birmingham, United Kingdom
  • Roni Stern, Ben Gurion University of the Negev, Israel
  • Frieder Stolzenburg, Harz University of Applied Sciences, Germany
  • Hannes Strass, TU Dresden, Germany
  • Karim Tabia, CRIL CNRS UMR 8188Artois University, France
  • Balder Ten Cate, University of Amsterdam, Netherlands
  • Michael Thielscher, The University of New South Wales, Australia
  • Matthias Thimm, FernUniversität in Hagen, Germany
  • Michaël Thomazo, Inria, DIENS, ENS, CNRS, PSL University, France
  • Son Tran, The University of Tasmania, Australia
  • Nicolas Troquard, Free University of Bozen-Bolzano, Italy
  • Irina Trubitsyna, University of Calabria, DIMES, Italy
  • Mirek Truszczynski, Computer Science Department, University of Kentucky, United States
  • Anni-Yasmin Turhan, TU Dresden, Germany
  • Markus Ulbricht, University of Leipzig, Germany
  • Alessandro Umbrico, National Research Council of Italy (CNR-ISTC), Italy
  • Mauro Vallati, University of Huddersfield, United Kingdom
  • Leon van der Torre, University of Luxembourg, Luxembourg
  • Emile van Krieken, Vrije Universiteit Amsterdam, Netherlands
  • Joost Vennekens, KU Leuven, Belgium
  • Srdjan Vesic, CRIL, CNRS – Univ. Artois, France
  • Jirka Vomlel, Academy of Sciences, Czech Republic, Czechia
  • Przemysław Andrzej Wałęga, University of Oxford, United Kingdom
  • Johannes P. Wallner, TU Graz, Austria
  • Kewen Wang, Griffith University, Australia
  • Yisong Wang, Guizhou University, China
  • Renata Wassermann, University of São Paulo, Brazil
  • Emil Weydert, CSC, University of Luxembourg, Luxembourg
  • Marco Wilhelm, TU Dortmund, Germany
  • Diedrich Wolter, University of Bamberg, Germany
  • Guohui Xiao, Department of Information Science and Media Studies, University of Bergen, Norway
  • Jia-Huai You, University of Alberta, Canada
  • Marina Zanella, University of Brescia, Italy
  • Jessica Zangari, Department of Mathematics and Computer Science, University of Calabria, Italy
  • Gerson Zaverucha, Federal University of Rio de Janeiro (UFRJ), Brazil
  • Riccardo Zese, University of Ferrara, Italy
  • Haodi Zhang, The Hong Kong University of Science and Technology, China
  • Xiangfu Zhao, Zhejiang Normal University, China
  • Shufang Zhu, University of Oxford, United Kingdom

Auxiliary Reviewers

  • Amittai-Shlomo Aharoni, Universiteit van Amsterdam, The Netherlands
  • Marc Aiguier, Heudiasyc, Université de Technologie de Compiègne, France
  • Denise Angilica, University of Calabria, Italy, Italy
  • Denise Angilica, University of Calabria, Italy, Italy
  • Damiano Azzolini, University of Ferrara, Italy
  • Elena Bellodi, University of Ferrara, Italy
  • Aurélie Beynier, Sorbonne Université, France
  • Elfia Bezou Vrakatseli, King’s College London, United Kingdom
  • Lydia Blümel, FernUniversität in Hagen, Germany
  • Elisa Böhl, TU Dresden, Germany
  • Alessandro Burigana, Free University of Bozen-Bolzano, Italy
  • Francesco Chiariello, University of Naples Federico II, Italy
  • Santiago Cifuentes, Universidad de Buenos Aires – Insititudo de Ciencias de la Computación, Argentina
  • Victor David, University of Perugia, Italy
  • Filippo De Bortoli, TU Dresden, Germany
  • Dave de Jonge, IIIA-CSIC, Spain
  • Jérôme Delobelle, LIPADE – Universite Paris Cité, France
  • Paulius Dilkas, National University of Singapore, Singapore
  • Martin Diller, TU Dresden, Germany
  • Hang Dong, University of Oxford, United Kingdom
  • Thorsten Engesser, IRIT, France
  • Qihui Feng, RWTH Aachen University, China
  • Bettina Finzel, Cognitive Systems, University of Bamberg, Germany
  • Wachara Fungwacharakorn, National Institute of Informatics, Japan
  • Daniel Furelos-Blanco, Imperial College London, United Kingdom
  • Marco Gavanelli, University of Ferrara, Italy
  • Nicola Gigante, Free University of Bozen-Bolzano, Italy
  • Alex Goodall, Imperial College London, United Kingdom
  • Zachary Hansen, University of Nebraska Omaha, United States
  • Maximilian Heinrich, University of Weimar, Germany
  • Hayyan Helal, RWTH Aachen University, Germany
  • Luisa Herrmann, TU Dresden, Germany
  • Till Hofmann, RWTH Aachen University, Germany
  • Ullrich Hustadt, University of Liverpool, United Kingdom
  • Yacine Izza, NUS, Singapore
  • Reijo Jaakkola, Tampere University, Finland
  • Joanna Kaczmarek, Heinrich-Heine-Universität Düsseldorf, Germany
  • Spencer Killen, University of Alberta, Canada
  • Isabelle Kuhlmann, FernUniversität in Hagen, Germany
  • Louwe B. Kuijer, University of Liverpool, United Kingdom
  • Anna Latour, National University of Singapore, Singapore
  • Xinghan Liu, IRIT, France
  • Malte Luttermann, University of Lübeck, Germany
  • Matt MacDermott, Imperial College London, United Kingdom
  • Yasir Mahmood, Paderborn University, Paderborn, Germany
  • Florian Marwitz, University of Lübeck, Germany
  • Andrea Mazzullo, University of Trento, Italy
  • Ivan Mercanti, Università di Perugia, Italy
  • Muhammad Najib, Heriot-Watt University, United Kingdom
  • Artur Niewiadomski, Siedlce University, Poland
  • Siqi Ning, Shenzhen University, China
  • Markus Nissl, TU Wien, Austria
  • Piotr Ostropolski – Nalewaja, TU Dresden & University of Wrocław, Poland
  • Timothy Parker, IRIT, France
  • Jie Peng, University of Science and Technology of China, China
  • Samuele Pollaci, Vrije Universiteit Brussel (VUB), Belgium
  • Andrea Pugliese, ,
  • Simon Schramm, University of Bamberg, Germany
  • Tim Schulz, University of Luebeck, Germany
  • Alexander Selzer, TU Wien, Austria
  • Reza Shahbazian, University of Calabria, Italy, Italy
  • Teofil Sidoruk, Warsaw University of Technology, Poland
  • Giulia Sindoni, University of Leeds, United Kingdom
  • Kenneth Skiba, FernUniversität in Hagen, Germany
  • Lorenzo Steccanella, Universitat Pompeu Fabra, Italy
  • Gioacchino Sterlicchio, Polytechnic University of Bari, Italy
  • Kazuko Takahashi, Kwansei Gakuin University, Japan
  • Carlo Taticchi, University of Perugia, Italy
  • Fernando Tohme, Universidad Nacional del Sur in Bahia Blanca, Argentina
  • Satoshi Tojo, JAIST, Japan
  • Simon Vandevelde, KU Leuven, Belgium
  • Giovanni Varricchione, Utrecht University, Netherlands
  • Tarik Viehmann, RWTH Aachen University, Germany
  • Madeleine Waller, King’s College London, United Kingdon
  • Yichi Wang, Shenzhen University, China
  • Christoph Wehner, University of Bamberg, Germany
  • Daniel Weidner, Univ. Wuerzburg, Dept. of Computer Science, Germany
  • Hong Wu, Griffith University, Australia
  • Xiangyu Zeng, Shenzhen University, China
  • Sen Zheng, The University of Manchester, United Kingdom
  • Jihua Zhou, Shenzhen University, China
  • Fengming Zhu, The Hong Kong University of Science and Technology, Hong Kong