[ECAI-24] EXTENDED deadline: ActSynt - Workshop on Highlights of Reasoning about Actions, Planning and Reactive Synthesis
Antonio Di Stasio
============================================================
CALL FOR PAPERS
"Highlights of Reasoning about Actions, Planning and Reactive Synthesis"
Co-located with ECAI 2024, October 19, 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
Important Dates (AoE)
- July 1, 2024 – Paper Submission
- July 14, 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 (antonio....@cs.ox.ac.uk) or Shufang Zhu (shufa...@cs.ox.ac.uk).
Looking forward to seeing you at ActSynt 2024 in Santiago de Compostela!