Re: CfP: KRPlan 2025 Workshop: Knowledge Representation Meets Automated Planning

Paola, any message including the words "planning" and "automated" is bound to attract my attention.
Yours prompted me to engage ChatGPT in compiling this Active Inference Planning Framework in StratML Part 2 format:  https://stratml.us/docs/AIPF.xml
BTW, I also updated my StratML listing of W3C community and business groups, at https://stratml.us/drybridge/index.htm#W3CCBG  
As you know, I believe it would be good if each of the groups were publishing their plans and reports in an open, standard, machine-readable format like StratML.  Lord knows, the AI services understand why, even if leaders of the W3C don't (or perhaps choose to engage in artificial ignorance on that score).
Owen Amburhttps://www.linkedin.com/in/owenambur/
 

    On Monday, May 19, 2025 at 12:34:16 AM EDT, Paola Di Maio <paola.dimaio@gmail.com> wrote:   

 Reposting!PDM
---------- Forwarded manyoessage ---------
From: Stefan Borgwardt <stefan.borgwardt@tu-dresden.de>
Date: Tue, May 6, 2025 at 8:38 PM
Subject: CfP: KRPlan 2025 Workshop: Knowledge Representation Meets Automated Planning
To: 


(apologies for cross-posting)

### 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/

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

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


### 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 <krplan2025@easychair.org>