default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMauro Vallati
Person information
- affiliation: University of Huddersfield, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j44]Benedetta Gottardelli, Roberto Gatta, Leonardo Nucciarelli
, Andrada Mihaela Tudor, Erica Tavazzi, Mauro Vallati, Stefania Orini, Nicoletta Di Giorgi, Andrea Damiani:
GEN-RWD Sandbox: bridging the gap between hospital data privacy and external research insights with distributed analytics. BMC Medical Informatics Decis. Mak. 24(1): 170 (2024)- [j43]Rongge Guo, Mauro Vallati, Yutong Wang, Hui Zhang, Yuanyuan Chen, Fei-Yue Wang:
Sustainability Opportunities and Ethical Challenges of AI-Enabled Connected Autonomous Vehicles Routing in Urban Areas. IEEE Trans. Intell. Veh. 9(1): 55-58 (2024) - [c136]Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Mauro Vallati:
The Impact of PDDL+ Language Features on Planning Performance: An Empirical Analysis on a Real-world Case Study. FLAIRS 2024 - [c135]Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati:
Taming Discretised PDDL+ through Multiple Discretisations. ICAPS 2024: 59-67 - [c134]Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati:
PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation. ICAPS 2024: 168-177 - [c133]Benedetta Gottardelli, Roberto Gatta, Leonardo Nucciarelli, Mariachiara Savino, Andrada Mihaela Tudor, Mauro Vallati, Andrea Damiani:
GEN-RWD Sandbox Ecosystem for Privacy-Preserving Data Sharing in Healthcare Research: The Processor Module. ICHI 2024: 360-365 - [c132]Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati:
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract). SOCS 2024: 263-264 - [c131]Anas El Kouaiti, Francesco Percassi, Alessandro Saetti, Thomas Leo McCluskey, Mauro Vallati:
Deployable Yet Effective Traffic Signal Optimisation via Automated Planning (Extended Abstract). SOCS 2024: 269-270 - [e17]Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova:
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I. Communications in Computer and Information Science 1947, Springer 2024, ISBN 978-3-031-50395-5 [contents] - [e16]Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova:
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II. Communications in Computer and Information Science 1948, Springer 2024, ISBN 978-3-031-50484-6 [contents] - [i15]Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati:
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming. CoRR abs/2408.07521 (2024) - 2023
- [j42]Francesco Percassi, Enrico Scala, Mauro Vallati:
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning. J. Artif. Intell. Res. 76: 115-162 (2023) - [j41]Francesco Percassi, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina, Mauro Vallati:
Improving Domain-Independent Heuristic State-Space Planning via plan cost predictions. J. Exp. Theor. Artif. Intell. 35(6): 849-875 (2023) - [j40]Diaeddin Alarnaouti, George Baryannis, Mauro Vallati:
Reformulation techniques for automated planning: a systematic review. Knowl. Eng. Rev. 38 (2023) - [j39]Rongge Guo, Wei Guan, Mauro Vallati, Wenyi Zhang:
Modular Autonomous Electric Vehicle Scheduling for Customized On-Demand Bus Services. IEEE Trans. Intell. Transp. Syst. 24(9): 10055-10066 (2023) - [j38]Xingyuan Dai, Mauro Vallati, Rongge Guo, Yutong Wang, Shuangshuang Han, Yilun Lin:
The Road Ahead: DAO-Secured V2X Infrastructures for Safe and Smart Vehicular Management. IEEE Trans. Intell. Veh. 8(12): 4674-4677 (2023) - [j37]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. Theory Pract. Log. Program. 23(2): 415-443 (2023) - [c130]Francesco Percassi, Enrico Scala, Mauro Vallati:
A Structure-Sensitive Translation from Hybrid to Numeric Planning. AI*IA 2023: 105-118 - [c129]Francesco Percassi, Enrico Scala, Mauro Vallati:
Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications. ICAPS 2023: 324-333 - [c128]Mauro Vallati, Stefania Orini, Mariagrazia Lorusso, Mariachiara Savino, Roberto Gatta, Massimiliano Filosto:
On the Comparison of Markov Chains-based Models in Process Mining for Healthcare: A Case Study. FLAIRS 2023 - [c127]Mauro Vallati:
The Power of Good Old-Fashioned AI for Urban Traffic Control. ICTERI 2023: 3-10 - [c126]Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas L. McCluskey, Francesco Percassi, Mauro Vallati:
Automated Planning for Generating and Simulating Traffic Signal Strategies. IJCAI 2023: 7119-7122 - [c125]Rongge Guo, Xiaoyu Liu, Saumya Bhatnagar, Mauro Vallati:
Real-time Routing and Scheduling of On-demand Autonomous Customized Bus Systems. ITSC 2023: 1536-1541 - [c124]Mauro Vallati, Lukás Chrpa:
In Defence of Good Old-Fashioned Artificial Intelligence Approaches in Intelligent Transportation Systems. ITSC 2023: 4913-4918 - [c123]Matteo Cardellini, Carmine Dodaro, Marco Maratea, Mauro Vallati:
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence. ITSC 2023: 5008-5013 - [c122]Rongge Guo, Alexandros Nikitas, Simon Parkinson, Mauro Vallati:
One Bus is All it Takes: The Impact of Cyber Attacks in Customised Bus Services. ITSC 2023: 5784-5789 - [c121]Lukás Chrpa, Mauro Vallati:
Centralised Vehicle Routing for Optimising Urban Traffic: A Scalability Perspective. IV 2023: 1-6 - [c120]Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati:
Comparing Planning Domain Models Using Answer Set Programming. JELIA 2023: 227-242 - [c119]Francesco Percassi, Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati:
An Efficient Heuristic for AI-based Urban Traffic Control. MT-ITS 2023: 1-6 - [c118]Matyás Svadlenka, Lukás Chrpa, Mauro Vallati:
Improving the Scalability of Automated Planning-based Vehicle Routing via Smart Routes Identification. MT-ITS 2023: 1-6 - [c117]Francesco Percassi, Enrico Scala, Mauro Vallati:
On the Notion of Fixability of PDDL+ Plans [Extended Abstract]. SOCS 2023: 177-178 - [e15]Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy. CEUR Workshop Proceedings 3345, CEUR-WS.org 2023 [contents] - [e14]Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati:
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. CEUR Workshop Proceedings 3585, CEUR-WS.org 2023 [contents] - [e13]Sven Koenig, Roni Stern, Mauro Vallati:
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, Prague, Czech Republic, July 8-13, 2023. AAAI Press 2023 [contents] - [i14]Diaeddin Alarnaouti, George Baryannis, Mauro Vallati:
Reformulation Techniques for Automated Planning: A Systematic Review. CoRR abs/2301.10079 (2023) - [i13]Chris Fawcett, Mauro Vallati, Holger H. Hoos, Alfonso Emilio Gerevini:
Competitions in AI - Robustly Ranking Solvers Using Statistical Resampling. CoRR abs/2308.05062 (2023) - 2022
- [j36]Lukás Chrpa, Mauro Vallati:
Planning with Critical Section Macros: Theory and Practice. J. Artif. Intell. Res. 74: 691-732 (2022) - [j35]Erica Tavazzi, Roberto Gatta, Mauro Vallati, Stefano Cotti Piccinelli, Massimiliano Filosto, Alessandro Padovani, Maurizio Castellano, Barbara Di Camillo:
Leveraging process mining for modeling progression trajectories in amyotrophic lateral sclerosis. BMC Medical Informatics Decis. Mak. 22-S(6): 346 (2022) - [c116]Enrico Scala, Thomas L. McCluskey, Mauro Vallati:
Verification of Numeric Planning Problems Through Domain Dynamic Consistency. AI*IA 2022: 171-183 - [c115]Francesco Percassi, Enrico Scala, Mauro Vallati:
The Power of Reformulation: From Validation to Planning in PDDL+. ICAPS 2022: 288-296 - [c114]Ron Alford, Lukás Chrpa, Mauro Vallati, Andy Applebaum:
Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries. FLAIRS 2022 - [c113]Saumya Bhatnagar, Sumit Mund, Enrico Scala, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati:
On-the-Fly Knowledge Acquisition for Automated Planning Applications: Challenges and Lessons Learnt. ICAART (2) 2022: 387-397 - [c112]Rongge Guo, Wei Guan, Saumya Bhatnagar, Mauro Vallati:
A Two-Phase Optimization Model for Autonomous Electric Customized Bus Service Design. ITSC 2022: 383-388 - [c111]Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas L. McCluskey, Enrico Scala, Mauro Vallati:
Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies. ITSC 2022: 607-612 - [c110]Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri:
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). SOCS 2022: 291-293 - [c109]Francesco Percassi, Enrico Scala, Mauro Vallati:
On the Reformulation of Discretised PDDL+ to Numeric Planning (Extended Abstract). SOCS 2022: 314-316 - [e12]Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico:
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. CEUR Workshop Proceedings 3065, CEUR-WS.org 2022 [contents] - [e11]Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati:
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022. CEUR Workshop Proceedings 3281, CEUR-WS.org 2022 [contents] - [i12]Carmine Dodaro, Marco Maratea, Mauro Vallati:
On the Configuration of More and Less Expressive Logic Programs. CoRR abs/2203.01024 (2022) - 2021
- [j34]Daniel Harabor, Mauro Vallati:
Organizing a Successful Artificial Intelligence Online Conference: Lessons from the 13th Symposium on Combinatorial Search. AI Mag. 42(1): 76-82 (2021) - [j33]Alessia Grassi, Mauro Vallati:
An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development. FLAP 8(4): 1065-1082 (2021) - [j32]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter:
On the Importance of Domain Model Configuration for Automated Planning Engines. J. Autom. Reason. 65(6): 727-773 (2021) - [j31]Enrico Scala, Mauro Vallati:
Effective grounding for hybrid planning problems represented in PDDL+. Knowl. Eng. Rev. 36: e9 (2021) - [j30]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Theory Pract. Log. Program. 21(3): 372-401 (2021) - [c108]Francesco Percassi, Enrico Scala, Mauro Vallati:
A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning. AI*IA 2021: 18-31 - [c107]Francesco Percassi, Enrico Scala, Mauro Vallati:
Translations from Discretised PDDL+ to Numeric Planning. ICAPS 2021: 252-261 - [c106]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
In-Station Train Dispatching: A PDDL+ Planning Approach. ICAPS 2021: 450-458 - [c105]Gianluca Boleto, Luca Oneto, Matteo Cardellini, Marco Maratea, Mauro Vallati, Renzo Canepa, Davide Anguita:
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models. ESANN 2021 - [c104]Mauro Vallati, Thomas Leo McCluskey:
A Quality Framework for Automated Planning Knowledge Models. ICAART (2) 2021: 635-644 - [c103]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
An Efficient Hybrid Planning Framework for In-Station Train Dispatching. ICCS (1) 2021: 168-182 - [c102]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. IJCAI 2021: 2069-2075 - [c101]Mauro Vallati, Enrico Scala, Lukás Chrpa:
A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles. ITSC 2021: 3821-3826 - [c100]Mauro Vallati, Lukás Chrpa:
Effective Real-Time Urban Traffic Routing: An Automated Planning Approach. MT-ITS 2021: 1-6 - [c99]Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto, Luca Oneto:
A Planning-based Approach for In-Station Train Dispatching. SOCS 2021: 156-158 - [i11]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Fudge: A light-weight solver for abstract argumentation based on SAT reductions. CoRR abs/2109.03106 (2021) - 2020
- [j29]Federico Cerutti, Matthias Thimm, Mauro Vallati:
An experimental analysis on the similarity of argumentation semantics. Argument Comput. 11(3): 269-304 (2020) - [j28]Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro Javier García, Grigoris Antoniou:
Maximising goals achievement through abstract argumentation frameworks: An optimal approach. Expert Syst. Appl. 141 (2020) - [j27]Thomas Eiter, Marco Maratea, Mauro Vallati:
Preface. Fundam. Informaticae 174(3-4) (2020) - [j26]Mauro Vallati, Lukás Chrpa, Ivan Serina:
MEvo: a framework for effective macro sets evolution. J. Exp. Theor. Artif. Intell. 32(4): 685-703 (2020) - [c98]Mauro Vallati, Thomas Leo McCluskey:
In Defence of Design Patterns for AI Planning Knowledge Models (short paper). IPS-RCRA@AI*IA 2020 - [c97]Tobia Zanetti, Massimiliano Giacomin, Mauro Vallati, Federico Cerutti:
An Efficient Algorithm for Admissible Argumentation Stages. AI³@AI*IA 2020: 45-59 - [c96]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Tobia Zanetti:
An Efficient Algorithm for Semi-stable Extensions. AI*IA 2020: 117-135 - [c95]Mauro Vallati, Thomas Leo McCluskey:
In Defence of Design Patterns for AI Planning Knowledge Models. AI*IA 2020: 191-203 - [c94]Francesco Percassi, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina, Mauro Vallati:
Generating and Exploiting Cost Predictions in Heuristic State-Space Planning. ICAPS 2020: 569-573 - [c93]Mauro Vallati, Lukás Chrpa:
Reducing Traffic Congestion in Urban Areas via Real-Time Re-Routing: A Simulation Study. Australasian Conference on Artificial Intelligence 2020: 69-81 - [c92]Mauro Vallati, Lukás Chrpa:
A Mixed-Integer Programming Approach for Scheduling Roadworks in Urban Regions. Australasian Conference on Artificial Intelligence 2020: 82-93 - [c91]Matthias Thimm, Federico Cerutti, Mauro Vallati:
On Computing the Set of Acceptable Arguments in Abstract Argumentation. COMMA 2020: 363-370 - [c90]Roberto Gatta, Mauro Vallati, Ilenia Pirola, Jacopo Lenkowicz, Luca Tagliaferri, Carlo Cappelli, Maurizio Castellano:
An Empirical Analysis of Predictors for Workload Estimation in Healthcare. ICCS (1) 2020: 304-311 - [c89]Mauro Vallati:
Centralised Versus Decentralised Traffic Optimisation of Urban Road Networks: A Simulation Study. ICITE 2020: 319-325 - [c88]Enrico Scala, Mauro Vallati:
Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines. ICTAI 2020: 85-92 - [c87]Ivan Serina, Mauro Vallati:
Configurable Heuristic Adaptation for Improving Best First Search in AI Planning. ICTAI 2020: 93-100 - [c86]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. ICTAI 2020: 1167-1174 - [e10]Mauro Vallati, Diane E. Kitchin:
Knowledge Engineering Tools and Techniques for AI Planning. Springer 2020, ISBN 978-3-030-38560-6 [contents] - [e9]Marco Maratea, Mauro Vallati:
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. CEUR Workshop Proceedings 2538, CEUR-WS.org 2020 [contents] - [e8]Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati:
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. CEUR Workshop Proceedings 2745, CEUR-WS.org 2020 [contents] - [e7]Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati:
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020. CEUR Workshop Proceedings 2672, CEUR-WS.org 2020 [contents] - [e6]Daniel Harabor, Mauro Vallati:
Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020, Online Conference [Vienna, Austria], 26-28 May 2020. AAAI Press 2020, ISBN 978-1-57735-822-0 [contents] - [i10]Daniel Harabor, Mauro Vallati:
Organising a Successful AI Online Conference: Lessons from SoCS 2020. CoRR abs/2006.12129 (2020) - [i9]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming. CoRR abs/2010.01164 (2020) - [i8]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey, Frank Hutter:
On the Importance of Domain Model Configuration for Automated Planning Engines. CoRR abs/2010.07710 (2020) - [i7]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity. CoRR abs/2011.06865 (2020)
2010 – 2019
- 2019
- [j25]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
How we designed winning algorithms for abstract argumentation and which insight we attained. Artif. Intell. 276: 1-40 (2019) - [j24]Roberto Gatta, Mauro Vallati, Nicola Dinapoli, Carlotta Masciocchi, Jacopo Lenkowicz, Davide Cusumano, Calogero Casà, Alessandra Farchione, Andrea Damiani, Johan van Soest, Andre Dekker, Vincenzo Valentini:
Towards a modular decision support system for radiomics: A case study on rectal cancer. Artif. Intell. Medicine 96: 145-153 (2019) - [j23]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
Inner entanglements: Narrowing the search in classical planning by problem reformulation. Comput. Intell. 35(2): 395-429 (2019) - [j22]Isabel Cenamor, Mauro Vallati, Lukás Chrpa:
On the predictability of domain-independent temporal planners. Comput. Intell. 35(4): 745-773 (2019) - [j21]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Predictive models and abstract argumentation: the case of high-complexity semantics. Knowl. Eng. Rev. 34: e6 (2019) - [c85]Lukás Chrpa, Mauro Vallati:
Improving Domain-Independent Planning via Critical Section Macro-Operators. AAAI 2019: 7546-7553 - [c84]Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity. AI*IA 2019: 135-150 - [c83]Mauro Vallati, Marco Maratea:
On the Configuration of SAT Formulae. AI*IA 2019: 264-277 - [c82]Roberto Gatta, Mauro Vallati, Carlos Fernández-Llatas, Antonio Martinez-Millana, Stefania Orini, Lucia Sacchi, Jacopo Lenkowicz, Mar Marcos, Jorge Munoz-Gama, Michel A. Cuendet, Berardino De Bari, Luis Marco-Ruiz, Alessandro Stefanini, Maurizio Castellano:
Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare. Business Process Management Workshops 2019: 545-556 - [c81]Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Carlotta Masciocchi, Francesco Cellini, Luca Boldrini, Carlos Fernández-Llatas, Vincenzo Valentini, Andrea Damiani:
On the Feasibility of Distributed Process Mining in Healthcare. ICCS (5) 2019: 445-452 - [c80]Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning. ICCS (5) 2019: 453-460 - [c79]Santiago Franco, Mauro Vallati, Alan Lindsay, Thomas Lee McCluskey:
Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation. ICCS (5) 2019: 491-498 - [c78]Mauro Vallati, Lukás Chrpa:
On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge. K-CAP 2019: 197-204 - [c77]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. LPNMR 2019: 32-44 - [c76]Lukás Chrpa, Mauro Vallati, Simon Parkinson:
Exploiting automated planning for efficient centralized vehicle routing and mitigating congestion in urban road networks. SAC 2019: 191-194 - [c75]Faizan Bhatti, Diane E. Kitchin, Mauro Vallati:
A General Approach to Exploit Model Predictive Control for Guiding Automated Planning Search in Hybrid Domains. SGAI Conf. 2019: 139-145 - 2018
- [j20]Andrea F. Bocchese, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos:
Performance robustness of AI planners in the 2014 International Planning Competition. AI Commun. 31(6): 445-463 (2018) - [j19]Simon Parkinson, Mauro Vallati, Andrew Crampton, Shirin Sohrabi:
GraphBAD: A general technique for anomaly detection in security information and event management. Concurr. Comput. Pract. Exp. 30(16) (2018) - [j18]Federico Cerutti, Alessia Grassi, Mauro Vallati:
Unveiling the oracle: Artificial intelligence for the 21st century. Intell. Decis. Technol. 12(3): 371-379 (2018) - [j17]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
On the impact of configuration on abstract argumentation automated reasoning. Int. J. Approx. Reason. 92: 120-138 (2018) - [j16]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms. J. Exp. Theor. Artif. Intell. 30(6): 831-856 (2018) - [j15]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey:
What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask). Knowl. Eng. Rev. 33: e3 (2018) - [j14]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
On the manipulation of articulated objects in human-robot cooperation scenarios. Robotics Auton. Syst. 109: 139-155 (2018) - [c74]Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. RiCeRcA@AI*IA 2018 - [c73]Mauro Vallati, Ivan Serina:
A General Approach for Configuring PDDL Problem Models. ICAPS 2018: 431-436 - [c72]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. COMMA 2018: 459-460 - [c71]Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation. ICCS (1) 2018: 15-27 - [c70]Santiago Franco, Alan Lindsay, Mauro Vallati, Thomas Lee McCluskey:
An Innovative Heuristic for Planning-Based Urban Traffic Control. ICCS (1) 2018: 181-193 - [c69]Lukás Chrpa, Mauro Vallati:
Determining Representativeness of Training Plans: A Case of Macro-Operators. ICTAI 2018: 488-492 - [c68]Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Calogero Casà, Francesco Cellini, Andrea Damiani, Vincenzo Valentini:
A Framework for Event Log Generation and Knowledge Representation for Process Mining in Healthcare. ICTAI 2018: 647-654 - [c67]Mauro Vallati, Lukás Chrpa:
A Principled Analysis of the Interrelation between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles. ITSC 2018: 3761-3766 - [c66]Tomás Skerík, Lukás Chrpa, Wolfgang Faber, Mauro Vallati:
Automated Training Plan Generation for Athletes. SMC 2018: 3865-3870 - [e5]Marco Maratea, Mauro Vallati:
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018. CEUR Workshop Proceedings 2272, CEUR-WS.org 2018 [contents] - [e4]Matthias Thimm, Federico Cerutti, Mauro Vallati:
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018. CEUR Workshop Proceedings 2171, CEUR-WS.org 2018 [contents] - [e3]Marco Maratea, Mauro Vallati:
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. CEUR Workshop Proceedings 2271, CEUR-WS.org 2018 [contents] - [i6]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
On the manipulation of articulated objects in human-robot cooperation scenarios. CoRR abs/1801.01757 (2018) - 2017
- [j13]Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati, Tiago Vaquero:
The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends. AI Mag. 38(1): 104-106 (2017) - [j12]Mattia Rizzini, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos:
Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis. Int. J. Artif. Intell. Tools 26(1): 1760006:1-1760006:27 (2017) - [j11]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT. Int. J. Artif. Intell. Tools 26(2): 1750002:1-1750002:26 (2017) - [c65]Mauro Vallati, Lukás Chrpa, Ivan Serina:
On the Evolution of Planner-Specific Macro Sets. AI*IA 2017: 443-454 - [c64]Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati:
Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. AI*IA 2017: 483-497 - [c63]Roberto Gatta, Jacopo Lenkowicz, Mauro Vallati, Eric Rojas, Andrea Damiani, Lucia Sacchi, Berardino De Bari, Arianna Dagliati, Carlos Fernández-Llatas, Matteo Montesi, Antonio Marchetti, Maurizio Castellano, Vincenzo Valentini:
pMineR: An Innovative R Library for Performing Process Mining in Medicine. AIME 2017: 351-355 - [c62]Thomas Leo McCluskey, Mauro Vallati:
Embedding Automated Planning within Urban Traffic Management Operations. ICAPS 2017: 391-399 - [c61]Simon Parkinson, Andrew Longstaff, Simon Fletcher, Mauro Vallati, Lukás Chrpa:
On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption between Manufacturing Operations. ICAPS 2017: 400-408 - [c60]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
On the Combination of Argumentation Solvers into Parallel Portfolios. Australasian Conference on Artificial Intelligence 2017: 315-327 - [c59]Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke:
A Hypercat-Enabled Semantic Internet of Things Data Hub. ESWC (2) 2017: 125-137 - [c58]Thomas Leo McCluskey, Mauro Vallati, Santiago Franco:
Automated Planning for Urban Traffic Management. IJCAI 2017: 5238-5240 - [c57]Simon Parkinson, Yongrui Qin, Saad Khan, Mauro Vallati:
Security auditing in the fog. ICC 2017: 191:1-191:9 - [c56]Thomas Leo McCluskey, Tiago Stegun Vaquero, Mauro Vallati:
Engineering Knowledge for Automated Planning: Towards a Notion of Quality. K-CAP 2017: 14:1-14:8 - [c55]Roberto Gatta, Mauro Vallati, Jacopo Lenkowicz, Eric Rojas, Andrea Damiani, Lucia Sacchi, Berardino De Bari, Arianna Dagliati, Carlos Fernández-Llatas, Matteo Montesi, Antonio Marchetti, Maurizio Castellano, Vincenzo Valentini:
Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR. K-CAP 2017: 36:1-36:4 - [c54]Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey:
Improving a Planner's Performance through Online Heuristic Configuration of Domain Models. SOCS 2017: 171-172 - [e2]Lukás Chrpa, Simon Parkinson, Mauro Vallati:
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16, 2016. CEUR Workshop Proceedings 1782, CEUR-WS.org 2017 [contents] - [i5]Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke:
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. CoRR abs/1703.00391 (2017) - 2016
- [j10]Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati:
Summary Report of The First International Competition on Computational Models of Argumentation. AI Mag. 37(1): 102 (2016) - [j9]Valerio Velardo, Mauro Vallati, Steven Jan:
Symbolic Melodic Similarity: State of the Art and Future Challenges. Comput. Music. J. 40(2): 70-83 (2016) - [j8]Mauro Vallati, Ivan Serina, Alessandro Saetti, Alfonso Emilio Gerevini:
Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. Fundam. Informaticae 149(1-2): 209-240 (2016) - [j7]Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati:
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. Intelligenza Artificiale 10(2): 113-128 (2016) - [c53]Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey:
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. AAAI 2016: 3188-3194 - [c52]Roberto Gatta, Mauro Vallati, Carlo Cappelli, Berardino De Bari, Massimo Salvetti, Silvio Finardi, Maria Lorenza Muiesan, Vincenzo Valentini, Maurizio Castellano:
Bridging the Gap between Knowledge Representation and Electronic Health Records. HEALTHINF 2016: 159-165 - [c51]Nicola Dinapoli, Anna Rita Alitto, Mauro Vallati, Rosa Autorino, Roberto Gatta, Luca Boldrini, Andrea Damiani, Giovanna Mantini, Vincenzo Valentini:
RadioBio data: A Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy. HEALTHINF 2016: 277-281 - [c50]Lukás Chrpa, Mauro Vallati:
On the exploitation of Automated Planning for efficient decision making in road traffic accident management. CDC 2016: 6607-6612 - [c49]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. COMMA 2016: 199-206 - [c48]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems. COMMA 2016: 207-218 - [c47]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
Efficient and Off-The-Shelf Solver: jArgSemSAT. COMMA 2016: 465-466 - [c46]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
Generating Structured Argumentation Frameworks: AFBenchGen2. COMMA 2016: 467-468 - [c45]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. ECAI 2016: 966-973 - [c44]Federico Cerutti, Mauro Vallati, Massimiliano Giacomin:
jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks. KR 2016: 541-544 - [c43]Rabia Jilani, Andrew Crampton, Diane E. Kitchin, Mauro Vallati:
Have a Little Patience: Let Planners Play Cards. PlanSIG 2016 - [c42]Thomas Leo McCluskey, Mauro Vallati:
The SimplyfAI Project: Using AI Planning in Urban Traffic Management or If at First the Representation Does not Work, Try, Try and Try and Again. PlanSIG 2016 - [e1]Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati:
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016. CEUR Workshop Proceedings 1672, CEUR-WS.org 2016 [contents] - [i4]Valerio Velardo, Mauro Vallati:
A General Framework for Describing Creative Agents. CoRR abs/1604.04096 (2016) - [i3]Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation. CoRR abs/1612.07589 (2016) - 2015
- [j6]Alfonso Emilio Gerevini, Alessandro Saetti, Mauro Vallati:
Exploiting macro-actions and predicting plan length in planning as satisfiability. AI Commun. 28(2): 323-344 (2015) - [j5]Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
Portfolio-based planning: State of the art, common practice and open challenges. AI Commun. 28(4): 717-733 (2015) - [j4]Mauro Vallati, Lukás Chrpa, Marek Grzes, Thomas Leo McCluskey, Mark Roberts, Scott Sanner:
The 2014 International Planning Competition: Progress and Trends. AI Mag. 36(3): 90-98 (2015) - [c41]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI 2015: 1475-1481 - [c40]Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati:
Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. IPS@AI*IA 2015: 65-79 - [c39]Rabia Jilani, Andrew Crampton, Diane E. Kitchin, Mauro Vallati:
ASCoL: A Tool for Improving Automatic Planning Domain Model Acquisition. AI*IA 2015: 438-451 - [c38]Andrea Damiani, Mauro Vallati, Roberto Gatta, Nicola Dinapoli, Arthur Jochems, Timo Deist, Johan van Soest, Andre Dekker, Vincenzo Valentini:
Distributed Learning to Protect Privacy in Multi-centric Clinical Studies. AIME 2015: 65-75 - [c37]Mauro Vallati, Ivan Serina, Alessandro Saetti, Alfonso Emilio Gerevini:
Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. ICAPS 2015: 239-243 - [c36]Nicola Dinapoli, Anna Rita Alitto, Mauro Vallati, Roberto Gatta, Rosa Autorino, Luca Boldrini, Andrea Damiani, Vincenzo Valentini:
Moddicom: a complete and easily accessible library for prognostic evaluations relying on image features. EMBC 2015: 771-774 - [c35]Roberto Gatta, Mauro Vallati, Nicola Mazzini, Diane E. Kitchin, Andrea Bonisoli, Alfonso Gerevini, Vincenzo Valentini:
On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments. EPIA 2015: 103-109 - [c34]Vassiliki Somaraki, Mauro Vallati, Thomas Leo McCluskey:
Discovering Interesting Trends in Real Medical Data: A Study in Diabetic Retinopathy. EPIA 2015: 134-140 - [c33]Valerio Velardo, Mauro Vallati:
On the Stylistic Evolution of a Society of Virtual Melody Composers. EvoMUSART 2015: 249-260 - [c32]Mattia Rizzini, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos:
Portfolio Methods for Optimal Planning: An Empirical Analysis. ICTAI 2015: 494-501 - [c31]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
On the Online Generation of Effective Macro-Operators. IJCAI 2015: 1544-1550 - [c30]Mauro Vallati, Frank Hutter, Lukás Chrpa, Thomas Leo McCluskey:
On the Effective Configuration of Planning Domain Models. IJCAI 2015: 1704-1711 - [c29]Raquel Fuentetaja, Lukás Chrpa, Thomas Leo McCluskey, Mauro Vallati:
Exploring the Synergy between Two Modular Learning Techniques for Automated Planning. SOCS 2015: 35-43 - [c28]Lukás Chrpa, Enrico Scala, Mauro Vallati:
Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements. SOCS 2015: 166-170 - 2014
- [j3]Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
ASAP: An Automatic Algorithm Selection Approach for Planning. Int. J. Artif. Intell. Tools 23(6) (2014) - [j2]Alfonso Gerevini, Alessandro Saetti, Mauro Vallati:
Planning through Automatic Portfolio Configuration: The PbP Approach. J. Artif. Intell. Res. 50: 639-696 (2014) - [c27]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use. ICAPS 2014 - [c26]Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown:
Improved Features for Runtime Prediction of Domain-Independent Planners. ICAPS 2014 - [c25]Roberto Gatta, Mauro Vallati, Berardino De Bari, Nadia Pasinetti, Carlo Cappelli, Ilenia Pirola, Massimo Salvetti, Michela Buglione, Maria Lorenza Muiesan, Stefano M. Magrini, Maurizio Castellano:
Information Retrieval in Medicine - An Extensive Experimental Study. HEALTHINF 2014: 447-452 - [c24]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
Algorithm Selection for Preferred Extensions Enumeration. COMMA 2014: 221-232 - [c23]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
ArgSemSAT: Solving Argumentation Problems Using SAT. COMMA 2014: 455-456 - [c22]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati:
Generating Challenging Benchmark AFs. COMMA 2014: 457-458 - [c21]Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati:
A Benchmark Framework for a Computational Argumentation Competition. COMMA 2014: 459-460 - [c20]Roberto Gatta, Mauro Vallati, Berardino De Bari, Mahmut Ozsahin:
The impact of different training sets on medical documents classification. AI-AM/NetMed@ECAI 2014: 1-5 - [c19]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Argumentation Frameworks Features: an Initial Study. ECAI 2014: 1117-1118 - [c18]Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview. DARe@ECAI 2014 - [c17]Valerio Velardo, Mauro Vallati:
GenoMeMeMusic: a Memetic-based Framework for Discovering the Musical Genome. ICMC 2014 - [c16]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella:
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. KR 2014 - [i2]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. CoRR abs/1411.2800 (2014) - 2013
- [j1]Mauro Vallati:
Efficient planning through automatic configuration and machine learning. AI Commun. 26(3): 319-321 (2013) - [c15]Mauro Vallati, Lukás Chrpa, Andrew Crampton:
Underestimation vs. Overestimation in SAT-Based Planning. AI*IA 2013: 276-287 - [c14]Mauro Vallati, Lukás Chrpa, Diane E. Kitchin:
An Automatic Algorithm Selection Approach for Planning. ICTAI 2013: 1-8 - [c13]Lukás Chrpa, Mauro Vallati, Hugh Osborne:
Learnability of Specific Structural Patterns of Planning Problems. ICTAI 2013: 18-23 - [c12]Mauro Vallati, Berardino De Bari, Roberto Gatta, Michela Buglione, Stefano M. Magrini, Barbara Alicja Jereczek-Fossa, Filippo Bertoni:
Exploiting Machine Learning for Predicting Nodal Status in Prostate Cancer Patients. AIAI 2013: 61-70 - [c11]Falilat Jimoh, Lukás Chrpa, Mauro Vallati:
Autonomic System Architecture: An Automated Planning Perspective. AIAI 2013: 121-130 - [c10]Mohammad Munshi Shahin Shah, Lukás Chrpa, Diane E. Kitchin, Thomas Leo McCluskey, Mauro Vallati:
Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain. IJCAI 2013: 2373-2379 - [c9]Mauro Vallati, Roberto Gatta, Berardino De Bari, Stefano M. Magrini:
Clinical Similarities: An Innovative Approach for Supporting Medical Decisions. MedInfo 2013: 1114 - [c8]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey:
Determining Linearity of Optimal Plans by Operator Schema Analysis. SARA 2013 - [c7]Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane E. Kitchin:
Generating Macro-Operators by Exploiting Inner Entanglements. SARA 2013 - [c6]Lukás Chrpa, Mauro Vallati:
Revisiting Inner Entanglements in Classical Planning. SCAI 2013: 75-84 - [c5]Mauro Vallati, Chris Fawcett, Alfonso Gerevini, Holger H. Hoos, Alessandro Saetti:
Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners. SOCS 2013: 184-192 - [c4]Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati:
Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach. TAFA 2013: 176-193 - [i1]Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati:
Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach. CoRR abs/1310.4986 (2013) - 2012
- [c3]Mauro Vallati:
A Guide to Portfolio-Based Planning. MIWAI 2012: 57-68 - 2011
- [c2]Alfonso Gerevini, Alessandro Saetti, Mauro Vallati:
Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability. AI*IA 2011: 189-200
2000 – 2009
- 2009
- [c1]Alfonso Gerevini, Alessandro Saetti, Mauro Vallati:
An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP. ICAPS 2009
Coauthor Index
[c124] [c121] [c120] [c118] [j36] [c114] [c110] [j32] [c101] [c100] [j26] [c93] [c92] [i8] [j23] [j22] [c85] [c80] [c78] [c76] [j16] [j15] [c71] [c69] [c67] [c66] [j13] [c65] [c61] [c54] [e2] [j7] [c53] [c50] [j5] [j4] [c40] [c31] [c30] [c29] [c28] [j3] [c27] [c15] [c14] [c13] [c11] [c10] [c8] [c7] [c6]
Alfonso Gerevini
aka: Alfonso Emilio Gerevini
aka: Alfonso Emilio Gerevini
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
