KR 2025 Workshop in Honour of Pavlos Peppas
KR 2025 Workshop in Honour of Pavlos Peppas
This workshop is in memory of, and in honour of, Pavlos Peppas. Pavlos was a leading researcher in Knowledge Representation and Reasoning (particularly Belief Revision), and a friend, colleague, or mentor to a great many people in the KR community and beyond.
The workshop will tentatively include submitted papers, an invited speaker, and a workshop dinner at a local (Greek, of course) restaurant. Submissions will be reviewed and an informal proceedings posted online.
Submissions may include the following types of papers:
People who have co-authored papers with Pavlos could present their favourite paper with Pavlos perhaps along with a reflection on Pavlos. Authors may opt to submit an edited summary of the presented work for inclusion in the workshop proceedings.
People who have published work that builds on one of Pavlos’ publications could present on their publication. As with the preceding, authors may opt to submit an edited summary of the presented work for inclusion in the workshop proceedings.
Proposals could be received on new work that builds on or references Pavlos’s publications. These would be published in a workshop proceedings.
Other work that builds on or references Pavlos’s work is welcome. Please contact the organisers if you would like to discuss a possible presentation.
Subject to consultation and approval of the KR-2025 and NMR-2025 Chairs, a precis of a submission to KR 2025 or NMR 2025 that falls into one of the categories above may be submitted to the workshop.
Dr. Theofanis Aravanis, University of the Peloponnese, Greece
Professor Emeritus James P. Delgrande, Simon Fraser University, Canada
Professor Gabriele Kern-Isberner, TU Dortmund University, Germany
Professor Maurice Pagnucco, University of New South Wales, Australia
Professor Mikhail Prokopenko, The University of Sydney, Australia
Professor Mary-Anne Williams, The University of New South Wales, Australia
Professor Emeritus Gerhard Brewka, University of Leipzig, Germany
Emeritus Professor Samir Chopra, USA
Professor Giuseppe de Giacomo, Oxford University, UK
Professor Thomas Eiter, TU Vienna, Austria
Professor Esra Erdem, Sabanci University, Turkey
Professor Eduardo Ferme, University of Madeira, Portugal
Professor Randy Goebel, The University of Alberta, Canada
Associate Professor Aleksander Ignjatovic, The University of New South Wales
Professor Gerhard Lakemeyer, RWTH Aachen, Germany
Professor Pierre Marquis, University of Artois and CNRS, France
Professor Sheila McIlraith, The University of Toronto, Canada
Professor Tommie Meyer, University of Cape Town, South Africa
Professor Jochen Renz, Australian National University, Australia
Professor Hans Rott, University of Regensburg, Germany
Dr Kai Sauerwald, University of Hagen, Germany
Professor Torsten Schaub, Potsdam University, Germany
Dr Steven Shapiro, The University of Toronto, Canada
Professor Sylvie Thiebaux, Australian National University
Professor Matthias Thimm, University of Hagen, Germany
Professor Francesca Toni, Imperial College London, UK
Professor Son Tran, New Mexico State University, USA
Professor Emeritus Mirek Truszczynski, University of Kentucky, USA
Paper submission: August 4, 2025
Paper notification: August 21, 2025
Workshop date and time: Half-day during November 13, 2025
12:30 – 13:30: Lunch
13:30 – 15:30: Session 1: Recaps of Papers Published with Pavlos Peppas
13:30 – 13:50: Welcome
13:50 – 14:10:
General Belief Revision: Extended Summary
James Delgrande, Pavlos Peppas and Stefan Woltran
14:10 – 14:30:
Causality and Minimal Change Demystified (IJCAI-2001)
Maurice Pagnucco and Pavlos Peppas
14:30 – 14:50:
Constructive Modelings for Theory Change (Notre Dame Journal of Formal Logic 36(1): 120-133, Winter 1995)
Pavlos Peppas and Mary-Anne Williams
14:50 – 15:10:
Gabriele Kern-Isberner, Alexander Hahn and Pavlos Peppas
Epistemic Syntax Splitting – Links to Propositional Splitting and an Algorithmic Approach
15:10 – 15:30:
Revision vs. Update: Taking a Closer Look (ECAI-1996)
Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko
15:30 – 16:00: Afternoon Tea/Coffee
16:00 – 17:30: Session 2: Papers Influenced by Pavlos Peppas
16:00 – 16:20:
Incompatibility of Parametrized-Difference and Theory-Relational Belief Revision
Theofanis Aravanis
16:20 – 16:40:
Undecidability and the edge of chaos: from the Liar Paradox to the Game of Life information on submission
Mikhail Prokopenko, Michael Harre, Ori Livson and Joseph Lizier
16:40 – 17:00:
An Analysis of The Role of Syntax in Inductive Inference
Jesse Heyninck, Richard Booth, Thomas Meyer and Lars-Phillip Spiegel
17:00 – 17:30:
Reflections from workshop participants
18:00 – 21:00: Dinner (venue to be confirmed)
The workshop contributions will be published electronically.
Contact morri@cse.unsw.edu.au for more information.