[PlanetKR] [CfP]-Second Call: On the Effectiveness of Temporal Logics on Finite Traces in AI
Antonio Di Stasio
distasio at diag.uniroma1.it
Fri Jan 20 11:41:53 UTC 2023
CALL FOR PAPERS
"On the Effectiveness of Temporal Logics on Finite Traces in AI"
Part of the AAAI 2023 Spring Symposium Series
March 27-29, 2023, Hyatt Regency San Francisco Airport, CA, USA
Temporal logics, such as Linear Temporal Logic (LTL), are widely adopted as
a logical specification language in Formal Methods. They are also getting
increasing attention from the AI Community. In AI, however, there is often
a need to interpret such logics over finite traces, rather than the
traditional infinite-trace interpretation. This is evident, for instance,
in works on Planning, Reinforcement Learning, and Business Process
Management. An important computational feature of working with finite
traces is that it allows one to use standard finite-state automata to model
and reason, rather than the more complex omega-automata used for infinite
traces. This is a great simplification that has already had a significant
impact on many areas of AI and CS.
This symposium aims to bring together researchers working with temporal
logics on finite traces, in basic research and applications, in order to
discuss current results and future directions, and to facilitate the
emergence of teams working across different areas.
Topics of interest span the use of temporal logics over finite traces,
including (but not limited to) the following areas:
Verification and Synthesis
Motion and Task Planning
Automated Service Composition
Business Process Management
Human Computer Interaction
Natural Language Processing
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 (in AAAI style), 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 the AAAI SSS-23 EasyChair site.
January 30, 2023: Paper submission deadline (AoE).
February 4, 2023: Author notification (AoE).
March 27-29: AAAI Spring Symposium Series.
Rance Cleaveland <https://www.cs.umd.edu/people/wcleavel>, University of
Giuseppe De Giacomo <https://www.diag.uniroma1.it//degiacom/>,
University of Oxford & Sapienza University of Rome, Italy
Lydia Kavraki <https://www.cs.rice.edu/~kavraki/>, Rice University,
Houston, TX, USA
Shiela A. Mcilraith <https://www.cs.toronto.edu/~sheila/>, University of
University of Bolzano, Italy
Kristin Y. Rozier
State University, USA
University of Texas at Austin, TX, USA
Moshe Vardi <https://www.cs.rice.edu/~vardi/>, Rice University, Houston,
Suguman Bansal <https://suguman.github.io/>, Co-Chair, Georgia Institute
of Technology, suguman at seas.upenn.edu
Antonio Di Stasio <https://antoniodistasio.github.io/>, Co-Chair,
University of Oxford distasio at diag.uniroma1.it
Sasha Rubin <https://sasharubin.github.io/>, Co-Chair, University of
Sydney, sasha.rubin at sydney.edu.au
Shufang Zhu <https://shufang-zhu.github.io/>, Co-Chair, Sapienza
University of Rome, zhu at diag.uniroma1.it
For more information, please see the symposium website:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the PlanetKR