Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIPS/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).
a service of 
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-05-14 21:27 CEST 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:
