|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Riccardo De Benedictis, Nicola Gatti 0001, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati (eds.) |
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.  |
IPS/RiCeRcA/SPIRIT@AI*IA  |
2023 |
DBLP BibTeX RDF |
|
| 1 | Angelo Ferrando 0001, Vadim Malvone |
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Aymeric Barbin, Federico Cerutti 0001, Alfonso Emilio Gerevini |
Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | 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). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Dario Guidotti |
Verification of Neural Networks for Safety and Security-critical Domains. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Serina, Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina |
A Preliminary Study on BERT applied to Automated Planning. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina |
AI and Videogames: a "Drosophila" for Declarative Methods. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Munyque Mittelmann |
Logics for Reasoning about Auctions (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini |
Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | 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). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa |
Branching and Pruning for Timeline-based Planning. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Burigana, Francesco Fabiano |
The Epistemic Planning Domain Definition Language (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Antonio Di Stasio 0001 |
Explicit and Symbolic Approaches for Parity Games (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci |
On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds, Budgeted, and Robustness (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Davide Catta, Jean Leneutre, Vadim Malvone |
Towards a Formal Verification of Attack Graphs. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi |
Building the Semantic Portal of Italian Divagrafie (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license