Animation and exchanges in the Petri Nets community

[Antonio Di Stasio via Petrinet <address@concealed>]

Please circulate within your networks. Apologies for multiple postings.

============================================================

CALL FOR PAPERS 

 

"Highlights of Reasoning about Actions, Planning and Reactive Synthesis" 

 

Co-located with ECAI 2024, Santiago de Compostela, Spain 

Website: https://actsynt.github.io/ 

The fields of Reasoning about Actions and Planning in AI are undergoing rapid advancements, incorporating concepts and techniques from Reactive Synthesis and Strategic Reasoning, originally developed in Formal Methods. In recent years, the focus has evolved beyond standard forms of reasoning, such as action sequence executability and future effects (projection), to encompass more sophisticated modes of reasoning. This evolution has led to the identification of common points with other prominent areas of CS, facilitating a richer interdisciplinary discourse. A noteworthy convergence is observed between Reactive Synthesis in Formal Methods. Reactive Synthesis is based on the idea of constructing trustworthy-by-design systems that meet their specifications. This approach is of particular interest in designing autonomous intelligent systems that can react to changing environments and make decisions accordingly. Furthermore, the integration of Reasoning about Actions and Planning is expanding its connections to various forms of synthesis, including generalized planning and more. However, navigating this evolving landscape is challenging due to the dispersion of relevant research across numerous conferences and venues. 

  

Drawing upon a successful format followed in other fields (e.g., Highlights of Logic, Games and Automata and On the Effectiveness of Temporal Logics on Finite Traces in AI), the workshop aims to offer a wide picture of the latest research in the field in order to foster a common space to discuss current results and future directions and to facilitate the emergence of teams working across different areas. 

Topics

Topics of interest span the use of temporal logics over finite traces, including (but not limited to) the following areas:

• Agent behavior control 
• AI Planning 
• Augmented forms of Generative AI 
• Automated Reasoning 
• Automated Service Composition 
• Conversational Systems 
• Declarative and Procedural Business Process Management  
• Discrete-Event Control 
• First-person vs third person view 
• Formal Verification and Synthesis 
• Generalized planning 
• Hierarchical abstractions of action models 
• Human computer interaction 
• Knowledge Representation 
• Logic-based representation, action theories, temporal logics, logics of programs 
• Motion and Task Planning  
• Multi-Agent Systems 
• Partial observability, incomplete information, uncertainty 
• Plan, intention, and activity recognition 
• Reasoning about Actions 
• Reasoning about beliefs, goals and intentions 
• Formal techniques for responsibility anticipation and ethic issues 
• Reinforcement Learning 
• Robotics 
• Stochastic representation, MDPs and Non Markovion Decision Processes 
• Transparency, predictability and accountability of agents' behaviors 
• Workflow Management  

Paper Submissions

Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must not exceed 2 pages, including references (using the ECAI LaTeX template), and may refer to joint work with other collaborators to be credited in the presentation. There will be no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site). Submissions should be uploaded via Charingtool.

Important Dates (AoE)

• June 14, 2024 – Paper Submission 
• July 1, 2024 – Notification
  

Invited Speakers 

• Suguman Bansal, Georgia Tech, Atlanta, USA 
• Augusto B. Corrêa, University of Basel, Switzerland 
• Jan Křetínský, Technical University of Munich, Germany
  

Organizing Committee

• Giuseppe De Giacomo, University of Oxford, UK
• Antonio Di Stasio, University of Oxford, UK 
• Shufang Zhu, University of Oxford, UK

Contacts 

 

For any information contact Antonio Di Stasio (address@concealed) or Shufang Zhu (address@concealed).

Looking forward to seeing you at ActSynt 2024 in Santiago de Compostela!