default search action
IPS/RiCeRcA/SPIRIT@AI*IA 2022: Udine, Italy
- Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy. CEUR Workshop Proceedings 3345, CEUR-WS.org 2023
10th Italian Workshop on Planning and Scheduling (IPS-2022)
- Aymeric Barbin, Federico Cerutti, Alfonso Emilio Gerevini:
Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper). - Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa:
Branching and Pruning for Timeline-based Planning. - Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini:
Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper). - Alessandro Burigana, Francesco Fabiano
:
The Epistemic Planning Domain Definition Language (Short Paper). - Sondes Morchedi, Prakash Jamakatel, Jane Jean Kiam:
Exploring the Unified Planning Framework for a More Integrated and Flexible Fault Flight Path Planning System (Short Paper). - Lorenzo Serina, Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina:
A Preliminary Study on BERT applied to Automated Planning.
RCRA Incontri E Confronti (RiCeRcA 2022)
- Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina:
AI and Videogames: a "Drosophila" for Declarative Methods. - Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda:
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). - Dario Guidotti:
Verification of Neural Networks for Safety and Security-critical Domains. - Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi:
Building the Semantic Portal of Italian Divagrafie (Short Paper).
Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT)
- Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci:
On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds, Budgeted, and Robustness (Short Paper). - Davide Catta, Jean Leneutre, Vadim Malvone:
Towards a Formal Verification of Attack Graphs. - Antonio Di Stasio:
Explicit and Symbolic Approaches for Parity Games (Short Paper). - Angelo Ferrando, Vadim Malvone:
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). - Munyque Mittelmann:
Logics for Reasoning about Auctions (Short Paper).
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: