Abstract is missing.
- On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds, Budgeted, and Robustness (Short Paper)Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci. [doi]
- The Epistemic Planning Domain Definition Language (Short Paper)Alessandro Burigana, Francesco Fabiano. [doi]
- Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper)Aymeric Barbin, Federico Cerutti 0001, Alfonso Emilio Gerevini. [doi]
- Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper)Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini. [doi]
- Towards a Formal Verification of Attack GraphsDavide Catta, Jean Leneutre, Vadim Malvone. [doi]
- Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper)Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda. [doi]
- Verification of Neural Networks for Safety and Security-critical DomainsDario Guidotti. [doi]
- Branching and Pruning for Timeline-based PlanningRiccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa. [doi]
- Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper)Angelo Ferrando 0001, Vadim Malvone. [doi]
- Explicit and Symbolic Approaches for Parity Games (Short Paper)Antonio Di Stasio 0001. [doi]
- AI and Videogames: a "Drosophila" for Declarative MethodsDenise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina. [doi]
- Building the Semantic Portal of Italian Divagrafie (Short Paper)Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi. [doi]
- A Preliminary Study on BERT applied to Automated PlanningLorenzo Serina, Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina. [doi]
- Logics for Reasoning about Auctions (Short Paper)Munyque Mittelmann. [doi]
- Exploring the Unified Planning Framework for a More Integrated and Flexible Fault Flight Path Planning System (Short Paper)Sondes Morchedi, Prakash Jamakatel, Jane Jean Kiam. [doi]