Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aiia/ips2022.bht:"
download as .bib file
@proceedings{DBLP:conf/aiia/2022ips,
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3345},
urn = {urn:nbn:de:0074-3345-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2022ips.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/000122,
author = {Antonio Di Stasio},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Explicit and Symbolic Approaches for Parity Games (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper15\_Spirit4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/000122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/0001M22,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Give Me a Hand: How to Use Model Checking for Multi-Agent Systems
to Help Runtime Verification and Vice Versa (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper16\_Spirit5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/0001M22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AngilicaILP22,
author = {Denise Angilica and
Giovambattista Ianni and
Francesca A. Lisi and
Luca Pulina},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {{AI} and Videogames: a "Drosophila" for Declarative Methods},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper8\_RiCeRCa1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AngilicaILP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AulettaFV22,
author = {Vincenzo Auletta and
Diodato Ferraioli and
Cosimo Vinci},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds,
Budgeted, and Robustness (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper12\_Spirit1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AulettaFV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Barbin0G22,
author = {Aymeric Barbin and
Federico Cerutti and
Alfonso Emilio Gerevini},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic
Planning (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper2\_8664.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Barbin0G22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BenedictisBCC22,
author = {Riccardo De Benedictis and
Gloria Beraldo and
Amedeo Cesta and
Gabriella Cortellessa},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Branching and Pruning for Timeline-based Planning},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper3\_9460.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BenedictisBCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BuriganaF22,
author = {Luigi Bonassi and
Enrico Scala and
Alfonso Emilio Gerevini},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Planning with {PDDL3} Qualitative Constraints for Cost-Optimal Solutions
Through Compilation (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper4\_3415.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BuriganaF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BuriganaF22a,
author = {Alessandro Burigana and
Francesco Fabiano},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {The Epistemic Planning Domain Definition Language (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper5\_2497.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BuriganaF22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CattaLM22,
author = {Davide Catta and
Jean Leneutre and
Vadim Malvone},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Towards a Formal Verification of Attack Graphs},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper14\_Spirit3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CattaLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/EramoFGPPZ22,
author = {Romina Eramo and
Tiziana Fanni and
Dario Guidotti and
Laura Pandolfo and
Luca Pulina and
Katiuscia Zedda},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Verification of Neural Networks: Challenges and Perspectives in the
AIDOaRt Project (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper9\_RiCeRCa2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/EramoFGPPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Guidotti22,
author = {Dario Guidotti},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Verification of Neural Networks for Safety and Security-critical Domains},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper10\_RiCeRCa3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Guidotti22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Mittelmann22a,
author = {Munyque Mittelmann},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Logics for Reasoning about Auctions (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper17\_Spirit6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Mittelmann22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MorchediJK22,
author = {Sondes Morchedi and
Prakash Jamakatel and
Jane Jean Kiam},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Exploring the Unified Planning Framework for a More Integrated and
Flexible Fault Flight Path Planning System (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper6\_6569.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MorchediJK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PandolfoCCSS22,
author = {Laura Pandolfo and
Lucia Cardone and
Luisa Cutzu and
Beatrice Seligardi and
Giulia Simi},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Building the Semantic Portal of Italian Divagrafie (Short Paper)},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper11\_RiCeRCa4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PandolfoCCSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SerinaCGPS22,
author = {Lorenzo Serina and
Mattia Chiari and
Alfonso Emilio Gerevini and
Luca Putelli and
Ivan Serina},
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {A Preliminary Study on {BERT} applied to Automated Planning},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3345/paper7\_3460.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SerinaCGPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-31 18:46 CEST from data curated 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:
