Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mauro Vallati
@article{DBLP:journals/tiv/GuoVWZCW24,
author = {Rongge Guo and
Mauro Vallati and
Yutong Wang and
Hui Zhang and
Yuanyuan Chen and
Fei{-}Yue Wang},
title = {Sustainability Opportunities and Ethical Challenges of AI-Enabled
Connected Autonomous Vehicles Routing in Urban Areas},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {9},
number = {1},
pages = {55--58},
year = {2024},
url = {https://doi.org/10.1109/TIV.2023.3345661},
doi = {10.1109/TIV.2023.3345661},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tiv/GuoVWZCW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2023w1,
editor = {Slawomir Nowaczyk and
Przemyslaw Biecek and
Neo Christopher Chung and
Mauro Vallati and
Pawel Skruch and
Joanna Jaworek{-}Korjakowska and
Simon Parkinson and
Alexandros Nikitas and
Martin Atzm{\"{u}}ller and
Tom{\'{a}}s Kliegr and
Ute Schmid and
Szymon Bobek and
Nada Lavrac and
Marieke Peeters and
Roland van Dierendonck and
Saskia Robben and
Eunika Mercier{-}Laurent and
G{\"{u}}lg{\"{u}}n Kayakutlu and
Mieczyslaw Lech Owoc and
Karl Mason and
Abdul Wahid and
Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Giorgio Terracina and
Diedrich Wolter and
Jochen L. Leidner and
Michael Kohlhase and
Vania Dimitrova},
title = {Artificial Intelligence. {ECAI} 2023 International Workshops - XAI{\({^3}\)},
TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Krak{\'{o}}w,
Poland, September 30 - October 4, 2023, Proceedings, Part {I}},
series = {Communications in Computer and Information Science},
volume = {1947},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50396-2},
doi = {10.1007/978-3-031-50396-2},
isbn = {978-3-031-50395-5},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/2023w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2023w2,
editor = {Slawomir Nowaczyk and
Przemyslaw Biecek and
Neo Christopher Chung and
Mauro Vallati and
Pawel Skruch and
Joanna Jaworek{-}Korjakowska and
Simon Parkinson and
Alexandros Nikitas and
Martin Atzm{\"{u}}ller and
Tom{\'{a}}s Kliegr and
Ute Schmid and
Szymon Bobek and
Nada Lavrac and
Marieke Peeters and
Roland van Dierendonck and
Saskia Robben and
Eunika Mercier{-}Laurent and
G{\"{u}}lg{\"{u}}n Kayakutlu and
Mieczyslaw Lech Owoc and
Karl Mason and
Abdul Wahid and
Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Giorgio Terracina and
Diedrich Wolter and
Jochen L. Leidner and
Michael Kohlhase and
Vania Dimitrova},
title = {Artificial Intelligence. {ECAI} 2023 International Workshops - XAI{\({^3}\)},
TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Krak{\'{o}}w,
Poland, September 30 - October 4, 2023, Proceedings, Part {II}},
series = {Communications in Computer and Information Science},
volume = {1948},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50485-3},
doi = {10.1007/978-3-031-50485-3},
isbn = {978-3-031-50484-6},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/2023w2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/PercassiSV23,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
title = {A Practical Approach to Discretised {PDDL+} Problems by Translation
to Numeric Planning},
journal = {J. Artif. Intell. Res.},
volume = {76},
pages = {115--162},
year = {2023},
url = {https://doi.org/10.1613/jair.1.13904},
doi = {10.1613/JAIR.1.13904},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/PercassiSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/PercassiGSSV23,
author = {Francesco Percassi and
Alfonso Emilio Gerevini and
Enrico Scala and
Ivan Serina and
Mauro Vallati},
title = {Improving Domain-Independent Heuristic State-Space Planning via plan
cost predictions},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {35},
number = {6},
pages = {849--875},
year = {2023},
url = {https://doi.org/10.1080/0952813x.2021.1970239},
doi = {10.1080/0952813X.2021.1970239},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/PercassiGSSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/AlarnaoutiBV23,
author = {Diaeddin Alarnaouti and
George Baryannis and
Mauro Vallati},
title = {Reformulation techniques for automated planning: a systematic review},
journal = {Knowl. Eng. Rev.},
volume = {38},
year = {2023},
url = {https://doi.org/10.1017/s0269888923000097},
doi = {10.1017/S0269888923000097},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ker/AlarnaoutiBV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/GuoGVZ23,
author = {Rongge Guo and
Wei Guan and
Mauro Vallati and
Wenyi Zhang},
title = {Modular Autonomous Electric Vehicle Scheduling for Customized On-Demand
Bus Services},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {24},
number = {9},
pages = {10055--10066},
year = {2023},
url = {https://doi.org/10.1109/TITS.2023.3271690},
doi = {10.1109/TITS.2023.3271690},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/GuoGVZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/DaiVGWHL23,
author = {Xingyuan Dai and
Mauro Vallati and
Rongge Guo and
Yutong Wang and
Shuangshuang Han and
Yilun Lin},
title = {The Road Ahead: DAO-Secured {V2X} Infrastructures for Safe and Smart
Vehicular Management},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {8},
number = {12},
pages = {4674--4677},
year = {2023},
url = {https://doi.org/10.1109/TIV.2023.3337993},
doi = {10.1109/TIV.2023.3337993},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tiv/DaiVGWHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DodaroMV23,
author = {Carmine Dodaro and
Marco Maratea and
Mauro Vallati},
title = {On the Configuration of More and Less Expressive Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {2},
pages = {415--443},
year = {2023},
url = {https://doi.org/10.1017/S1471068422000096},
doi = {10.1017/S1471068422000096},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DodaroMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PercassiSV23,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
editor = {Roberto Basili and
Domenico Lembo and
Carla Limongelli and
Andrea Orlandini},
title = {A Structure-Sensitive Translation from Hybrid to Numeric Planning},
booktitle = {AIxIA 2023 - Advances in Artificial Intelligence - XXIInd International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14318},
pages = {105--118},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47546-7\_8},
doi = {10.1007/978-3-031-47546-7\_8},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PercassiSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PercassiSV23,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Fixing Plans for {PDDL+} Problems: Theoretical and Practical Implications},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {324--333},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27210},
doi = {10.1609/ICAPS.V33I1.27210},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/PercassiSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/VallatiOLSGF23,
author = {Mauro Vallati and
Stefania Orini and
Mariagrazia Lorusso and
Mariachiara Savino and
Roberto Gatta and
Massimiliano Filosto},
editor = {Michael Franklin and
Soon Ae Chun},
title = {On the Comparison of Markov Chains-based Models in Process Mining
for Healthcare: {A} Case Study},
booktitle = {Proceedings of the Thirty-Sixth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2023, Clearwater Beach, FL,
USA, May 14-17, 2023},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.32473/flairs.36.133049},
doi = {10.32473/FLAIRS.36.133049},
timestamp = {Sat, 30 Sep 2023 09:41:17 +0200},
biburl = {https://dblp.org/rec/conf/flairs/VallatiOLSGF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icteri/Vallati23,
author = {Mauro Vallati},
editor = {Grigoris Antoniou and
Vadim Ermolayev and
Vitaliy Kobets and
Vira Liubchenko and
Heinrich C. Mayr and
Aleksander Spivakovsky and
Vitaliy Yakovyna and
Grygoriy Zholtkevych},
title = {The Power of Good Old-Fashioned {AI} for Urban Traffic Control},
booktitle = {Information and Communication Technologies in Education, Research,
and Industrial Applications - 18th International Conference, {ICTERI}
2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1980},
pages = {3--10},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48325-7\_1},
doi = {10.1007/978-3-031-48325-7\_1},
timestamp = {Thu, 18 Apr 2024 16:50:13 +0200},
biburl = {https://dblp.org/rec/conf/icteri/Vallati23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BhatnagarGMMPV23,
author = {Saumya Bhatnagar and
Rongge Guo and
Keith McCabe and
Thomas L. McCluskey and
Francesco Percassi and
Mauro Vallati},
title = {Automated Planning for Generating and Simulating Traffic Signal Strategies},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {7119--7122},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/830},
doi = {10.24963/IJCAI.2023/830},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BhatnagarGMMPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/GuoLBV23,
author = {Rongge Guo and
Xiaoyu Liu and
Saumya Bhatnagar and
Mauro Vallati},
title = {Real-time Routing and Scheduling of On-demand Autonomous Customized
Bus Systems},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {1536--1541},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10421983},
doi = {10.1109/ITSC57777.2023.10421983},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/GuoLBV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/VallatiC23,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa},
title = {In Defence of Good Old-Fashioned Artificial Intelligence Approaches
in Intelligent Transportation Systems},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {4913--4918},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422348},
doi = {10.1109/ITSC57777.2023.10422348},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/VallatiC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/CardelliniDMV23,
author = {Matteo Cardellini and
Carmine Dodaro and
Marco Maratea and
Mauro Vallati},
title = {A Framework for Risk-Aware Routing of Connected Vehicles via Artificial
Intelligence},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {5008--5013},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422165},
doi = {10.1109/ITSC57777.2023.10422165},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/CardelliniDMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/GuoNPV23,
author = {Rongge Guo and
Alexandros Nikitas and
Simon Parkinson and
Mauro Vallati},
title = {One Bus is All it Takes: The Impact of Cyber Attacks in Customised
Bus Services},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {5784--5789},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422703},
doi = {10.1109/ITSC57777.2023.10422703},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/GuoNPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/ChrpaV23,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati},
title = {Centralised Vehicle Routing for Optimising Urban Traffic: {A} Scalability
Perspective},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2023, Anchorage, AK, USA,
June 4-7, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IV55152.2023.10186707},
doi = {10.1109/IV55152.2023.10186707},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/ChrpaV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ChrpaDMMV23,
author = {Luk{\'{a}}s Chrpa and
Carmine Dodaro and
Marco Maratea and
Marco Mochi and
Mauro Vallati},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Comparing Planning Domain Models Using Answer Set Programming},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {227--242},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_16},
doi = {10.1007/978-3-031-43619-2\_16},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/ChrpaDMMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtits/PercassiBGMMV23,
author = {Francesco Percassi and
Saumya Bhatnagar and
Rongge Guo and
Keith McCabe and
Thomas Leo McCluskey and
Mauro Vallati},
title = {An Efficient Heuristic for AI-based Urban Traffic Control},
booktitle = {8th International Conference on Models and Technologies for Intelligent
Transportation Systems, {MT-ITS} 2023, Nice, France, June 14-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MT-ITS56129.2023.10241690},
doi = {10.1109/MT-ITS56129.2023.10241690},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtits/PercassiBGMMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtits/SvadlenkaCV23,
author = {Maty{\'{a}}s Svadlenka and
Luk{\'{a}}s Chrpa and
Mauro Vallati},
title = {Improving the Scalability of Automated Planning-based Vehicle Routing
via Smart Routes Identification},
booktitle = {8th International Conference on Models and Technologies for Intelligent
Transportation Systems, {MT-ITS} 2023, Nice, France, June 14-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MT-ITS56129.2023.10241639},
doi = {10.1109/MT-ITS56129.2023.10241639},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtits/SvadlenkaCV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/PercassiSV23,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
editor = {Roman Bart{\'{a}}k and
Wheeler Ruml and
Oren Salzman},
title = {On the Notion of Fixability of {PDDL+} Plans [Extended Abstract]},
booktitle = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
2023, July 14-16, 2023, Prague, Czech Republic},
pages = {177--178},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/socs.v16i1.27302},
doi = {10.1609/SOCS.V16I1.27302},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/PercassiSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/aiia/2023ips,
editor = {Riccardo De Benedictis and
Matteo Castiglioni and
Diodato Ferraioli and
Vadim Malvone and
Marco Maratea and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Proceedings of the the Italian Workshop on Planning and Scheduling,
{RCRA} Workshop on Experimental evaluation of algorithms for solving
problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,
Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}
2023) co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2023, November 7-9th,
2023, Rome, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3585},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3585},
urn = {urn:nbn:de:0074-3585-8},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2023ips.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2023,
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
publisher = {{AAAI} Press},
year = {2023},
url = {https://ojs.aaai.org/index.php/ICAPS/issue/view/562},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10079,
author = {Diaeddin Alarnaouti and
George Baryannis and
Mauro Vallati},
title = {Reformulation Techniques for Automated Planning: {A} Systematic Review},
journal = {CoRR},
volume = {abs/2301.10079},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.10079},
doi = {10.48550/ARXIV.2301.10079},
eprinttype = {arXiv},
eprint = {2301.10079},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-10079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-05062,
author = {Chris Fawcett and
Mauro Vallati and
Holger H. Hoos and
Alfonso Emilio Gerevini},
title = {Competitions in {AI} - Robustly Ranking Solvers Using Statistical
Resampling},
journal = {CoRR},
volume = {abs/2308.05062},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.05062},
doi = {10.48550/ARXIV.2308.05062},
eprinttype = {arXiv},
eprint = {2308.05062},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-05062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ChrpaV22,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati},
title = {Planning with Critical Section Macros: Theory and Practice},
journal = {J. Artif. Intell. Res.},
volume = {74},
pages = {691--732},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13269},
doi = {10.1613/JAIR.1.13269},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ChrpaV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/TavazziGVPFPCC22,
author = {Erica Tavazzi and
Roberto Gatta and
Mauro Vallati and
Stefano Cotti Piccinelli and
Massimiliano Filosto and
Alessandro Padovani and
Maurizio Castellano and
Barbara Di Camillo},
title = {Leveraging process mining for modeling progression trajectories in
amyotrophic lateral sclerosis},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {22-S},
number = {6},
pages = {346},
year = {2022},
url = {https://doi.org/10.1186/s12911-023-02113-7},
doi = {10.1186/S12911-023-02113-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/midm/TavazziGVPFPCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ScalaMV22,
author = {Enrico Scala and
Thomas L. McCluskey and
Mauro Vallati},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Verification of Numeric Planning Problems Through Domain Dynamic Consistency},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {171--183},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_12},
doi = {10.1007/978-3-031-27181-6\_12},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ScalaMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PercassiSV22,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {The Power of Reformulation: From Validation to Planning in {PDDL+}},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {288--296},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19812},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/PercassiSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/AlfordCVA22,
author = {Ron Alford and
Luk{\'{a}}s Chrpa and
Mauro Vallati and
Andy Applebaum},
editor = {Roman Bart{\'{a}}k and
Fazel Keshtkar and
Michael Franklin},
title = {Knowledge Reformulation and Deception as a Defense Against Automated
Cyber Adversaries},
booktitle = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen
Beach, Florida, USA, May 15-18, 2022},
year = {2022},
url = {https://doi.org/10.32473/flairs.v35i.130675},
doi = {10.32473/FLAIRS.V35I.130675},
timestamp = {Wed, 26 Oct 2022 08:35:03 +0200},
biburl = {https://dblp.org/rec/conf/flairs/AlfordCVA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BhatnagarMSMMV22,
author = {Saumya Bhatnagar and
Sumit Mund and
Enrico Scala and
Keith McCabe and
Thomas Leo McCluskey and
Mauro Vallati},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {On-the-Fly Knowledge Acquisition for Automated Planning Applications:
Challenges and Lessons Learnt},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 2, Online Streaming, February
3-5, 2022},
pages = {387--397},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010857100003116},
doi = {10.5220/0010857100003116},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BhatnagarMSMMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/GuoGBV22,
author = {Rongge Guo and
Wei Guan and
Saumya Bhatnagar and
Mauro Vallati},
title = {A Two-Phase Optimization Model for Autonomous Electric Customized
Bus Service Design},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {383--388},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9921783},
doi = {10.1109/ITSC55140.2022.9921783},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/GuoGBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BhatnagarGMMSV22,
author = {Saumya Bhatnagar and
Rongge Guo and
Keith McCabe and
Thomas L. McCluskey and
Enrico Scala and
Mauro Vallati},
title = {Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {607--612},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9922231},
doi = {10.1109/ITSC55140.2022.9922231},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/BhatnagarGMMSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/IvankovicVCR22,
author = {Franc Ivankovic and
Mauro Vallati and
Luk{\'{a}}s Chrpa and
Marco Roveri},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {Urban Traffic Control via Planning with Global State Constraints (Extended
Abstract)},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {291--293},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21789},
doi = {10.1609/SOCS.V15I1.21789},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/IvankovicVCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/PercassiSV22,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {On the Reformulation of Discretised {PDDL+} to Numeric Planning (Extended
Abstract)},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {314--316},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21797},
doi = {10.1609/SOCS.V15I1.21797},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/PercassiSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2021ips,
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Proceedings of the 9th Italian workshop on Planning and Scheduling
(IPS'21) and the 28th International Workshop on "Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion"
(RCRA'21) with {CEUR-WS} co-located with 20th International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2021),
Milan, Italy (virtual), November 29th-30th, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3065},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3065},
urn = {urn:nbn:de:0074-3065-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2021ips.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2022hydra,
editor = {Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Marco Maratea and
Giorgio Terracina and
Mauro Vallati},
title = {Joint Proceedings of the 1st International Workshop on HYbrid Models
for Coupling Deductive and Inductive ReAsoning {(HYDRA} 2022) and
the 29th {RCRA} Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion {(RCRA} 2022) co-located
with the 16th International Conference on Logic Programming and Non-monotonic
Reasoning {(LPNMR} 2022), Genova Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3281},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3281},
urn = {urn:nbn:de:0074-3281-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/2022hydra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01024,
author = {Carmine Dodaro and
Marco Maratea and
Mauro Vallati},
title = {On the Configuration of More and Less Expressive Logic Programs},
journal = {CoRR},
volume = {abs/2203.01024},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.01024},
doi = {10.48550/ARXIV.2203.01024},
eprinttype = {arXiv},
eprint = {2203.01024},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-01024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/HaraborV21,
author = {Daniel Harabor and
Mauro Vallati},
title = {Organizing a Successful Artificial Intelligence Online Conference:
Lessons from the 13th Symposium on Combinatorial Search},
journal = {{AI} Mag.},
volume = {42},
number = {1},
pages = {76--82},
year = {2021},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/7376},
doi = {10.1002/J.2371-9621.2021.TB00013.X},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/HaraborV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/GrassiV21,
author = {Alessia Grassi and
Mauro Vallati},
title = {An Exploratory Study on the Use of Artificial Intelligence to Initiate
Legal Understanding for Business Development},
journal = {{FLAP}},
volume = {8},
number = {4},
pages = {1065--1082},
year = {2021},
url = {https://collegepublications.co.uk/ifcolog/?00046},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/GrassiV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/VallatiCMH21,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey and
Frank Hutter},
title = {On the Importance of Domain Model Configuration for Automated Planning
Engines},
journal = {J. Autom. Reason.},
volume = {65},
number = {6},
pages = {727--773},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09592-1},
doi = {10.1007/S10817-021-09592-1},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/VallatiCMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/ScalaV21,
author = {Enrico Scala and
Mauro Vallati},
title = {Effective grounding for hybrid planning problems represented in {PDDL+}},
journal = {Knowl. Eng. Rev.},
volume = {36},
pages = {e9},
year = {2021},
url = {https://doi.org/10.1017/S0269888921000072},
doi = {10.1017/S0269888921000072},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ker/ScalaV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BertolucciCDLMM21,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {Manipulation of Articulated Objects Using Dual-arm Robots via Answer
Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {3},
pages = {372--401},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000459},
doi = {10.1017/S1471068420000459},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BertolucciCDLMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PercassiSV21,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
editor = {Stefania Bandini and
Francesca Gasparini and
Viviana Mascardi and
Matteo Palmonari and
Giuseppe Vizzari},
title = {A Sound (But Incomplete) Polynomial Translation from Discretised {PDDL+}
to Numeric Planning},
booktitle = {AIxIA 2021 - Advances in Artificial Intelligence - 20th International
Conference of the Italian Association for Artificial Intelligence,
Virtual Event, December 1-3, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13196},
pages = {18--31},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-08421-8\_2},
doi = {10.1007/978-3-031-08421-8\_2},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/PercassiSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PercassiSV21,
author = {Francesco Percassi and
Enrico Scala and
Mauro Vallati},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Translations from Discretised {PDDL+} to Numeric Planning},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {252--261},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15969},
timestamp = {Wed, 30 Aug 2023 08:38:08 +0200},
biburl = {https://dblp.org/rec/conf/aips/PercassiSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CardelliniMVBO21,
author = {Matteo Cardellini and
Marco Maratea and
Mauro Vallati and
Gianluca Boleto and
Luca Oneto},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {In-Station Train Dispatching: {A} {PDDL+} Planning Approach},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {450--458},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15991},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/CardelliniMVBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esann/BoletoOCMVCA21,
author = {Gianluca Boleto and
Luca Oneto and
Matteo Cardellini and
Marco Maratea and
Mauro Vallati and
Renzo Canepa and
Davide Anguita},
title = {In-Station Train Movements Prediction: from Shallow to Deep Multi
Scale Models},
booktitle = {29th European Symposium on Artificial Neural Networks, Computational
Intelligence and Machine Learning, {ESANN} 2021, Online event (Bruges,
Belgium), October 6-8, 2021},
year = {2021},
url = {https://doi.org/10.14428/esann/2021.ES2021-29},
doi = {10.14428/ESANN/2021.ES2021-29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esann/BoletoOCMVCA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/VallatiM21,
author = {Mauro Vallati and
Thomas Leo McCluskey},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A Quality Framework for Automated Planning Knowledge Models},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial
Intelligence, {ICAART} 2021, Volume 2, Online Streaming, February
4-6, 2021},
pages = {635--644},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010216806350644},
doi = {10.5220/0010216806350644},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/VallatiM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/CardelliniMVBO21,
author = {Matteo Cardellini and
Marco Maratea and
Mauro Vallati and
Gianluca Boleto and
Luca Oneto},
editor = {Maciej Paszynski and
Dieter Kranzlm{\"{u}}ller and
Valeria V. Krzhizhanovskaya and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {An Efficient Hybrid Planning Framework for In-Station Train Dispatching},
booktitle = {Computational Science - {ICCS} 2021 - 21st International Conference,
Krakow, Poland, June 16-18, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12742},
pages = {168--182},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77961-0\_15},
doi = {10.1007/978-3-030-77961-0\_15},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/CardelliniMVBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ThimmCV21,
author = {Matthias Thimm and
Federico Cerutti and
Mauro Vallati},
editor = {Zhi{-}Hua Zhou},
title = {Skeptical Reasoning with Preferred Semantics in Abstract Argumentation
without Computing Preferred Extensions},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {2069--2075},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/285},
doi = {10.24963/IJCAI.2021/285},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ThimmCV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/VallatiSC21,
author = {Mauro Vallati and
Enrico Scala and
Luk{\'{a}}s Chrpa},
title = {A Hybrid Automated Planning Approach for Urban Real-time Routing of
Connected Vehicles},
booktitle = {24th {IEEE} International Intelligent Transportation Systems Conference,
{ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
pages = {3821--3826},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ITSC48978.2021.9564838},
doi = {10.1109/ITSC48978.2021.9564838},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/VallatiSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtits/VallatiC21,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa},
title = {Effective Real-Time Urban Traffic Routing: An Automated Planning Approach},
booktitle = {7th International Conference on Models and Technologies for Intelligent
Transportation Systems, {MT-ITS} 2021, Heraklion, Greece, June 16-17,
2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MT-ITS49943.2021.9529329},
doi = {10.1109/MT-ITS49943.2021.9529329},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mtits/VallatiC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/CardelliniMVBO21,
author = {Matteo Cardellini and
Marco Maratea and
Mauro Vallati and
Gianluca Boleto and
Luca Oneto},
editor = {Hang Ma and
Ivan Serina},
title = {A Planning-based Approach for In-Station Train Dispatching},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
2021},
pages = {156--158},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/socs.v12i1.18568},
doi = {10.1609/SOCS.V12I1.18568},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/CardelliniMVBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-03106,
author = {Matthias Thimm and
Federico Cerutti and
Mauro Vallati},
title = {Fudge: {A} light-weight solver for abstract argumentation based on
{SAT} reductions},
journal = {CoRR},
volume = {abs/2109.03106},
year = {2021},
url = {https://arxiv.org/abs/2109.03106},
eprinttype = {arXiv},
eprint = {2109.03106},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/CeruttiTV20,
author = {Federico Cerutti and
Matthias Thimm and
Mauro Vallati},
title = {An experimental analysis on the similarity of argumentation semantics},
journal = {Argument Comput.},
volume = {11},
number = {3},
pages = {269--304},
year = {2020},
url = {https://doi.org/10.3233/AAC-200907},
doi = {10.3233/AAC-200907},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/argcom/CeruttiTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/CohenGVGA20,
author = {Andrea Cohen and
Sebastian Gottifredi and
Mauro Vallati and
Alejandro Javier Garc{\'{\i}}a and
Grigoris Antoniou},
title = {Maximising goals achievement through abstract argumentation frameworks:
An optimal approach},
journal = {Expert Syst. Appl.},
volume = {141},
year = {2020},
url = {https://doi.org/10.1016/j.eswa.2019.112930},
doi = {10.1016/J.ESWA.2019.112930},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/CohenGVGA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EiterMV20,
author = {Thomas Eiter and
Marco Maratea and
Mauro Vallati},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {174},
number = {3-4},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1939},
doi = {10.3233/FI-2020-1939},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/EiterMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/VallatiCS20,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Ivan Serina},
title = {MEvo: a framework for effective macro sets evolution},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {32},
number = {4},
pages = {685--703},
year = {2020},
url = {https://doi.org/10.1080/0952813X.2019.1672796},
doi = {10.1080/0952813X.2019.1672796},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/VallatiCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/VallatiM20,
author = {Mauro Vallati and
Thomas Leo McCluskey},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {In Defence of Design Patterns for {AI} Planning Knowledge Models (short
paper)},
booktitle = {Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling
and the 27th International Workshop on Experimental Evaluation of
Algorithms for Solving Problems with Combinatorial Explosion co-located
with AIxIA 2020, Online Event, November 25-27, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2745},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2745/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/VallatiM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZanettiGVC20,
author = {Tobia Zanetti and
Massimiliano Giacomin and
Mauro Vallati and
Federico Cerutti},
editor = {Bettina Fazzinga and
Filippo Furfaro and
Francesco Parisi},
title = {An Efficient Algorithm for Admissible Argumentation Stages},
booktitle = {Proceedings of the Workshop on Advances In Argumentation In Artificial
Intelligence 2020 co-located with the 19th International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2020),
Online, November 25-26, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2777},
pages = {45--59},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2777/paper42.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ZanettiGVC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CeruttiGVZ20,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati and
Tobia Zanetti},
editor = {Matteo Baldoni and
Stefania Bandini},
title = {An Efficient Algorithm for Semi-stable Extensions},
booktitle = {AIxIA 2020 - Advances in Artificial Intelligence - XIXth International
Conference of the Italian Association for Artificial Intelligence,
Virtual Event, November 25-27, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12414},
pages = {117--135},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77091-4\_8},
doi = {10.1007/978-3-030-77091-4\_8},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CeruttiGVZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/VallatiM20a,
author = {Mauro Vallati and
Thomas Leo McCluskey},
editor = {Matteo Baldoni and
Stefania Bandini},
title = {In Defence of Design Patterns for {AI} Planning Knowledge Models},
booktitle = {AIxIA 2020 - Advances in Artificial Intelligence - XIXth International
Conference of the Italian Association for Artificial Intelligence,
Virtual Event, November 25-27, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12414},
pages = {191--203},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77091-4\_12},
doi = {10.1007/978-3-030-77091-4\_12},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/VallatiM20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PercassiGSSV20,
author = {Francesco Percassi and
Alfonso Emilio Gerevini and
Enrico Scala and
Ivan Serina and
Mauro Vallati},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Generating and Exploiting Cost Predictions in Heuristic State-Space
Planning},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {569--573},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6753},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/PercassiGSSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/VallatiC20,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa},
editor = {Marcus Gallagher and
Nour Moustafa and
Erandi Lakshika},
title = {Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing:
{A} Simulation Study},
booktitle = {{AI} 2020: Advances in Artificial Intelligence - 33rd Australasian
Joint Conference, {AI} 2020, Canberra, ACT, Australia, November 29-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12576},
pages = {69--81},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64984-5\_6},
doi = {10.1007/978-3-030-64984-5\_6},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/VallatiC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/VallatiC20a,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa},
editor = {Marcus Gallagher and
Nour Moustafa and
Erandi Lakshika},
title = {A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban
Regions},
booktitle = {{AI} 2020: Advances in Artificial Intelligence - 33rd Australasian
Joint Conference, {AI} 2020, Canberra, ACT, Australia, November 29-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12576},
pages = {82--93},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64984-5\_7},
doi = {10.1007/978-3-030-64984-5\_7},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/VallatiC20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/ThimmCV20,
author = {Matthias Thimm and
Federico Cerutti and
Mauro Vallati},
editor = {Henry Prakken and
Stefano Bistarelli and
Francesco Santini and
Carlo Taticchi},
title = {On Computing the Set of Acceptable Arguments in Abstract Argumentation},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia,
Italy, September 4-11, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {326},
pages = {363--370},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200520},
doi = {10.3233/FAIA200520},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/ThimmCV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/GattaVPLTCC20,
author = {Roberto Gatta and
Mauro Vallati and
Ilenia Pirola and
Jacopo Lenkowicz and
Luca Tagliaferri and
Carlo Cappelli and
Maurizio Castellano},
editor = {Valeria V. Krzhizhanovskaya and
G{\'{a}}bor Z{\'{a}}vodszky and
Michael Harold Lees and
Jack J. Dongarra and
Peter M. A. Sloot and
S{\'{e}}rgio Brissos and
Jo{\~{a}}o Teixeira},
title = {An Empirical Analysis of Predictors for Workload Estimation in Healthcare},
booktitle = {Computational Science - {ICCS} 2020 - 20th International Conference,
Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12137},
pages = {304--311},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50371-0\_22},
doi = {10.1007/978-3-030-50371-0\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/GattaVPLTCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icite/Vallati20,
author = {Mauro Vallati},
title = {Centralised Versus Decentralised Traffic Optimisation of Urban Road
Networks: {A} Simulation Study},
booktitle = {5th {IEEE} International Conference on Intelligent Transportation
Engineering, {ICITE} 2020, Beijing, China, September 11-13, 2020},
pages = {319--325},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICITE50838.2020.9231396},
doi = {10.1109/ICITE50838.2020.9231396},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icite/Vallati20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ScalaV20,
author = {Enrico Scala and
Mauro Vallati},
title = {Exploiting Classical Planning Grounding in Hybrid {PDDL+} Planning
Engines},
booktitle = {32nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2020, Baltimore, MD, USA, November 9-11, 2020},
pages = {85--92},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICTAI50040.2020.00024},
doi = {10.1109/ICTAI50040.2020.00024},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/ScalaV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SerinaV20,
author = {Ivan Serina and
Mauro Vallati},
title = {Configurable Heuristic Adaptation for Improving Best First Search
in {AI} Planning},
booktitle = {32nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2020, Baltimore, MD, USA, November 9-11, 2020},
pages = {93--100},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICTAI50040.2020.00025},
doi = {10.1109/ICTAI50040.2020.00025},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/SerinaV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BertolucciCMMV20,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {Collaborative Robotic Manipulation: {A} Use Case of Articulated Objects
in Three-dimensions with Gravity},
booktitle = {32nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2020, Baltimore, MD, USA, November 9-11, 2020},
pages = {1167--1174},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICTAI50040.2020.00177},
doi = {10.1109/ICTAI50040.2020.00177},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/BertolucciCMMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/20/VK2020,
editor = {Mauro Vallati and
Diane E. Kitchin},
title = {Knowledge Engineering Tools and Techniques for {AI} Planning},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-38561-3},
doi = {10.1007/978-3-030-38561-3},
isbn = {978-3-030-38560-6},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/20/VK2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2019rcra,
editor = {Marco Maratea and
Mauro Vallati},
title = {Joint Proceedings of the {RCRA} International Workshop and of the
{RCRA} Incontri e Confronti Workshop co-located with the 18th International
Conference of the Italian Association for Artificial Intelligence
{(AIIA} 2019), Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2538},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2538},
urn = {urn:nbn:de:0074-2538-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2019rcra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2020ips,
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling
and the 27th International Workshop on Experimental Evaluation of
Algorithms for Solving Problems with Combinatorial Explosion co-located
with AIxIA 2020, Online Event, November 25-27, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2745},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2745},
urn = {urn:nbn:de:0074-2745-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2020ips.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/comma/2020safa,
editor = {Sarah Alice Gaggl and
Matthias Thimm and
Mauro Vallati},
title = {Proceedings of the Third International Workshop on Systems and Algorithms
for Formal Argumentation co-located with the 8th International Conference
on Computational Models of Argument {(COMMA} 2020), September 8, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2672},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2672},
urn = {urn:nbn:de:0074-2672-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/2020safa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/socs/2020,
editor = {Daniel Harabor and
Mauro Vallati},
title = {Proceedings of the Thirteenth International Symposium on Combinatorial
Search, {SOCS} 2020, Online Conference [Vienna, Austria], 26-28 May
2020},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/SOCS/issue/view/440},
isbn = {978-1-57735-822-0},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-12129,
author = {Daniel Harabor and
Mauro Vallati},
title = {Organising a Successful {AI} Online Conference: Lessons from SoCS
2020},
journal = {CoRR},
volume = {abs/2006.12129},
year = {2020},
url = {https://arxiv.org/abs/2006.12129},
eprinttype = {arXiv},
eprint = {2006.12129},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-12129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01164,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {Manipulation of Articulated Objects using Dual-arm Robots via Answer
Set Programming},
journal = {CoRR},
volume = {abs/2010.01164},
year = {2020},
url = {https://arxiv.org/abs/2010.01164},
eprinttype = {arXiv},
eprint = {2010.01164},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07710,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey and
Frank Hutter},
title = {On the Importance of Domain Model Configuration for Automated Planning
Engines},
journal = {CoRR},
volume = {abs/2010.07710},
year = {2020},
url = {https://arxiv.org/abs/2010.07710},
eprinttype = {arXiv},
eprint = {2010.07710},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-06865,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {Collaborative Robotic Manipulation: {A} Use Case of Articulated Objects
in Three-dimensions with Gravity},
journal = {CoRR},
volume = {abs/2011.06865},
year = {2020},
url = {https://arxiv.org/abs/2011.06865},
eprinttype = {arXiv},
eprint = {2011.06865},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-06865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CeruttiGV19,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati},
title = {How we designed winning algorithms for abstract argumentation and
which insight we attained},
journal = {Artif. Intell.},
volume = {276},
pages = {1--40},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.08.001},
doi = {10.1016/J.ARTINT.2019.08.001},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CeruttiGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/GattaVDMLCCFDSD19,
author = {Roberto Gatta and
Mauro Vallati and
Nicola Dinapoli and
Carlotta Masciocchi and
Jacopo Lenkowicz and
Davide Cusumano and
Calogero Cas{\`{a}} and
Alessandra Farchione and
Andrea Damiani and
Johan van Soest and
Andre Dekker and
Vincenzo Valentini},
title = {Towards a modular decision support system for radiomics: {A} case
study on rectal cancer},
journal = {Artif. Intell. Medicine},
volume = {96},
pages = {145--153},
year = {2019},
url = {https://doi.org/10.1016/j.artmed.2018.09.003},
doi = {10.1016/J.ARTMED.2018.09.003},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/artmed/GattaVDMLCCFDSD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/ChrpaVM19,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey},
title = {Inner entanglements: Narrowing the search in classical planning by
problem reformulation},
journal = {Comput. Intell.},
volume = {35},
number = {2},
pages = {395--429},
year = {2019},
url = {https://doi.org/10.1111/coin.12203},
doi = {10.1111/COIN.12203},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/ChrpaVM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/CenamorVC19,
author = {Isabel Cenamor and
Mauro Vallati and
Luk{\'{a}}s Chrpa},
title = {On the predictability of domain-independent temporal planners},
journal = {Comput. Intell.},
volume = {35},
number = {4},
pages = {745--773},
year = {2019},
url = {https://doi.org/10.1111/coin.12211},
doi = {10.1111/COIN.12211},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/CenamorVC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/VallatiCG19,
author = {Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
title = {Predictive models and abstract argumentation: the case of high-complexity
semantics},
journal = {Knowl. Eng. Rev.},
volume = {34},
pages = {e6},
year = {2019},
url = {https://doi.org/10.1017/S0269888918000036},
doi = {10.1017/S0269888918000036},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ker/VallatiCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChrpaV19,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati},
title = {Improving Domain-Independent Planning via Critical Section Macro-Operators},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {7546--7553},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33017546},
doi = {10.1609/AAAI.V33I01.33017546},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChrpaV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BertolucciCMMV19,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {Automated Planning Encodings for the Manipulation of Articulated Objects
in 3D with Gravity},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {135--150},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_10},
doi = {10.1007/978-3-030-35166-3\_10},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BertolucciCMMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/VallatiM19,
author = {Mauro Vallati and
Marco Maratea},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {On the Configuration of {SAT} Formulae},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {264--277},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_19},
doi = {10.1007/978-3-030-35166-3\_19},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/VallatiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GattaVFMOSLMMCB19,
author = {Roberto Gatta and
Mauro Vallati and
Carlos Fern{\'{a}}ndez{-}Llatas and
Antonio Martinez{-}Millana and
Stefania Orini and
Lucia Sacchi and
Jacopo Lenkowicz and
Mar Marcos and
Jorge Munoz{-}Gama and
Michel A. Cuendet and
Berardino De Bari and
Luis Marco{-}Ruiz and
Alessandro Stefanini and
Maurizio Castellano},
editor = {Chiara Di Francescomarino and
Remco M. Dijkman and
Uwe Zdun},
title = {Clinical Guidelines: {A} Crossroad of Many Research Areas. Challenges
and Opportunities in Process Mining for Healthcare},
booktitle = {Business Process Management Workshops - {BPM} 2019 International Workshops,
Vienna, Austria, September 1-6, 2019, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {362},
pages = {545--556},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37453-2\_44},
doi = {10.1007/978-3-030-37453-2\_44},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/GattaVFMOSLMMCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/GattaVLMCBFVD19,
author = {Roberto Gatta and
Mauro Vallati and
Jacopo Lenkowicz and
Carlotta Masciocchi and
Francesco Cellini and
Luca Boldrini and
Carlos Fern{\'{a}}ndez{-}Llatas and
Vincenzo Valentini and
Andrea Damiani},
editor = {Jo{\~{a}}o M. F. Rodrigues and
Pedro J. S. Cardoso and
J{\^{a}}nio M. Monteiro and
Roberto Lam and
Valeria V. Krzhizhanovskaya and
Michael Harold Lees and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {On the Feasibility of Distributed Process Mining in Healthcare},
booktitle = {Computational Science - {ICCS} 2019 - 19th International Conference,
Faro, Portugal, June 12-14, 2019, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {11540},
pages = {445--452},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22750-0\_36},
doi = {10.1007/978-3-030-22750-0\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/GattaVLMCBFVD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/VallatiCK19,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Diane E. Kitchin},
editor = {Jo{\~{a}}o M. F. Rodrigues and
Pedro J. S. Cardoso and
J{\^{a}}nio M. Monteiro and
Roberto Lam and
Valeria V. Krzhizhanovskaya and
Michael Harold Lees and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {How to Plan Roadworks in Urban Regions? {A} Principled Approach Based
on {AI} Planning},
booktitle = {Computational Science - {ICCS} 2019 - 19th International Conference,
Faro, Portugal, June 12-14, 2019, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {11540},
pages = {453--460},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22750-0\_37},
doi = {10.1007/978-3-030-22750-0\_37},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/VallatiCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/FrancoVLM19,
author = {Santiago Franco and
Mauro Vallati and
Alan Lindsay and
Thomas Lee McCluskey},
editor = {Jo{\~{a}}o M. F. Rodrigues and
Pedro J. S. Cardoso and
J{\^{a}}nio M. Monteiro and
Roberto Lam and
Valeria V. Krzhizhanovskaya and
Michael Harold Lees and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Improving Planning Performance in {PDDL+} Domains via Automated Predicate
Reformulation},
booktitle = {Computational Science - {ICCS} 2019 - 19th International Conference,
Faro, Portugal, June 12-14, 2019, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {11540},
pages = {491--498},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22750-0\_42},
doi = {10.1007/978-3-030-22750-0\_42},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/FrancoVLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/VallatiC19,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa},
editor = {Mayank Kejriwal and
Pedro A. Szekely and
Rapha{\"{e}}l Troncy},
title = {On the Robustness of Domain-Independent Planning Engines: The Impact
of Poorly-Engineered Knowledge},
booktitle = {Proceedings of the 10th International Conference on Knowledge Capture,
{K-CAP} 2019, Marina Del Rey, CA, USA, November 19-21, 2019},
pages = {197--204},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3360901.3364416},
doi = {10.1145/3360901.3364416},
timestamp = {Sat, 30 May 2020 20:04:59 +0200},
biburl = {https://dblp.org/rec/conf/kcap/VallatiC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BertolucciCDLMM19,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Nicola Leone and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {An ASP-Based Framework for the Manipulation of Articulated Objects
Using Dual-Arm Robots},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {32--44},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_3},
doi = {10.1007/978-3-030-20528-7\_3},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BertolucciCDLMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChrpaVP19,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Simon Parkinson},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Exploiting automated planning for efficient centralized vehicle routing
and mitigating congestion in urban road networks},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {191--194},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297539},
doi = {10.1145/3297280.3297539},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ChrpaVP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/BhattiKV19,
author = {Faizan Bhatti and
Diane E. Kitchin and
Mauro Vallati},
editor = {Max Bramer and
Miltos Petridis},
title = {A General Approach to Exploit Model Predictive Control for Guiding
Automated Planning Search in Hybrid Domains},
booktitle = {Artificial Intelligence {XXXVI} - 39th {SGAI} International Conference
on Artificial Intelligence, {AI} 2019, Cambridge, UK, December 17-19,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11927},
pages = {139--145},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34885-4\_10},
doi = {10.1007/978-3-030-34885-4\_10},
timestamp = {Sat, 30 May 2020 20:07:11 +0200},
biburl = {https://dblp.org/rec/conf/sgai/BhattiKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BoccheseFVGH18,
author = {Andrea F. Bocchese and
Chris Fawcett and
Mauro Vallati and
Alfonso Emilio Gerevini and
Holger H. Hoos},
title = {Performance robustness of {AI} planners in the 2014 International
Planning Competition},
journal = {{AI} Commun.},
volume = {31},
number = {6},
pages = {445--463},
year = {2018},
url = {https://doi.org/10.3233/AIC-170537},
doi = {10.3233/AIC-170537},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/BoccheseFVGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ParkinsonVCS18,
author = {Simon Parkinson and
Mauro Vallati and
Andrew Crampton and
Shirin Sohrabi},
title = {GraphBAD: {A} general technique for anomaly detection in security
information and event management},
journal = {Concurr. Comput. Pract. Exp.},
volume = {30},
number = {16},
year = {2018},
url = {https://doi.org/10.1002/cpe.4433},
doi = {10.1002/CPE.4433},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/ParkinsonVCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/idt/CeruttiGV18,
author = {Federico Cerutti and
Alessia Grassi and
Mauro Vallati},
title = {Unveiling the oracle: Artificial intelligence for the 21st century},
journal = {Intell. Decis. Technol.},
volume = {12},
number = {3},
pages = {371--379},
year = {2018},
url = {https://doi.org/10.3233/IDT-180342},
doi = {10.3233/IDT-180342},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/idt/CeruttiGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/CeruttiVG18,
author = {Federico Cerutti and
Mauro Vallati and
Massimiliano Giacomin},
title = {On the impact of configuration on abstract argumentation automated
reasoning},
journal = {Int. J. Approx. Reason.},
volume = {92},
pages = {120--138},
year = {2018},
url = {https://doi.org/10.1016/j.ijar.2017.10.002},
doi = {10.1016/J.IJAR.2017.10.002},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/CeruttiVG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/ChrpaVM18,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey},
title = {Outer entanglements: a general heuristic technique for improving the
efficiency of planning algorithms},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {30},
number = {6},
pages = {831--856},
year = {2018},
url = {https://doi.org/10.1080/0952813X.2018.1509377},
doi = {10.1080/0952813X.2018.1509377},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/ChrpaVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/VallatiCM18,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey},
title = {What you always wanted to know about the deterministic part of the
International Planning Competition {(IPC)} 2014 (but were too afraid
to ask)},
journal = {Knowl. Eng. Rev.},
volume = {33},
pages = {e3},
year = {2018},
url = {https://doi.org/10.1017/S0269888918000012},
doi = {10.1017/S0269888918000012},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/VallatiCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/CapitanelliMMV18,
author = {Alessio Capitanelli and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {On the manipulation of articulated objects in human-robot cooperation
scenarios},
journal = {Robotics Auton. Syst.},
volume = {109},
pages = {139--155},
year = {2018},
url = {https://doi.org/10.1016/j.robot.2018.08.003},
doi = {10.1016/J.ROBOT.2018.08.003},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ras/CapitanelliMMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BertolucciCDMMV18,
author = {Riccardo Bertolucci and
Alessio Capitanelli and
Carmine Dodaro and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
editor = {Marco Maratea and
Mauro Vallati},
title = {KR{\&}R Approaches for Robot Manipulation Tasks with Articulated
Objects},
booktitle = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
Conference of the Italian Association for Artificial Intelligence,
RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2272},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2272/short3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BertolucciCDMMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/VallatiS18,
author = {Mauro Vallati and
Ivan Serina},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {A General Approach for Configuring {PDDL} Problem Models},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {431--436},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17624},
timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
biburl = {https://dblp.org/rec/conf/aips/VallatiS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/0001VCG18,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
editor = {Sanjay Modgil and
Katarzyna Budzynska and
John Lawrence},
title = {Enumerating Preferred Extensions Using {ASP} Domain Heuristics: The
ASPrMin Solver},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
Poland, 12-14 September 2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {305},
pages = {459--460},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-906-5-459},
doi = {10.3233/978-1-61499-906-5-459},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/0001VCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/VallatiCK18,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Diane E. Kitchin},
editor = {Yong Shi and
Haohuan Fu and
Yingjie Tian and
Valeria V. Krzhizhanovskaya and
Michael Harold Lees and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {On the Configuration of Robust Static Parallel Portfolios for Efficient
Plan Generation},
booktitle = {Computational Science - {ICCS} 2018 - 18th International Conference,
Wuxi, China, June 11-13, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10860},
pages = {15--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93698-7\_2},
doi = {10.1007/978-3-319-93698-7\_2},
timestamp = {Mon, 08 May 2023 14:38:37 +0200},
biburl = {https://dblp.org/rec/conf/iccS/VallatiCK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/FrancoLVM18,
author = {Santiago Franco and
Alan Lindsay and
Mauro Vallati and
Thomas Lee McCluskey},
editor = {Yong Shi and
Haohuan Fu and
Yingjie Tian and
Valeria V. Krzhizhanovskaya and
Michael Harold Lees and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {An Innovative Heuristic for Planning-Based Urban Traffic Control},
booktitle = {Computational Science - {ICCS} 2018 - 18th International Conference,
Wuxi, China, June 11-13, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10860},
pages = {181--193},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93698-7\_14},
doi = {10.1007/978-3-319-93698-7\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/FrancoLVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChrpaV18,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati},
editor = {Lefteri H. Tsoukalas and
{\'{E}}ric Gr{\'{e}}goire and
Miltiadis Alamaniotis},
title = {Determining Representativeness of Training Plans: {A} Case of Macro-Operators},
booktitle = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2018, 5-7 November 2018, Volos, Greece},
pages = {488--492},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICTAI.2018.00081},
doi = {10.1109/ICTAI.2018.00081},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChrpaV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GattaVLCCDV18,
author = {Roberto Gatta and
Mauro Vallati and
Jacopo Lenkowicz and
Calogero Cas{\`{a}} and
Francesco Cellini and
Andrea Damiani and
Vincenzo Valentini},
editor = {Lefteri H. Tsoukalas and
{\'{E}}ric Gr{\'{e}}goire and
Miltiadis Alamaniotis},
title = {A Framework for Event Log Generation and Knowledge Representation
for Process Mining in Healthcare},
booktitle = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2018, 5-7 November 2018, Volos, Greece},
pages = {647--654},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICTAI.2018.00103},
doi = {10.1109/ICTAI.2018.00103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GattaVLCCDV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/VallatiC18,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa},
editor = {Wei{-}Bin Zhang and
Alexandre M. Bayen and
Javier J. S{\'{a}}nchez Medina and
Matthew J. Barth},
title = {A Principled Analysis of the Interrelation between Vehicular Communication
and Reasoning Capabilities of Autonomous Vehicles},
booktitle = {21st International Conference on Intelligent Transportation Systems,
{ITSC} 2018, Maui, HI, USA, November 4-7, 2018},
pages = {3761--3766},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ITSC.2018.8569953},
doi = {10.1109/ITSC.2018.8569953},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/VallatiC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SkerikC0V18,
author = {Tom{\'{a}}s Sker{\'{\i}}k and
Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Mauro Vallati},
title = {Automated Training Plan Generation for Athletes},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
pages = {3865--3870},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SMC.2018.00655},
doi = {10.1109/SMC.2018.00655},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/SkerikC0V18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2018ricerca,
editor = {Marco Maratea and
Mauro Vallati},
title = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
Conference of the Italian Association for Artificial Intelligence,
RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2272},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2272},
urn = {urn:nbn:de:0074-2272-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2018ricerca.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/comma/2018safa,
editor = {Matthias Thimm and
Federico Cerutti and
Mauro Vallati},
title = {Proceedings of the Second International Workshop on Systems and Algorithms
for Formal Argumentation {(SAFA} 2018) co-located with the 7th International
Conference on Computational Models of Argument {(COMMA} 2018), Warsaw,
Poland, September 11, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2171},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2171},
urn = {urn:nbn:de:0074-2171-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/2018safa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rcra/2018,
editor = {Marco Maratea and
Mauro Vallati},
title = {Proceedings of the Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion co-located with
the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom,
July 13, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2271},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2271},
urn = {urn:nbn:de:0074-2271-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01757,
author = {Alessio Capitanelli and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
title = {On the manipulation of articulated objects in human-robot cooperation
scenarios},
journal = {CoRR},
volume = {abs/1801.01757},
year = {2018},
url = {http://arxiv.org/abs/1801.01757},
eprinttype = {arXiv},
eprint = {1801.01757},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-01757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/ChrpaMVV17,
author = {Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey and
Mauro Vallati and
Tiago Vaquero},
title = {The Fifth International Competition on Knowledge Engineering for Planning
and Scheduling: Summary and Trends},
journal = {{AI} Mag.},
volume = {38},
number = {1},
pages = {104--106},
year = {2017},
url = {https://doi.org/10.1609/aimag.v38i1.2719},
doi = {10.1609/AIMAG.V38I1.2719},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/ChrpaMVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/RizziniFVGH17,
author = {Mattia Rizzini and
Chris Fawcett and
Mauro Vallati and
Alfonso Emilio Gerevini and
Holger H. Hoos},
title = {Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical
Analysis},
journal = {Int. J. Artif. Intell. Tools},
volume = {26},
number = {1},
pages = {1760006:1--1760006:27},
year = {2017},
url = {https://doi.org/10.1142/S0218213017600065},
doi = {10.1142/S0218213017600065},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/RizziniFVGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/CeruttiVG17,
author = {Federico Cerutti and
Mauro Vallati and
Massimiliano Giacomin},
title = {An Efficient Java-Based Solver for Abstract Argumentation Frameworks:
jArgSemSAT},
journal = {Int. J. Artif. Intell. Tools},
volume = {26},
number = {2},
pages = {1750002:1--1750002:26},
year = {2017},
url = {https://doi.org/10.1142/S0218213017500026},
doi = {10.1142/S0218213017500026},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijait/CeruttiVG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/VallatiCS17,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Ivan Serina},
editor = {Floriana Esposito and
Roberto Basili and
Stefano Ferilli and
Francesca A. Lisi},
title = {On the Evolution of Planner-Specific Macro Sets},
booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International
Conference of the Italian Association for Artificial Intelligence,
Bari, Italy, November 14-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10640},
pages = {443--454},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70169-1\_33},
doi = {10.1007/978-3-319-70169-1\_33},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/VallatiCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CapitanelliMMV17,
author = {Alessio Capitanelli and
Marco Maratea and
Fulvio Mastrogiovanni and
Mauro Vallati},
editor = {Floriana Esposito and
Roberto Basili and
Stefano Ferilli and
Francesca A. Lisi},
title = {Automated Planning Techniques for Robot Manipulation Tasks Involving
Articulated Objects},
booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International
Conference of the Italian Association for Artificial Intelligence,
Bari, Italy, November 14-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10640},
pages = {483--497},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70169-1\_36},
doi = {10.1007/978-3-319-70169-1\_36},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/CapitanelliMMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/GattaLVRDSBDFMM17,
author = {Roberto Gatta and
Jacopo Lenkowicz and
Mauro Vallati and
Eric Rojas and
Andrea Damiani and
Lucia Sacchi and
Berardino De Bari and
Arianna Dagliati and
Carlos Fern{\'{a}}ndez{-}Llatas and
Matteo Montesi and
Antonio Marchetti and
Maurizio Castellano and
Vincenzo Valentini},
editor = {Annette ten Teije and
Christian Popow and
John H. Holmes and
Lucia Sacchi},
title = {pMineR: An Innovative {R} Library for Performing Process Mining in
Medicine},
booktitle = {Artificial Intelligence in Medicine - 16th Conference on Artificial
Intelligence in Medicine, {AIME} 2017, Vienna, Austria, June 21-24,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10259},
pages = {351--355},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59758-4\_42},
doi = {10.1007/978-3-319-59758-4\_42},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aime/GattaLVRDSBDFMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/McCluskeyV17,
author = {Thomas Leo McCluskey and
Mauro Vallati},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Embedding Automated Planning within Urban Traffic Management Operations},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {391--399},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15645},
timestamp = {Tue, 26 Sep 2017 07:30:03 +0200},
biburl = {https://dblp.org/rec/conf/aips/McCluskeyV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ParkinsonLFVC17,
author = {Simon Parkinson and
Andrew Longstaff and
Simon Fletcher and
Mauro Vallati and
Luk{\'{a}}s Chrpa},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {On the Exploitation of Automated Planning for Reducing Machine Tools
Energy Consumption between Manufacturing Operations},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {400--408},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15654},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/ParkinsonLFVC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/VallatiCG17,
author = {Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
editor = {Wei Peng and
Damminda Alahakoon and
Xiaodong Li},
title = {On the Combination of Argumentation Solvers into Parallel Portfolios},
booktitle = {{AI} 2017: Advances in Artificial Intelligence - 30th Australasian
Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10400},
pages = {315--327},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63004-5\_25},
doi = {10.1007/978-3-319-63004-5\_25},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/VallatiCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/TachmazidisBDDV17,
author = {Ilias Tachmazidis and
Sotiris Batsakis and
John Davies and
Alistair Duke and
Mauro Vallati and
Grigoris Antoniou and
Sandra Stincic Clarke},
editor = {Eva Blomqvist and
Diana Maynard and
Aldo Gangemi and
Rinke Hoekstra and
Pascal Hitzler and
Olaf Hartig},
title = {A Hypercat-Enabled Semantic Internet of Things Data Hub},
booktitle = {The Semantic Web - 14th International Conference, {ESWC} 2017, Portoro{\v{z}},
Slovenia, May 28 - June 1, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10250},
pages = {125--137},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58451-5\_9},
doi = {10.1007/978-3-319-58451-5\_9},
timestamp = {Sun, 25 Oct 2020 23:08:05 +0100},
biburl = {https://dblp.org/rec/conf/esws/TachmazidisBDDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McCluskeyVF17,
author = {Thomas Leo McCluskey and
Mauro Vallati and
Santiago Franco},
editor = {Carles Sierra},
title = {Automated Planning for Urban Traffic Management},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {5238--5240},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/776},
doi = {10.24963/IJCAI.2017/776},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McCluskeyVF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdcc/ParkinsonQKV17,
author = {Simon Parkinson and
Yongrui Qin and
Saad Khan and
Mauro Vallati},
editor = {Hani Hamdan and
Djallel Eddine Boubiche and
Homero Toral{-}Cruz and
Sedat Akleylek and
Hamid Mcheick},
title = {Security auditing in the fog},
booktitle = {Proceedings of the Second International Conference on Internet of
things and Cloud Computing, {ICC} 2017, Cambridge, United Kingdom,
March 22-23, 2017},
pages = {191:1--191:9},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018896.3056808},
doi = {10.1145/3018896.3056808},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iotdcc/ParkinsonQKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/McCluskeyVV17,
author = {Thomas Leo McCluskey and
Tiago Stegun Vaquero and
Mauro Vallati},
editor = {{\'{O}}scar Corcho and
Krzysztof Janowicz and
Giuseppe Rizzo and
Ilaria Tiddi and
Daniel Garijo},
title = {Engineering Knowledge for Automated Planning: Towards a Notion of
Quality},
booktitle = {Proceedings of the Knowledge Capture Conference, {K-CAP} 2017, Austin,
TX, USA, December 4-6, 2017},
pages = {14:1--14:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3148011.3148012},
doi = {10.1145/3148011.3148012},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kcap/McCluskeyVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/GattaVLRDSBDFMM17,
author = {Roberto Gatta and
Mauro Vallati and
Jacopo Lenkowicz and
Eric Rojas and
Andrea Damiani and
Lucia Sacchi and
Berardino De Bari and
Arianna Dagliati and
Carlos Fern{\'{a}}ndez{-}Llatas and
Matteo Montesi and
Antonio Marchetti and
Maurizio Castellano and
Vincenzo Valentini},
editor = {{\'{O}}scar Corcho and
Krzysztof Janowicz and
Giuseppe Rizzo and
Ilaria Tiddi and
Daniel Garijo},
title = {Generating and Comparing Knowledge Graphs of Medical Processes Using
pMineR},
booktitle = {Proceedings of the Knowledge Capture Conference, {K-CAP} 2017, Austin,
TX, USA, December 4-6, 2017},
pages = {36:1--36:4},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3148011.3154464},
doi = {10.1145/3148011.3154464},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kcap/GattaVLRDSBDFMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/VallatiCM17,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Improving a Planner's Performance through Online Heuristic Configuration
of Domain Models},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {171--172},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18412},
doi = {10.1609/SOCS.V8I1.18412},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/VallatiCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plansig/2016,
editor = {Luk{\'{a}}s Chrpa and
Simon Parkinson and
Mauro Vallati},
title = {Proceedings of the 34th Workshop of the {UK} Planning and Scheduling
Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1782},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1782},
urn = {urn:nbn:de:0074-1782-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plansig/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TachmazidisBDDV17,
author = {Ilias Tachmazidis and
Sotiris Batsakis and
John Davies and
Alistair Duke and
Mauro Vallati and
Grigoris Antoniou and
Sandra Stincic Clarke},
title = {A Hypercat-enabled Semantic Internet of Things Data Hub: Technical
Report},
journal = {CoRR},
volume = {abs/1703.00391},
year = {2017},
url = {http://arxiv.org/abs/1703.00391},
eprinttype = {arXiv},
eprint = {1703.00391},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TachmazidisBDDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/ThimmVCOSV16,
author = {Matthias Thimm and
Serena Villata and
Federico Cerutti and
Nir Oren and
Hannes Strass and
Mauro Vallati},
title = {Summary Report of The First International Competition on Computational
Models of Argumentation},
journal = {{AI} Mag.},
volume = {37},
number = {1},
pages = {102},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i1.2640},
doi = {10.1609/AIMAG.V37I1.2640},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/ThimmVCOSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comj/VelardoVJ16,
author = {Valerio Velardo and
Mauro Vallati and
Steven Jan},
title = {Symbolic Melodic Similarity: State of the Art and Future Challenges},
journal = {Comput. Music. J.},
volume = {40},
number = {2},
pages = {70--83},
year = {2016},
url = {https://doi.org/10.1162/COMJ\_a\_00359},
doi = {10.1162/COMJ\_A\_00359},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comj/VelardoVJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VallatiSSG16,
author = {Mauro Vallati and
Ivan Serina and
Alessandro Saetti and
Alfonso Emilio Gerevini},
title = {Identifying and Exploiting Features for Effective Plan Retrieval in
Case-Based Planning},
journal = {Fundam. Informaticae},
volume = {149},
number = {1-2},
pages = {209--240},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1447},
doi = {10.3233/FI-2016-1447},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VallatiSSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/ChrpaMMMV16,
author = {Luk{\'{a}}s Chrpa and
Daniele Magazzeni and
Keith McCabe and
Thomas Leo McCluskey and
Mauro Vallati},
title = {Automated planning for Urban traffic control: Strategic vehicle routing
to respect air quality limitations},
journal = {Intelligenza Artificiale},
volume = {10},
number = {2},
pages = {113--128},
year = {2016},
url = {https://doi.org/10.3233/IA-160099},
doi = {10.3233/IA-160099},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/ChrpaMMMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VallatiMSCM16,
author = {Mauro Vallati and
Daniele Magazzeni and
Bart De Schutter and
Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Efficient Macroscopic Urban Traffic Models for Reducing Congestion:
{A} {PDDL+} Planning Approach},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3188--3194},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10399},
doi = {10.1609/AAAI.V30I1.10399},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VallatiMSCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/GattaVCBSFMVC16,
author = {Roberto Gatta and
Mauro Vallati and
Carlo Cappelli and
Berardino De Bari and
Massimo Salvetti and
Silvio Finardi and
Maria Lorenza Muiesan and
Vincenzo Valentini and
Maurizio Castellano},
editor = {James P. Gilbert and
Haim Azhari and
Hesham H. Ali and
Carla Quint{\~{a}}o and
Jan Sliwa and
Carolina Ruiz and
Ana L. N. Fred and
Hugo Gamboa},
title = {Bridging the Gap between Knowledge Representation and Electronic Health
Records},
booktitle = {Proceedings of the 9th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 5:
HEALTHINF, Rome, Italy, February 21-23, 2016},
pages = {159--165},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005648801590165},
doi = {10.5220/0005648801590165},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/GattaVCBSFMVC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/DinapoliAVAGBDM16,
author = {Nicola Dinapoli and
Anna Rita Alitto and
Mauro Vallati and
Rosa Autorino and
Roberto Gatta and
Luca Boldrini and
Andrea Damiani and
Giovanna Mantini and
Vincenzo Valentini},
editor = {James P. Gilbert and
Haim Azhari and
Hesham H. Ali and
Carla Quint{\~{a}}o and
Jan Sliwa and
Carolina Ruiz and
Ana L. N. Fred and
Hugo Gamboa},
title = {RadioBio data: {A} Moddicom Module to Predict Tumor Control Probability
and Normal Tissue Complication Probability in Radiotherapy},
booktitle = {Proceedings of the 9th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 5:
HEALTHINF, Rome, Italy, February 21-23, 2016},
pages = {277--281},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005693502770281},
doi = {10.5220/0005693502770281},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biostec/DinapoliAVAGBDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ChrpaV16,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati},
title = {On the exploitation of Automated Planning for efficient decision making
in road traffic accident management},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {6607--6612},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7799286},
doi = {10.1109/CDC.2016.7799286},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ChrpaV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiVG16,
author = {Federico Cerutti and
Mauro Vallati and
Massimiliano Giacomin},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {On the Effectiveness of Automated Configuration in Abstract Argumentation
Reasoning},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {199--206},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-199},
doi = {10.3233/978-1-61499-686-6-199},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiVG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiVG16a,
author = {Federico Cerutti and
Mauro Vallati and
Massimiliano Giacomin},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {Where Are We Now? State of the Art and Future Trends of Solvers for
Hard Argumentation Problems},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {207--218},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-207},
doi = {10.3233/978-1-61499-686-6-207},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiVG16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiVG16b,
author = {Federico Cerutti and
Mauro Vallati and
Massimiliano Giacomin},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {Efficient and Off-The-Shelf Solver: jArgSemSAT},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {465--466},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-465},
doi = {10.3233/978-1-61499-686-6-465},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiVG16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiGV16,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati},
editor = {Pietro Baroni and
Thomas F. Gordon and
Tatjana Scheffler and
Manfred Stede},
title = {Generating Structured Argumentation Frameworks: AFBenchGen2},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
Germany, 12-16 September, 2016},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {287},
pages = {467--468},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-686-6-467},
doi = {10.3233/978-1-61499-686-6-467},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiGV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FaberVCG16,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Solving Set Optimization Problems by Cardinality Optimization with
an Application to Argumentation},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {966--973},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-966},
doi = {10.3233/978-1-61499-672-9-966},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/FaberVCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CeruttiVG16,
author = {Federico Cerutti and
Mauro Vallati and
Massimiliano Giacomin},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation
Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {541--544},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12842},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CeruttiVG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plansig/JilaniCKV16,
author = {Rabia Jilani and
Andrew Crampton and
Diane E. Kitchin and
Mauro Vallati},
editor = {Luk{\'{a}}s Chrpa and
Simon Parkinson and
Mauro Vallati},
title = {Have a Little Patience: Let Planners Play Cards},
booktitle = {Proceedings of the 34th Workshop of the {UK} Planning and Scheduling
Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1782},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1782/paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/plansig/JilaniCKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plansig/McCluskeyV16,
author = {Thomas Leo McCluskey and
Mauro Vallati},
editor = {Luk{\'{a}}s Chrpa and
Simon Parkinson and
Mauro Vallati},
title = {The SimplyfAI Project: Using {AI} Planning in Urban Traffic Management
or If at First the Representation Does not Work, Try, Try and Try
and Again},
booktitle = {Proceedings of the 34th Workshop of the {UK} Planning and Scheduling
Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1782},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1782/paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plansig/McCluskeyV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/comma/2016safa,
editor = {Matthias Thimm and
Federico Cerutti and
Hannes Strass and
Mauro Vallati},
title = {Proceedings of the First International Workshop on Systems and Algorithms
for Formal Argumentation {(SAFA)} co-located with the 6th International
Conference on Computational Models of Argument {(COMMA} 2016), Potsdam,
Germany, September 13, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1672},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1672},
urn = {urn:nbn:de:0074-1672-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/2016safa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VelardoV16,
author = {Valerio Velardo and
Mauro Vallati},
title = {A General Framework for Describing Creative Agents},
journal = {CoRR},
volume = {abs/1604.04096},
year = {2016},
url = {http://arxiv.org/abs/1604.04096},
eprinttype = {arXiv},
eprint = {1604.04096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VelardoV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FaberVCG16,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
title = {Solving Set Optimization Problems by Cardinality Optimization via
Weak Constraints with an Application to Argumentation},
journal = {CoRR},
volume = {abs/1612.07589},
year = {2016},
url = {http://arxiv.org/abs/1612.07589},
eprinttype = {arXiv},
eprint = {1612.07589},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FaberVCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GereviniSV15,
author = {Alfonso Emilio Gerevini and
Alessandro Saetti and
Mauro Vallati},
title = {Exploiting macro-actions and predicting plan length in planning as
satisfiability},
journal = {{AI} Commun.},
volume = {28},
number = {2},
pages = {323--344},
year = {2015},
url = {https://doi.org/10.3233/AIC-140641},
doi = {10.3233/AIC-140641},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GereviniSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/VallatiCK15,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Diane E. Kitchin},
title = {Portfolio-based planning: State of the art, common practice and open
challenges},
journal = {{AI} Commun.},
volume = {28},
number = {4},
pages = {717--733},
year = {2015},
url = {https://doi.org/10.3233/AIC-150671},
doi = {10.3233/AIC-150671},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/VallatiCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/VallatiCGMRS15,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Marek Grzes and
Thomas Leo McCluskey and
Mark Roberts and
Scott Sanner},
title = {The 2014 International Planning Competition: Progress and Trends},
journal = {{AI} Mag.},
volume = {36},
number = {3},
pages = {90--98},
year = {2015},
url = {https://doi.org/10.1609/aimag.v36i3.2571},
doi = {10.1609/AIMAG.V36I3.2571},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/VallatiCGMRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CeruttiTVBGA15,
author = {Federico Cerutti and
Ilias Tachmazidis and
Mauro Vallati and
Sotirios Batsakis and
Massimiliano Giacomin and
Grigoris Antoniou},
editor = {Blai Bonet and
Sven Koenig},
title = {Exploiting Parallelism for Hard Problems in Abstract Argumentation},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1475--1481},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9395},
doi = {10.1609/AAAI.V29I1.9395},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CeruttiTVBGA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ChrpaMMMV15,
author = {Luk{\'{a}}s Chrpa and
Daniele Magazzeni and
Keith McCabe and
Thomas Leo McCluskey and
Mauro Vallati},
editor = {Gabriella Cortellessa and
Daniele Magazzeni and
Marco Maratea and
Ivan Serina},
title = {Automated Planning for Urban Traffic Control: Strategic Vehicle Routing
to Respect Air Quality Limitations},
booktitle = {Proceedings of the 6th Italian Workshop on Planning and Scheduling
{A} workshop of the {XIV} International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy,
September 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1493},
pages = {65--79},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1493/paper5\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ChrpaMMMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/JilaniCKV15,
author = {Rabia Jilani and
Andrew Crampton and
Diane E. Kitchin and
Mauro Vallati},
editor = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {ASCoL: {A} Tool for Improving Automatic Planning Domain Model Acquisition},
booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
Conference of the Italian Association for Artificial Intelligence,
Ferrara, Italy, September 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9336},
pages = {438--451},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24309-2\_33},
doi = {10.1007/978-3-319-24309-2\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/JilaniCKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/DamianiVGDJDSDV15,
author = {Andrea Damiani and
Mauro Vallati and
Roberto Gatta and
Nicola Dinapoli and
Arthur Jochems and
Timo Deist and
Johan van Soest and
Andre Dekker and
Vincenzo Valentini},
editor = {John H. Holmes and
Riccardo Bellazzi and
Lucia Sacchi and
Niels Peek},
title = {Distributed Learning to Protect Privacy in Multi-centric Clinical
Studies},
booktitle = {Artificial Intelligence in Medicine - 15th Conference on Artificial
Intelligence in Medicine, {AIME} 2015, Pavia, Italy, June 17-20, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9105},
pages = {65--75},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19551-3\_8},
doi = {10.1007/978-3-319-19551-3\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aime/DamianiVGDJDSDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/VallatiSSG15,
author = {Mauro Vallati and
Ivan Serina and
Alessandro Saetti and
Alfonso Emilio Gerevini},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {Identifying and Exploiting Features for Effective Plan Retrieval in
Case-Based Planning},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {239--243},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10604},
timestamp = {Tue, 26 May 2015 21:03:02 +0200},
biburl = {https://dblp.org/rec/conf/aips/VallatiSSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/DinapoliAVGABDV15,
author = {Nicola Dinapoli and
Anna Rita Alitto and
Mauro Vallati and
Roberto Gatta and
Rosa Autorino and
Luca Boldrini and
Andrea Damiani and
Vincenzo Valentini},
title = {Moddicom: a complete and easily accessible library for prognostic
evaluations relying on image features},
booktitle = {37th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
2015},
pages = {771--774},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMBC.2015.7318476},
doi = {10.1109/EMBC.2015.7318476},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/DinapoliAVGABDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/GattaVMKBGV15,
author = {Roberto Gatta and
Mauro Vallati and
Nicola Mazzini and
Diane E. Kitchin and
Andrea Bonisoli and
Alfonso Gerevini and
Vincenzo Valentini},
editor = {Francisco C. Pereira and
Penousal Machado and
Ernesto Costa and
Am{\'{\i}}lcar Cardoso},
title = {On the Efficient Allocation of Diagnostic Activities in Modern Imaging
Departments},
booktitle = {Progress in Artificial Intelligence - 17th Portuguese Conference on
Artificial Intelligence, {EPIA} 2015, Coimbra, Portugal, September
8-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9273},
pages = {103--109},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23485-4\_10},
doi = {10.1007/978-3-319-23485-4\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/GattaVMKBGV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/SomarakiVM15,
author = {Vassiliki Somaraki and
Mauro Vallati and
Thomas Leo McCluskey},
editor = {Francisco C. Pereira and
Penousal Machado and
Ernesto Costa and
Am{\'{\i}}lcar Cardoso},
title = {Discovering Interesting Trends in Real Medical Data: {A} Study in
Diabetic Retinopathy},
booktitle = {Progress in Artificial Intelligence - 17th Portuguese Conference on
Artificial Intelligence, {EPIA} 2015, Coimbra, Portugal, September
8-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9273},
pages = {134--140},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23485-4\_15},
doi = {10.1007/978-3-319-23485-4\_15},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/SomarakiVM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/VelardoV15,
author = {Valerio Velardo and
Mauro Vallati},
editor = {Colin G. Johnson and
Adri{\'{a}}n Carballal and
Jo{\~{a}}o Correia},
title = {On the Stylistic Evolution of a Society of Virtual Melody Composers},
booktitle = {Evolutionary and Biologically Inspired Music, Sound, Art and Design
- 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark,
April 8-10, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9027},
pages = {249--260},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16498-4\_22},
doi = {10.1007/978-3-319-16498-4\_22},
timestamp = {Tue, 29 Aug 2023 15:18:02 +0200},
biburl = {https://dblp.org/rec/conf/evoW/VelardoV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/RizziniFVGH15,
author = {Mattia Rizzini and
Chris Fawcett and
Mauro Vallati and
Alfonso Emilio Gerevini and
Holger H. Hoos},
title = {Portfolio Methods for Optimal Planning: An Empirical Analysis},
booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
pages = {494--501},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICTAI.2015.79},
doi = {10.1109/ICTAI.2015.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/RizziniFVGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChrpaVM15,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {On the Online Generation of Effective Macro-Operators},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1544--1550},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/221},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChrpaVM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VallatiHCM15,
author = {Mauro Vallati and
Frank Hutter and
Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {On the Effective Configuration of Planning Domain Models},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1704--1711},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/243},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/VallatiHCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/FuentetajaCMV15,
author = {Raquel Fuentetaja and
Luk{\'{a}}s Chrpa and
Thomas Leo McCluskey and
Mauro Vallati},
editor = {Levi Lelis and
Roni Stern},
title = {Exploring the Synergy between Two Modular Learning Techniques for
Automated Planning},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
{SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
pages = {35--43},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/socs.v6i1.18351},
doi = {10.1609/SOCS.V6I1.18351},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/FuentetajaCMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ChrpaSV15,
author = {Luk{\'{a}}s Chrpa and
Enrico Scala and
Mauro Vallati},
editor = {Levi Lelis and
Roni Stern},
title = {Towards a Reformulation Based Approach for Efficient Numeric Planning:
Numeric Outer Entanglements},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
{SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
pages = {166--170},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/socs.v6i1.18372},
doi = {10.1609/SOCS.V6I1.18372},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/ChrpaSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/VallatiCK14,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Diane E. Kitchin},
title = {{ASAP:} An Automatic Algorithm Selection Approach for Planning},
journal = {Int. J. Artif. Intell. Tools},
volume = {23},
number = {6},
year = {2014},
url = {https://doi.org/10.1142/S021821301460032X},
doi = {10.1142/S021821301460032X},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/VallatiCK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GereviniSV14,
author = {Alfonso Gerevini and
Alessandro Saetti and
Mauro Vallati},
title = {Planning through Automatic Portfolio Configuration: The PbP Approach},
journal = {J. Artif. Intell. Res.},
volume = {50},
pages = {639--696},
year = {2014},
url = {https://doi.org/10.1613/jair.4359},
doi = {10.1613/JAIR.4359},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GereviniSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ChrpaVM14,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {{MUM:} {A} Technique for Maximising the Utility of Macro-operators
by Constrained Generation and Use},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7905},
timestamp = {Thu, 19 Nov 2015 08:52:28 +0100},
biburl = {https://dblp.org/rec/conf/aips/ChrpaVM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FawcettVH0HL14,
author = {Chris Fawcett and
Mauro Vallati and
Frank Hutter and
J{\"{o}}rg Hoffmann and
Holger H. Hoos and
Kevin Leyton{-}Brown},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Improved Features for Runtime Prediction of Domain-Independent Planners},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7939},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/FawcettVH0HL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/GattaVBPCPSBMMC14,
author = {Roberto Gatta and
Mauro Vallati and
Berardino De Bari and
Nadia Pasinetti and
Carlo Cappelli and
Ilenia Pirola and
Massimo Salvetti and
Michela Buglione and
Maria Lorenza Muiesan and
Stefano M. Magrini and
Maurizio Castellano},
editor = {Marta Bienkiewicz and
Christine Verdier and
Guy Plantier and
Tanja Schultz and
Ana L. N. Fred and
Hugo Gamboa},
title = {Information Retrieval in Medicine - An Extensive Experimental Study},
booktitle = {{HEALTHINF} 2014 - Proceedings of the International Conference on
Health Informatics, ESEO, Angers, Loire Valley, France, 3-6 March,
2014},
pages = {447--452},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004909904470452},
doi = {10.5220/0004909904470452},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/GattaVBPCPSBMMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiGV14,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Algorithm Selection for Preferred Extensions Enumeration},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {221--232},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-221},
doi = {10.3233/978-1-61499-436-7-221},
timestamp = {Thu, 10 Aug 2023 14:30:52 +0200},
biburl = {https://dblp.org/rec/conf/comma/CeruttiGV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiGV14a,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {ArgSemSAT: Solving Argumentation Problems Using {SAT}},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {455--456},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-455},
doi = {10.3233/978-1-61499-436-7-455},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiGV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiGV14b,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Generating Challenging Benchmark AFs},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {457--458},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-457},
doi = {10.3233/978-1-61499-436-7-457},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiGV14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/CeruttiOSTV14,
author = {Federico Cerutti and
Nir Oren and
Hannes Strass and
Matthias Thimm and
Mauro Vallati},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {A Benchmark Framework for a Computational Argumentation Competition},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {459--460},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-459},
doi = {10.3233/978-1-61499-436-7-459},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/CeruttiOSTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GattaVBO14,
author = {Roberto Gatta and
Mauro Vallati and
Berardino De Bari and
Mahmut Ozsahin},
editor = {Constantine D. Spyropoulos and
Aldo Franco Dragoni and
Stavros J. Perantonis and
Paolo Sernani},
title = {The impact of different training sets on medical documents classification},
booktitle = {Proceedings of the 3rd International Workshop on Artificial Intelligence
and Assistive Medicine co-located with the 21th European Conference
on Artificial Intelligence {(ECAI} 2014), Prague, Czech Republic,
August 18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1213},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1213/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GattaVBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/VallatiCG14,
author = {Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Argumentation Frameworks Features: an Initial Study},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {1117--1118},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1117},
doi = {10.3233/978-1-61499-419-0-1117},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/VallatiCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/VallatiCG14a,
author = {Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
editor = {Richard Booth and
Giovanni Casini and
Szymon Klarman and
Gilles Richard and
Ivan Jos{\'{e}} Varzinczak},
title = {Argumentation Extensions Enumeration as a Constraint Satisfaction
Problem: a Performance Overview},
booktitle = {Proceedings of the International Workshop on Defeasible and Ampliative
Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference
on Artificial Intelligence {(ECAI} 2014), Prague, Czech Republic,
August 19, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1212},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1212/DARe-14-paper-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/VallatiCG14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/VelardoV14,
author = {Valerio Velardo and
Mauro Vallati},
title = {GenoMeMeMusic: a Memetic-based Framework for Discovering the Musical
Genome},
booktitle = {Music Technology meets Philosophy - From Digital Echos to Virtual
Ethos: Joint Proceedings of the 40th International Computer Music
Conference, {ICMC} 2014, and the 11th Sound and Music Computing Conference,
{SMC} 2014, Athens, Greece, September 14-20, 2014},
publisher = {Michigan Publishing},
year = {2014},
url = {https://hdl.handle.net/2027/spo.bbp2372.2014.236},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/VelardoV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CeruttiGVZ14,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati and
Marina Zanella},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {An {SCC} Recursive Meta-Algorithm for Computing Preferred Labellings
in Abstract Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7974},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CeruttiGVZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeruttiTVBGA14,
author = {Federico Cerutti and
Ilias Tachmazidis and
Mauro Vallati and
Sotiris Batsakis and
Massimiliano Giacomin and
Grigoris Antoniou},
title = {Exploiting Parallelism for Hard Problems in Abstract Argumentation:
Technical Report},
journal = {CoRR},
volume = {abs/1411.2800},
year = {2014},
url = {http://arxiv.org/abs/1411.2800},
eprinttype = {arXiv},
eprint = {1411.2800},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CeruttiTVBGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Vallati13,
author = {Mauro Vallati},
title = {Efficient planning through automatic configuration and machine learning},
journal = {{AI} Commun.},
volume = {26},
number = {3},
pages = {319--321},
year = {2013},
url = {https://doi.org/10.3233/AIC-130561},
doi = {10.3233/AIC-130561},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Vallati13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/VallatiCC13,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Andrew Crampton},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {Underestimation vs. Overestimation in SAT-Based Planning},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {276--287},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_24},
doi = {10.1007/978-3-319-03524-6\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/VallatiCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/VallatiCK13,
author = {Mauro Vallati and
Luk{\'{a}}s Chrpa and
Diane E. Kitchin},
title = {An Automatic Algorithm Selection Approach for Planning},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.12},
doi = {10.1109/ICTAI.2013.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/VallatiCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChrpaVO13,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Hugh Osborne},
title = {Learnability of Specific Structural Patterns of Planning Problems},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {18--23},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.14},
doi = {10.1109/ICTAI.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChrpaVO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/VallatiBGBMJB13,
author = {Mauro Vallati and
Berardino De Bari and
Roberto Gatta and
Michela Buglione and
Stefano M. Magrini and
Barbara Alicja Jereczek{-}Fossa and
Filippo Bertoni},
editor = {Harris Papadopoulos and
Andreas S. Andreou and
Lazaros S. Iliadis and
Ilias Maglogiannis},
title = {Exploiting Machine Learning for Predicting Nodal Status in Prostate
Cancer Patients},
booktitle = {Artificial Intelligence Applications and Innovations - 9th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2013, Paphos, Cyprus, September
30 - October 2, 2013, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {412},
pages = {61--70},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41142-7\_7},
doi = {10.1007/978-3-642-41142-7\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/VallatiBGBMJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/JimohCV13,
author = {Falilat Jimoh and
Luk{\'{a}}s Chrpa and
Mauro Vallati},
editor = {Harris Papadopoulos and
Andreas S. Andreou and
Lazaros S. Iliadis and
Ilias Maglogiannis},
title = {Autonomic System Architecture: An Automated Planning Perspective},
booktitle = {Artificial Intelligence Applications and Innovations - 9th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2013, Paphos, Cyprus, September
30 - October 2, 2013, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {412},
pages = {121--130},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41142-7\_13},
doi = {10.1007/978-3-642-41142-7\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/JimohCV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShahCKMV13,
author = {Mohammad Munshi Shahin Shah and
Luk{\'{a}}s Chrpa and
Diane E. Kitchin and
Thomas Leo McCluskey and
Mauro Vallati},
editor = {Francesca Rossi},
title = {Exploring Knowledge Engineering Strategies in Designing and Modelling
a Road Traffic Accident Management Domain},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {2373--2379},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6594},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ShahCKMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/VallatiGBM13,
author = {Mauro Vallati and
Roberto Gatta and
Berardino De Bari and
Stefano M. Magrini},
editor = {Christoph Ulrich Lehmann and
Elske Ammenwerth and
Christian N{\o}hr},
title = {Clinical Similarities: An Innovative Approach for Supporting Medical
Decisions},
booktitle = {{MEDINFO} 2013 - Proceedings of the 14th World Congress on Medical
and Health Informatics, 20-13 August 2013, Copenhagen, Denmark},
series = {Studies in Health Technology and Informatics},
volume = {192},
pages = {1114},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-289-9-1114},
doi = {10.3233/978-1-61499-289-9-1114},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/VallatiGBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChrpaVM13,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Determining Linearity of Optimal Plans by Operator Schema Analysis},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7230},
timestamp = {Tue, 09 Feb 2021 08:32:52 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChrpaVM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChrpaVMK13,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati and
Thomas Leo McCluskey and
Diane E. Kitchin},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Generating Macro-Operators by Exploiting Inner Entanglements},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7229},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChrpaVMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/ChrpaV13,
author = {Luk{\'{a}}s Chrpa and
Mauro Vallati},
editor = {Manfred Jaeger and
Thomas Dyhre Nielsen and
Paolo Viappiani},
title = {Revisiting Inner Entanglements in Classical Planning},
booktitle = {Twelfth Scandinavian Conference on Artificial Intelligence, {SCAI}
2013, Aalborg, Denmark, November 20-22, 2013},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {257},
pages = {75--84},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-330-8-75},
doi = {10.3233/978-1-61499-330-8-75},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scai/ChrpaV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/VallatiFGHS13,
author = {Mauro Vallati and
Chris Fawcett and
Alfonso Gerevini and
Holger H. Hoos and
Alessandro Saetti},
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {Automatic Generation of Efficient Domain-Optimized Planners from Generic
Parametrized Planners},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
pages = {184--192},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/socs.v4i1.18293},
doi = {10.1609/SOCS.V4I1.18293},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/VallatiFGHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tafa/CeruttiDGV13,
author = {Federico Cerutti and
Paul E. Dunne and
Massimiliano Giacomin and
Mauro Vallati},
editor = {Elizabeth Black and
Sanjay Modgil and
Nir Oren},
title = {Computing Preferred Extensions in Abstract Argumentation: {A} SAT-Based
Approach},
booktitle = {Theory and Applications of Formal Argumentation - Second International
Workshop, {TAFA} 2013, Beijing, China, August 3-5, 2013, Revised Selected
papers},
series = {Lecture Notes in Computer Science},
volume = {8306},
pages = {176--193},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54373-9\_12},
doi = {10.1007/978-3-642-54373-9\_12},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tafa/CeruttiDGV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeruttiDGV13,
author = {Federico Cerutti and
Paul E. Dunne and
Massimiliano Giacomin and
Mauro Vallati},
title = {Computing Preferred Extensions in Abstract Argumentation: a SAT-based
Approach},
journal = {CoRR},
volume = {abs/1310.4986},
year = {2013},
url = {http://arxiv.org/abs/1310.4986},
eprinttype = {arXiv},
eprint = {1310.4986},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CeruttiDGV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/Vallati12,
author = {Mauro Vallati},
editor = {Chattrakul Sombattheera and
Nguyen Kim Loi and
Rajeev Wankar and
Tho T. Quan},
title = {A Guide to Portfolio-Based Planning},
booktitle = {Multi-disciplinary Trends in Artificial Intelligence, 6th International
Workshop, {MIWAI} 2012, Ho Chi Minh City, Vietnam, December 26-28,
2012. Proceedings},
volume = {7694},
pages = {57--68},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35455-7\_6},
doi = {10.1007/978-3-642-35455-7\_6},
timestamp = {Sun, 02 Oct 2022 16:12:20 +0200},
biburl = {https://dblp.org/rec/conf/miwai/Vallati12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GereviniSV11,
author = {Alfonso Gerevini and
Alessandro Saetti and
Mauro Vallati},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {Exploiting Macro-actions and Predicting Plan Length in Planning as
Satisfiability},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {189--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_19},
doi = {10.1007/978-3-642-23954-0\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GereviniSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GereviniSV09,
author = {Alfonso Gerevini and
Alessandro Saetti and
Mauro Vallati},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {An Automatically Configurable Portfolio-based Planner with Macro-actions:
PbP},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/720},
timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/GereviniSV09.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.
last updated on 2024-04-19 21:54 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:
