default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/rcra:"
download as .bib file
@inproceedings{DBLP:conf/rcra/0001M24,
author = {Angelo Ferrando and
Vadim Malvone},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Towards a Compositional and User-friendly Tool for Multi-Agent Systems
Verification (short paper)},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper4\_SPIRIT\_Ferrando.pdf},
timestamp = {Thu, 16 Jan 2025 17:14:33 +0100},
biburl = {https://dblp.org/rec/conf/rcra/0001M24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/AlvianoBE0D24,
author = {Mario Alviano and
Marco Botta and
Roberto Esposito and
Laura Giordano and
Daniele Theseider Dupr{\'{e}}},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Many-valued Temporal Description Logics with Typicality: an Abridged
Report (short paper)},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper1\_RCRA3.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/AlvianoBE0D24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ArutaMM24,
author = {Marco Aruta and
Vadim Malvone and
Aniello Murano},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Development of Natural Strategies in Strategic Logics (short paper)},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper1\_SPIRIT\_Aruta.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ArutaMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/AulettaFF24,
author = {Vincenzo Auletta and
Diodato Ferraioli and
Grazia Ferrara},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {How to Mitigate Disagreement and Polarization in Opinion Formation
Processes on Social Networks},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper2\_SPIRIT\_Auletta.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/AulettaFF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/BellomariniFG24,
author = {Luigi Bellomarini and
Marco Favorito and
Giuseppe Galano},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Strategic Reasoning for BitML Smart Contracts},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper3\_SPIRIT\_Bellomarini.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/BellomariniFG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/BertagnonG24,
author = {Alessandro Bertagnon and
Marco Gavanelli},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Stronger integration of circuit and alldifferent propagators for the
Hamiltonian Cycle Problem},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper2\_RCRA7.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/BertagnonG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/CappaneraCDGGMM24,
author = {Paola Cappanera and
Simone Caruso and
Carmine Dodaro and
Giuseppe Galat{\`{a}} and
Marco Gavanelli and
Marco Maratea and
Cinzia Marte and
Marco Mochi and
Maddalena Nonato and
Marco Roma},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Recent Answer Set Programming Applications to Scheduling Problems
in Digital Health},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper3\_RCRA8.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/CappaneraCDGGMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ColombaniOB24,
author = {Simone Colombani and
Dimitri Ognibene and
Giuseppe Boccignone},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {One to Rule Them All: Natural Language to Bind Communication, Perception
and Action},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper1\_IPS7.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ColombaniOB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/CuteriMPR24,
author = {Andrea Cuteri and
Giuseppe Mazzotta and
Rafael Pe{\~{n}}aloza and
Francesco Ricca},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Automata-based LTL{\_}f Satisfiability Checking via {ASP}},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper4\_RCRA2.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/CuteriMPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GasperisOCM24,
author = {Giovanni De Gasperis and
Daniele Di Ottavio and
Stefania Costantini and
Patrizio Migliarini},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {The distributed architecture of SkRobot for efficient robotic agents},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper5\_RCRA9.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GasperisOCM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GodziszewskiCM24,
author = {Michal Tomasz Godziszewski and
Davide Catta and
Aniello Murano},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces
(short paper)},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper6\_SPIRIT\_Godziszewski.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GodziszewskiCM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GuidottiPFZP24,
author = {Dario Guidotti and
Laura Pandolfo and
Tiziana Fanni and
Katiuscia Zedda and
Luca Pulina},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Translating Requirements in Property Specification Patterns using
LLMs},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper6\_RCRA5.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GuidottiPFZP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GuidottiPP24,
author = {Dario Guidotti and
Laura Pandolfo and
Luca Pulina},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Anomaly Recognition with Trustworthy Neural Networks: a Case Study
in Elevator Control},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper7\_RCRA6.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GuidottiPP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/JamesPGMGP24,
author = {Lorenzo J. James and
Emanuele De Pellegrin and
Laura Genga and
Barbara Montagne and
Pieter Van Gorp and
Ronald P. A. Petrick},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Towards Automated Planning of Level Structures for Digital Interventions},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper2\_IPS3.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/JamesPGMGP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/LeneutreM024,
author = {Jean Leneutre and
Vadim Malvone and
James Ortiz},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Reasoning about Real-Time and Probability on Obstruction Logic},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper7\_SPIRIT\_Leneutre.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/LeneutreM024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/MiglioreIR24,
author = {Chiara Camilla Rambaldi Migliore and
Giovanni Iacca and
Marco Roveri},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short
paper)},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper4\_IPS4.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/MiglioreIR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/NabizadaJBGF24,
author = {Hamied Nabizada and
Tom Jeleniewski and
Lasse Beers and
Felix Gehlhoff and
Alexander Fay},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Automated {PDDL} Domain File Generation for Enhancing Production System
Development based on SysML Models},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper3\_IPS2.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/NabizadaJBGF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/RobinsonGGV24,
author = {Megan Robinson and
Saikat Ghosh and
Parikshit Goswami and
Mauro Vallati},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {A Novel Methodology for AI-based Sorting of Post-Consumer Textile
Using Spectrophotometer (short paper)},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper1\_AI4CC3.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/RobinsonGGV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/SalisSPFAM24,
author = {Matteo Salis and
Gabriele Sartor and
Marco Pellegrino and
Stefano Ferraris and
Abdourrahmane M. Atto and
Rosa Meo},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {What's Behind This Water Table Depth Forecasting? {RISE} Application
for Spatial, Temporal, and Spatio-Temporal Explanations},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper2\_AI4CC5.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/SalisSPFAM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/TarikuGSGS24,
author = {Girma Tariku and
Isabella Ghiglieno and
Anna Simonetto and
Gianni Gilioli and
Ivan Serina},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Deep Learning for Land Cover Segmentation in Agricultural Regions
Using Aerial Datasets},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper3\_AI4CC8.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/TarikuGSGS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/Wallace24,
author = {Richard J. Wallace},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Information Flows during Constraint Satisfaction Search with Dynamic
Heuristics: Information from Preprocessing},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper8\_RCRA1.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/Wallace24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/WorknehCT24,
author = {Tewabe Chekole Workneh and
Matteo Cristani and
Claudio Tomazzoli},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Assessing the Impact of Climate Change on Mineral-Associated Organic
Carbon {(MAOC)} Using Machine Learning Models},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper4\_AI4CC7.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/WorknehCT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/Zuccarini24,
author = {Ermanno Zuccarini},
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Urban Heat Island. Machine Learning Models for Analysis and Maker
Approach for Mitigation (short paper)},
booktitle = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883/paper5\_AI4CC4.pdf},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/Zuccarini24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rcra/2024,
editor = {Diego Aineto and
Riccardo De Benedictis and
Marco Maratea and
Munyque Mittelmann and
Gianpiero Monaco and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Francesco Spegni and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Proceedings of the International Workshop on Artificial Intelligence
for Climate Change, 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 {(AI4CC-IPS-RCRA-SPIRIT}
2024) co-located with 23rd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2024, November 25-28th,
2024, Bolzano, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3883},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3883},
urn = {urn:nbn:de:0074-3883-1},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/000123,
author = {Angelo Ferrando},
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 = {Towards a Coalition Refinement Approach in the Strategic Verification
of Multi-Agent Systems},
booktitle = {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/paper21\_SPIRIT11.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/aiia/000123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AgrestaACMR23,
author = {Giuseppe Agresta and
Giovanni Amendola and
Pietro Cofone and
Marco Manna and
Aldo Ricioppo},
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 = {Characterizing Nexus of Similarity between Entities},
booktitle = {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/paper6\_RCRA5.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AgrestaACMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AloisioFKV23,
author = {Alessandro Aloisio and
Michele Flammini and
Bojana Kodric and
Cosimo Vinci},
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 = {Distance Polymatrix Coordination Games (short paper)},
booktitle = {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/paper18\_SPIRIT08.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AloisioFKV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AulettaCF23a,
author = {Vincenzo Auletta and
Antonio Coppola and
Diodato Ferraioli},
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 = {On the Impact of Social Media Recommendations on Consensus of Discrete
Opinions (Short Version)},
booktitle = {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/paper15\_SPIRIT05.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AulettaCF23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BenedictisBCC23,
author = {Riccardo De Benedictis and
Gloria Beraldo and
Amedeo Cesta and
Gabriella Cortellessa},
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 = {Investigating Domain-oriented Approaches to Optimization in Timeline-Based
Planning},
booktitle = {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/paper4\_IPS11.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BenedictisBCC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BiloBV23,
author = {Vittorio Bil{\`{o}} and
Lucaleonardo Bove and
Cosimo Vinci},
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 = {Utility-Sharing Games: How to Improve the Efficiency with Limited
Subsidies (short paper)},
booktitle = {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/paper17\_SPIRIT07.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BiloBV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CastelliniBRSF23,
author = {Alberto Castellini and
Davide Bragantini and
Davide Rossignolo and
Federico Segala and
Alessandro Farinelli},
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 = {Tabular Model Learning in Monte Carlo Tree Search},
booktitle = {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/paper2\_IPS10.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CastelliniBRSF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CattaLM23,
author = {Davide Catta and
Jean Leneutre and
Vadim Malvone},
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 = {Reasoning About Dynamic Game Models Using Obstruction Logic (short
paper)},
booktitle = {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/paper13\_SPIRIT03.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CattaLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ChiariGPS23,
author = {Mattia Chiari and
Alfonso Emilio Gerevini and
Luca Putelli and
Ivan Serina},
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 = {Goal Recognition with Deep Learning and Embedded Representation of
State Traces},
booktitle = {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/paper3\_IPS8.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ChiariGPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Cialfi23,
author = {Daniela Cialfi},
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 = {The Economic Agent's Meta-Brain: a Biological-Economic Complex Agent-Based
model (short paper)},
booktitle = {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/paper16\_SPIRIT06.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Cialfi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Favorito23,
author = {Marco Favorito},
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 = {Forward LTLf Synthesis: {DPLL} At Work},
booktitle = {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/paper7\_RCRA4.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Favorito23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaMM23,
author = {Enrico Giunchiglia and
Marco Maratea and
Marco Mochi},
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 = {A Simple Proof-Theoretic Characterization of Stable Models},
booktitle = {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/paper8\_RCRA10.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/GiunchigliaMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MathewS23,
author = {Shaun Mathew and
Mikhail Soutchanski},
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 = {Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic
Programming},
booktitle = {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/paper5\_IPS1.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MathewS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MuranoPS23,
author = {Aniello Murano and
Mimmo Parente and
Silvia Stranieri},
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 = {A Multi-Agent Game for Sentiment Analysis (short paper)},
booktitle = {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/paper14\_SPIRIT04.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MuranoPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RafanelliCG23,
author = {Andrea Rafanelli and
Stefania Costantini and
Giovanni De Gasperis},
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 = {Experimenting an Approach to Neuro-Symbolic {RL}},
booktitle = {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/paper9\_RCRA8.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/RafanelliCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SoutchanskiY23,
author = {Mikhail Soutchanski and
Ryan Young},
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 = {Planning as Theorem Proving with Heuristics},
booktitle = {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/paper10\_RCRA6.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SoutchanskiY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Varricchio23,
author = {Giovanna Varricchio},
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 = {On Approximate Strategyproof Mechanisms for Hedonic Games and the
Group Activity Selection Problem (short paper)},
booktitle = {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/paper19\_SPIRIT09.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Varricchio23.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/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}
}
@inproceedings{DBLP:conf/aiia/BertolucciDGMPR21,
author = {Riccardo Bertolucci and
Carmine Dodaro and
Giuseppe Galat{\`{a}} and
Marco Maratea and
Ivan Porro and
Francesco Ricca},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Explaining ASP-based Operating Room Schedules},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper7\_182.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BertolucciDGMPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CarusoGMMP21,
author = {Simone Caruso and
Giuseppe Galat{\`{a}} and
Marco Maratea and
Marco Mochi and
Ivan Porro},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Scheduling Pre-Operative Assessment Clinic via Answer Set Programming},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper3\_196.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CarusoGMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/EspositoP21,
author = {Marco Esposito and
Leonardo Picchiami},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental
Comparison},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper6\_147.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/EspositoP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GalataMMMP21,
author = {Giuseppe Galat{\`{a}} and
Marco Maratea and
Marco Mochi and
Victoria Morozan and
Ivan Porro},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {An ASP-based solution to the Operating Room Scheduling with care units},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper8\_183.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/GalataMMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Pappagallo21,
author = {Angela Pappagallo},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Statistical Model Checking as an Effective Technology to Formally
Analyze Industry-Relevant Cyber-Physical Systems},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper5\_151.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Pappagallo21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PellegrinP21,
author = {Emanuele De Pellegrin and
Ronald P. A. Petrick},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Plan Simulation with PDSim},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper1\_171.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PellegrinP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Picchiami21,
author = {Leonardo Picchiami},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear
Hybrid Systems},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper4\_149.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Picchiami21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SartorZMORS21,
author = {Gabriele Sartor and
Davide Zollo and
Marta Cialdea Mayer and
Angelo Oddi and
Riccardo Rasconi and
Vieri Giuliano Santucci},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Mauro Vallati and
Alessandro Umbrico},
title = {Autonomous Generation of Symbolic Knowledge via Option Discovery},
booktitle = {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 = {2021},
url = {https://ceur-ws.org/Vol-3065/paper2\_193.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SartorZMORS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AinetoORSS20,
author = {Diego Aineto and
Eva Onaindia and
Miquel Ram{\'{\i}}rez and
Enrico Scala and
Ivan Serina},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Towards Plan Recognition in Hybrid Systems},
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/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AinetoORSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlvianoBCDGKMMM20,
author = {Mario Alviano and
Riccardo Bertolucci and
Matteo Cardellini and
Carmine Dodaro and
Giuseppe Galat{\`{a}} and
Muhammad Kamran Khan and
Marco Maratea and
Marco Mochi and
Victoria Morozan and
Ivan Porro and
Marco Schouten},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Answer Set Programming in Healthcare: Extended Overview},
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/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AlvianoBCDGKMMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BellodiBGZ20,
author = {Elena Bellodi and
Alessandro Bertagnon and
Marco Gavanelli and
Riccardo Zese},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Improving the Efficiency of Euclidean {TSP} Solving in Constraint
Programming by Predicting Effective Nocrossing Constraints},
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/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BellodiBGZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DodaroGKMP20,
author = {Carmine Dodaro and
Giuseppe Galat{\`{a}} and
Muhammad Kamran Khan and
Marco Maratea and
Ivan Porro},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {An {ASP} based Solution for Operating Room Scheduling with Surgical
Teams in Hospital Environments},
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/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/DodaroGKMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LeonKS20,
author = {Bel{\'{e}}n Santos Le{\'{o}}n and
Jane Jean Kiam and
Axel Schulte},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Model-Based Automated Flight Path Planning for an Ultralight Aircraft
(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/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LeonKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Mraz20,
author = {Oto Mraz},
editor = {Riccardo De Benedictis and
Marco Maratea and
Andrea Micheli and
Enrico Scala and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Local Search for {AI} Planning},
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/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Mraz20.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/VallatiM20.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}
}
@inproceedings{DBLP:conf/aiia/Bertolucci19,
author = {Riccardo Bertolucci},
editor = {Marco Maratea and
Mauro Vallati},
title = {TDeclarative Solutions for the the Manipulation of Articulated Objects
Using Dual-Arm Robots (short paper)},
booktitle = {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 = {2019},
url = {https://ceur-ws.org/Vol-2538/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Bertolucci19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Calabrese19,
author = {Agostina Calabrese},
editor = {Marco Maratea and
Mauro Vallati},
title = {Formal Verification of Biomedical Devices via In Silico Clinical Trials
on Adversarial Scenarios},
booktitle = {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 = {2019},
url = {https://ceur-ws.org/Vol-2538/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Calabrese19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalabreseMMST19,
author = {Agostina Calabrese and
Toni Mancini and
Annalisa Massini and
Stefano Sinisi and
Enrico Tronci},
editor = {Marco Maratea and
Mauro Vallati},
title = {Generating {T1DM} Virtual Patients for In Silico Clinical Trials via
AI-Guided Statistical Model Checking},
booktitle = {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 = {2019},
url = {https://ceur-ws.org/Vol-2538/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CalabreseMMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ChrpaPG19,
author = {Luk{\'{a}}s Chrpa and
Martin Pil{\'{a}}t and
Jakub Gemrot},
editor = {Marco Maratea and
Mauro Vallati},
title = {Compiling Planning Problems with Non-deterministic Events into {FOND}
Planning},
booktitle = {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 = {2019},
url = {https://ceur-ws.org/Vol-2538/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ChrpaPG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CostantiniLO19,
author = {Stefania Costantini and
Francesca A. Lisi and
Raffaele Olivieri},
editor = {Marco Maratea and
Mauro Vallati},
title = {Knowledge Representation and Reasoning meets Digital Forensics: The
{COST} Action DigForASP (short paper)},
booktitle = {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 = {2019},
url = {https://ceur-ws.org/Vol-2538/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CostantiniLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DodaroP19,
author = {Carmine Dodaro and
Alessandro Previti},
editor = {Marco Maratea and
Mauro Vallati},
title = {Minipref: {A} Tool for Preferences in {SAT} (short paper)},
booktitle = {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 = {2019},
url = {https://ceur-ws.org/Vol-2538/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/DodaroP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/Amendola18,
author = {Giovanni Amendola},
editor = {Marco Maratea and
Mauro Vallati},
title = {Towards Quantified Answer Set Programming},
booktitle = {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/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/Amendola18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/BaldoniBM018,
author = {Matteo Baldoni and
Cristina Baroglio and
Roberto Micalizio and
Stefano Tedeschi},
editor = {Marco Maratea and
Mauro Vallati},
title = {Accountability and Responsibility in Business Processes via Agent
Technology},
booktitle = {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/invited1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/BaldoniBM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ManciniMMMSSTER18,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Ivano Salvo and
Stefano Sinisi and
Enrico Tronci and
Rainald Ehrig and
Susanna R{\"{o}}blitz and
Brigitte Leeners},
editor = {Marco Maratea and
Mauro Vallati},
title = {Computing Personalised Treatments through In Silico Clinical Trials},
booktitle = {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/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ManciniMMMSSTER18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ManciniTSLFGP18,
author = {Toni Mancini and
Enrico Tronci and
Agostino Scialanca and
Filiberto Lanciotti and
Alberto Finzi and
Riccardo Guarneri and
Silvia Di Pompeo},
editor = {Marco Maratea and
Mauro Vallati},
title = {Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical
Wireless Network},
booktitle = {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/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ManciniTSLFGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/Tarau18,
author = {Paul Tarau},
editor = {Marco Maratea and
Mauro Vallati},
title = {Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for
Minimal Logic},
booktitle = {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/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/Tarau18.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}
}
@inproceedings{DBLP:conf/aiia/Alviano17,
author = {Mario Alviano},
editor = {Marco Maratea and
Ivan Serina},
title = {Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription,
and Glucose to Taste},
booktitle = {Proceedings of the 24th {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2017 co-located with the 16th International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2017), Bari, Italy,
November 14-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2011},
pages = {1--16},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2011/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Alviano17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CharwatW17,
author = {G{\"{u}}nther Charwat and
Stefan Woltran},
editor = {Marco Maratea and
Ivan Serina},
title = {Expansion-based {QBF} Solving on Tree Decompositions},
booktitle = {Proceedings of the 24th {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2017 co-located with the 16th International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2017), Bari, Italy,
November 14-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2011},
pages = {16--26},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2011/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CharwatW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FuscaCZP17,
author = {Davide Fusc{\`{a}} and
Francesco Calimeri and
Jessica Zangari and
Simona Perri},
editor = {Marco Maratea and
Ivan Serina},
title = {{I-DLV+MS:} Preliminary Report on an Automatic {ASP} Solver Selector},
booktitle = {Proceedings of the 24th {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2017 co-located with the 16th International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2017), Bari, Italy,
November 14-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2011},
pages = {26--32},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2011/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FuscaCZP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/JanotaGM17,
author = {Mikol{\'{a}}s Janota and
Radu Grigore and
Vasco Manquinho},
editor = {Marco Maratea and
Ivan Serina},
title = {On the Quest for an Acyclic Graph},
booktitle = {Proceedings of the 24th {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2017 co-located with the 16th International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2017), Bari, Italy,
November 14-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2011},
pages = {33--44},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2011/paper4.pdf},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/JanotaGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/JanotaM17,
author = {Mikol{\'{a}}s Janota and
Jo{\~{a}}o Marques{-}Silva},
editor = {Marco Maratea and
Ivan Serina},
title = {On Minimal Corrections in {ASP}},
booktitle = {Proceedings of the 24th {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2017 co-located with the 16th International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2017), Bari, Italy,
November 14-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2011},
pages = {45--54},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2011/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/JanotaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2017rcra,
editor = {Marco Maratea and
Ivan Serina},
title = {Proceedings of the 24th {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2017 co-located with the 16th International Conference of the Italian
Association for Artificial Intelligence (AI*IA 2017), Bari, Italy,
November 14-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2011},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2011},
urn = {urn:nbn:de:0074-2011-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2017rcra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/DodaroRS16,
author = {Carmine Dodaro and
Francesco Ricca and
Peter Sch{\"{u}}ller},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {External Propagators in {WASP:} Preliminary Report},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {1--9},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/DodaroRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LeofantePT16,
author = {Francesco Leofante and
Luca Pulina and
Armando Tacchella},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Learning with Safety Requirements: State of the Art and Open Questions},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {11--25},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LeofantePT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LupiaMRSS16,
author = {Francesco Lupia and
Angelo Mendicelli and
Andrea Ribichini and
Francesco Scarcello and
Marco Schaerf},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Computing the Shapley Value in Allocation Problems: Approximations
and Bounds, with an Application to the Italian {VQR} Research Assessment
Program},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {27--43},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LupiaMRSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Redl16,
author = {Christoph Redl},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Automated Benchmarking of KR-systems},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {45--56},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Redl16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Schuller16,
author = {Peter Sch{\"{u}}ller},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Adjudication of Coreference Annotations via Finding Optimal Repairs
of Equivalence Relations},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {57--71},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Schuller16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Wallace16,
author = {Richard J. Wallace},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Complexity Analysis vs. Engineering Design in {CSP} Algorithms: Contravening
Conventional Wisdom Again},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {73--87},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Wallace16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Wallace16a,
author = {Richard J. Wallace},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Preprocessing versus Search Processing for Constraint Satisfaction
Problems},
booktitle = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
pages = {89--103},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Wallace16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2016rcra,
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Proceedings of the 23rd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2016 {(RCRA} 2016) {A} workshop of the {XV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2016),
Genova, Italy, November 28, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1745},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1745},
urn = {urn:nbn:de:0074-1745-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2016rcra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Alviano15,
author = {Mario Alviano},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Evaluating Answer Set Programming with Non-Convex Recursive Aggregates},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
pages = {1--15},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Alviano15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlvianoDR15,
author = {Mario Alviano and
Carmine Dodaro and
Francesco Ricca},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {{JWASP:} {A} New Java-Based {ASP} Solver},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
pages = {16--23},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AlvianoDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BartakV15,
author = {Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Searching for Sequential Plans Using Tabled Logic Programming},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
pages = {24--38},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BartakV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BistarelliRS15,
author = {Stefano Bistarelli and
Fabio Rossi and
Francesco Santini},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Testing Credulous and Sceptical Acceptance in Small-World Networks},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
pages = {39--46},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BistarelliRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Mancini15,
author = {Toni Mancini},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Now or Never: Negotiating Efficiently with Unknown Counterparts},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
pages = {47--61},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Mancini15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarinNPTG15,
author = {Paolo Marin and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Enrico Giunchiglia},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {An Empirical Perspective on Ten Years of {QBF} Solving},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
pages = {62--75},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MarinNPTG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Schuller15,
author = {Peter Sch{\"{u}}ller},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Modeling Abduction over Acyclic First-Order Logic Horn Theories in
Answer Set Programming: Preliminary Experiments},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
pages = {76--90},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Schuller15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2015rcra,
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {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 = {1451},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451},
urn = {urn:nbn:de:0074-1451-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2015rcra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/0001DP10,
author = {Marco Alberti and
Pierangelo Dell'Acqua and
Lu{\'{\i}}s Moniz Pereira},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Observation Strategies for Event Detection with Incidence on Runtime
Verification},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/0001DP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AddisAV10,
author = {Andrea Addis and
Giuliano Armano and
Eloisa Vargiu},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Experimental Assessment of a Threshold Selection Algorithm for Tuning
Classifiers in the Field of Hierarchical Text Categorization},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/AddisAV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Alviano0L10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Well-Founded Semantics for Logic Programs with Aggregates: Implementation
and Experimentation},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/Alviano0L10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BaiolettiMPR10,
author = {Marco Baioletti and
Alfredo Milani and
Valentina Poggioni and
Fabio Rossi},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Experimental Evaluation of Pheromone Models in ACOPlan},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/BaiolettiMPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CakmakE010,
author = {Duygu {\c{C}}akmak and
Halit Erdogan and
Esra Erdem},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Computing Weighted Solutions in {ASP:} Representation-Based Method
vs. Search-Based Method},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/CakmakE010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Chavez-BosquezP10,
author = {Oscar Ch{\'{a}}vez{-}Bosquez and
Pilar Pozos Parra and
Fl{\'{o}}ri{\'{a}}n Lengyel},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Towards a Deterministic Algorithm for the International Timetabling
Competition},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/Chavez-BosquezP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CostantiniDPT10,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Lu{\'{\i}}s Moniz Pereira and
Arianna Tocchio},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Ensuring Agent Properties under Arbitrary Sequences of Incoming Events},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/CostantiniDPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GuimaransHRJR10,
author = {Daniel Guimarans and
Rosa Herrero and
Daniel Riera and
Angel A. Juan and
Juan Jos{\'{e}} Ramos},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Combining Constraint Programming, Lagrangian Relaxation and Probabilistic
Algorithms to solve the Vehicle Routing Problem},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/GuimaransHRJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Maratea10,
author = {Marco Maratea},
editor = {Marco Gavanelli and
Toni Mancini},
title = {An Experimental Evaluation of Max-SAT and {PB} Solvers on Over-Subscription
Planning Problems},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/Maratea10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Marques-SilvaAG10,
author = {Jo{\~{a}}o Marques{-}Silva and
Josep Argelich and
Ana Gra{\c{c}}a and
In{\^{e}}s Lynce},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Boolean Lexicographic Optimization},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/Marques-SilvaAG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MileoSMB10,
author = {Alessandra Mileo and
Torsten Schaub and
Davide Merico and
Roberto Bisiani},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/MileoSMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/OddiRCS10,
author = {Angelo Oddi and
Riccardo Rasconi and
Amedeo Cesta and
Stephen F. Smith},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Job Shop Scheduling with Setup Times: Exploring the Applicability
of a Constraint-based Iterative Sampling Approach},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/OddiRCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PerriRS10,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Towards a Fully-Parallel {DLV} System},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/PerriRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2009rcra,
editor = {Marco Gavanelli and
Toni Mancini},
title = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-589},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2009rcra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2010rcra,
editor = {Marco Gavanelli and
Toni Mancini},
title = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/2010rcra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AngelettiGNPPS09,
author = {Damiano Angeletti and
Enrico Giunchiglia and
Massimo Narizzano and
Gabriele Palma and
Alessandra Puddu and
Salvatore Sabina},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Improving the Automatic Test Generation process for Coverage Analysis
using {CBMC}},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AngelettiGNPPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CelikETU009,
author = {Mehmet {\c{C}}elik and
Halit Erdogan and
Firat Tahaoglu and
Tansel Uras and
Esra Erdem},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Comparing {ASP} and {CP} on Four Grid Puzzles},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper01.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CelikETU009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CestaFFOT09,
author = {Amedeo Cesta and
Alberto Finzi and
Simone Fratini and
Andrea Orlandini and
Enrico Tronci},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Flexible Plan Verification: Feasibility Results},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CestaFFOT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CiprianoGD09,
author = {Raffaele Cipriano and
Luca Di Gaspero and
Agostino Dovier},
editor = {Marco Gavanelli and
Toni Mancini},
title = {A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CiprianoGD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GereviniSS09,
author = {Alfonso Gerevini and
Alessandro Saetti and
Ivan Serina},
editor = {Marco Gavanelli and
Toni Mancini},
title = {An Empirical Analysis of Some Heuristic Features for Planning with
Local Search in {LPG}},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/GereviniSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/JuanGFRMR09,
author = {Angel A. Juan and
Scott E. Grasman and
Javier Faulin and
Daniel Riera and
Carlos A. M{\'{e}}ndez and
Bernardo Ruiz},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Applying Simulation and Reliability to Vehicle Routing Problems with
Stochastic Demands},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper02.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/JuanGFRMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LalouHA09,
author = {Mohammed Lalou and
Zineb Habbas and
Kamal Amroun},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Solving Hypertree Structured {CSP:} Sequential and Parallel Approaches},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LalouHA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LynceM09,
author = {In{\^{e}}s Lynce and
Jo{\~{a}}o Marques{-}Silva},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Restoring {CSP} Satisfiability with MaxSAT},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LynceM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ManciniFMP09,
author = {Toni Mancini and
Pierre Flener and
Amir Hossein Monshi and
Justin Pearson},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Constrained Optimization Over Massive Databases},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ManciniFMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarinL0N0G09,
author = {Paolo Marin and
Matthew Lewis and
Tobias Schubert and
Massimo Narizzano and
Bernd Becker and
Enrico Giunchiglia},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Evaluation of Knowledge Sharing Strategies in a Parallel {QBF} Solver},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MarinL0N0G09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PerriRS09,
author = {Simona Perri and
Francesco Ricca and
Marco Sirianni},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Advanced Heuristics for Parallel {ASP} Instantiation},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PerriRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PulinaT09a,
author = {Luca Pulina and
Armando Tacchella},
editor = {Marco Gavanelli and
Toni Mancini},
title = {A structural approach to reasoning with quantified Boolean formulas},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PulinaT09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZanzottoD09,
author = {Fabio Massimo Zanzotto and
Lorenzo Dell'Arciprete},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Efficient Kernels for Sentence Pair Classification},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ZanzottoD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/0001LMR08,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper07faber.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/0001LMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ArgelichL08,
author = {Josep Argelich and
In{\^{e}}s Lynce},
editor = {Marco Gavanelli and
Toni Mancini},
title = {{CNF} Instances from the Software Package Installation Problem},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper01argelich.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ArgelichL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/BalafoutisS08,
author = {Thanasis Balafoutis and
Kostas Stergiou},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Experimental Evaluation of Modern Variable Selection Strategies in
Constraint Satisfaction Problems},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper02balafoutis.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/BalafoutisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/BellioGS08,
author = {Ruggero Bellio and
Luca Di Gaspero and
Andrea Schaerf},
editor = {Marco Gavanelli and
Toni Mancini},
title = {A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm
for Course Timetabling Problems},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper03bellio.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/BellioGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/BritoM08,
author = {Ismel Brito and
Pedro Meseguer},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Distributed Cluster Tree Elimination},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper04brito.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/BritoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GereviniS08,
author = {Alfonso Gerevini and
Ivan Serina},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Efficient Plan Adaptation through Replanning Windows and Heuristic
Goals},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper08gerevini.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GereviniS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GiunchigliaMN08,
author = {Enrico Giunchiglia and
Paolo Marin and
Massimo Narizzano},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Preprocessing Techniques for QBFs},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper09giunchiglia.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GiunchigliaMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GuillenLI08,
author = {Carlos Guill{\'{e}}n and
Aurelio L{\'{o}}pez{-}L{\'{o}}pez and
Guillermo De Ita},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Computing {\#}2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean
Formulas},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper10guillen.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GuillenLI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/MorgadoM08,
author = {Ant{\'{o}}nio Morgado and
Jo{\~{a}}o Marques{-}Silva},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Combinatorial Optimization Solutions for the Maximum Quartet Consistency
Problem},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper12morgado.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/MorgadoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ParraM08,
author = {Maria del Pilar Pozos Parra and
Ver{\'{o}}nica Borja Mac{\'{\i}}as},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Belief Merging without Distance Measures},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper13pozosparra.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ParraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/Riguzzi08,
author = {Fabrizio Riguzzi},
editor = {Marco Gavanelli and
Toni Mancini},
title = {The {SLGAD} Procedure for Inference on Logic Programs with Annotated
Disjunctions},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper15riguzzi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/Riguzzi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/SohITBN08,
author = {Takehide Soh and
Katsumi Inoue and
Naoyuki Tamura and
Mutsunori Banbara and
Hidetomo Nabeshima},
editor = {Marco Gavanelli and
Toni Mancini},
title = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper16soh.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/SohITBN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/TerracinaFPL08,
author = {Giorgio Terracina and
Erika De Francesco and
Claudio Panetta and
Nicola Leone},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Experiencing {ASP} with Real World Applications},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper17terracina.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/TerracinaFPL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/WallaceGF08,
author = {Richard J. Wallace and
Diarmuid Grimes and
Eugene C. Freuder},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Solving Dynamic Constraint Satisfaction Problems by Identifying Stable
Features},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper18wallace.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/WallaceGF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rcra/2008,
editor = {Marco Gavanelli and
Toni Mancini},
title = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-02-17 07:40 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
