Deadline extension: KR/ICAPS Workshop "Knowledge Representation Meets Automated Planning" (KRPlan 2025)

[Gabriele Röger]

(apologies for cross-posting)

The paper submission deadline for the KRPlan workshop has been extended from July 23 to July 29!
Please note that the abstract submission deadline is still on July 23 (AoE).


### CALL FOR PAPERS

The workshop on Knowledge Representation Meets Automated Planning (KRPlan 2025) will be held in Melbourne, Australia, on November 11, 2025, see

  https://icaps25.icaps-conference.org/program/workshops/krplan/ (new submission dates not yet reflected on website)

It will be co-located with KR (https://kr.org/KR2025) and ICAPS (https://icaps25.icaps-conference.org/).


### DESCRIPTION

Traditionally, the areas of Knowledge Representation and Reasoning (KR) and Automated Planning are related via common connections to logical theories of acting and sensing, robotics, and temporal logics. However, the two research areas have developed in distinct directions, with the focus of KR research being more on theoretical results, such as the complexity of logical reasoning, while Automated Planning research has produced powerful heuristic search approaches that work on large problems from industry. There is substantial research interest in the connection between the two fields, with approaches ranging from temporal reasoning about actions and goals, answer set planning, ontology-based planning specifications, epistemic planning, to planning under open-world semantics.

Knowledge Representation Meets Automated Planning (KRPlan) aims at bringing together researchers from the fields of Knowledge Representation and Reasoning and Automated Planning to discuss and develop ideas for applying state-of-the-art techniques from KR and Planning for modeling and solving complex planning and reasoning problems. We invite both theoretical and practical contributions from these areas, including but not limited to:

 * Expressive planning domain models
 * Background knowledge for planning tasks
 * Improved preprocessing and search
 * Heuristic search techniques for reasoning
 * Explanations of dynamic systems
 * Standard formats like PDDL and OWL
 * Tailored search heuristics
 * Theories of actions and processes
 * Situation calculus
 * Temporal logic reasoning
 * Answer set planning
 * Knowledge engineering


### IMPORTANT DATES

Abstract submission: July 23, 2025
Paper submission: July 23, 2025 July 29, 2025
Notification: August 27, 2025
Workshop: November 11, 2025

All deadlines are AoE (UTC-12).

### SUBMISSION

We invite extended abstracts of 2-5 pages on topics related to both KR and Automated Planning. The abstract should be formatted in Springer LNCS Style and can be submitted via EasyChair:

  https://easychair.org/conferences?conf=krplan2025

The workshop will have no formal proceedings, and its main purpose is to encourage discussions. We invite you to submit original work as well as abstracts of previous publications that fall within the scope of KRPlan.


### ORGANIZING COMMITTEE

- Stefan Borgwardt, TU Dresden, Germany
- Giuseppe De Giacomo, University of Oxford, UK
- Patrick Koopmann, Vrije Universiteit Amsterdam, The Netherlands
- Gabriele Röger, University of Basel, Switzerland

If you have any questions, contact us at <krpla...@easychair.org>