Items where Author is Vallati, Mauro

Article

Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2019) Predictive Models and Abstract Argumentation: the case of High-Complexity Semantics. The Knowledge Engineering Review, 34. pp. 1-23. ISSN 0269-8889

Vallati, Mauro, Chrpa, Lukáš and McCluskey, T.L. (2018) What You Always Wanted to Know about the Deterministic Part of IPC 2014 (But Were too Afraid to Ask). The Knowledge Engineering Review, 33 (e3). ISSN 0269-8889

Parkinson, Simon, Vallati, Mauro, Crampton, Andrew and Sohrabi, Shirin (2018) GraphBAD: A General Technique for Anomaly Detection in Security Information and Event Management. Concurrency and Computation: Practice and Experience. ISSN 1532-0626

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2017) On the Impact of Configuration on Abstract Argumentation Automated Reasoning. International Journal of Approximate Reasoning, 92. pp. 120-138. ISSN 0888-613X

Alitto, AR, Gatta, R, Vanneste, BGL, Vallati, Mauro, Meldolesi, E, Damiani, A, Lanzotti, V, Mattiucci, GC, Frascino, V, Masciocchi, C, Catucci, F, Dekker, A, Lambin, P, Valentini, V and Mantini, G (2017) PRODIGE: PRediction models in prOstate cancer for personalized meDIcine challenGE. Future Oncology, 13 (24). ISSN 1479-6694

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2017) An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT. International Journal on Artificial Intelligence Tools, 26 (2). ISSN 0218-2130

Chrpa, Lukáš, McCluskey, T.L., Vallati, Mauro and Vaquero, Tiago (2017) The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and Trends. AI Magazine, 38 (1). pp. 104-106. ISSN 0738-4602

Rizzini, Mattia, Fawcett, Chris, Vallati, Mauro, Gerevini, Alfonso and Hoos, Holger (2017) Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis. International Journal on Artificial Intelligence Tools, 26 (1). ISSN 0218-2130

De Bari, Berardino, Vallati, Mauro, Gatta, Roberto, Lestrade, Laëtitia, Manfrida, Stefania, Carrie, Christian and Valentini, Vincenzo (2017) Development and validation of a machine learning-based predictive model to improve the prediction of inguinal status of anal cancer patients: A preliminary report. Oncotarget, 8 (65). pp. 108509-108521. ISSN 1949-2553

Vallati, Mauro, Serina, Ivan, Saetti, Alessandro and Gerevini, Alfonso (2016) Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. Fundamenta Informaticae, 149 (1-2). pp. 209-240. ISSN 0169-2968

Velardo, Valerio, Vallati, Mauro and Jan, Steven (2016) Symbolic Melodic Similarity: State of the Art and Future Challenges. Computer Music Journal, 40 (2). pp. 70-83. ISSN 0148-9267

Chrpa, Lukáš, Magazzeni, Daniele, McCabe, Keith, McCluskey, T.L. and Vallati, Mauro (2016) Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. Intelligenza Artificiale, 10 (2). pp. 113-128. ISSN 1724-8035

Thimm, Matthias, Villata, Serena, Cerutti, Federico, Oren, Nir, Strass, Hannes and Vallati, Mauro (2016) Summary Report of The First International Competition on Computational Models of Argumentation. AI Magazine, 37 (1). pp. 102-104. ISSN 0738-4602

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane E. (2015) Portfolio-based Planning: State of the Art, Common Practice and Open Challenges. AI Communications, 28 (4). pp. 717-733. ISSN 0921-7126

Vallati, Mauro, Chrpa, Lukáš, Grzes, Marek, McCluskey, T.L., Roberts, Mark and Sanner, Scott (2015) The 2014 International Planning Competition: Progress and Trends. AI Magazine, 36 (3). pp. 90-98. ISSN 0738-4602

Gerevini, Alfonso Emilio, Saetti, Alessandro and Vallati, Mauro (2015) Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability. AI Communications, 28 (2). pp. 323-344. ISSN 0921-7126

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane E. (2014) ASAP: An Automatic Algorithm Selection Approach for Planning. International Journal on Artificial Intelligence Tools, 23 (6). p. 1460032. ISSN 0218-2130

Gerevini, Alfonso Emilio, Saetti, Alessandro and Vallati, Mauro (2014) Planning through Automatic Portfolio Configuration: The PbP Approach. Journal of Artificial Intelligence Research, 50. pp. 639-696. ISSN 1076 - 9757

Book Chapter

Gatta, Roberto, Vallati, Mauro, Lenkowicz, Jacopo, Rojas, Eric, Damiani, Andrea, Sacchi, Lucia, De Bari, Berardino, Dagliati, Arianna, Fernandez-Llatas, Carlos, Montesi, Matteo, Marchetti, Antonio, Castellano, Maurizio and Valentini, Vincenzo (2017) Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR. In: Proceedings of the 2017 Conference on Knowledge Capture (K-CAP). ACM. ISBN 9781450355537

Capitanelli, Alessio, Maratea, Marco, Matrogiovanni, Fulvio and Vallati, Mauro (2017) Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. In: Proceedings of the The 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017). Lecture Notes in Computer Science . Springer, pp. 483-497. ISBN 9783319701684

Vallati, Mauro, Chrpa, Lukáš and Serina, Ivan (2017) On the Evolution of Planner-Specific Macro Sets. In: AI*AI 2017 Advances in Artificial Intelligence : International Conference of the Italian Association for Artificial Intelligence. Lecture Notes in Artificial Intelligence (LNAI) (10640). Springer, pp. 443-454. ISBN 9783319701684

McCluskey, T.L., Vallati, Mauro and Franco, Santiago (2017) Automated planning for urban traffic management. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI, pp. 5238-5240. ISBN 978-0-9992411-0-3

Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2017) On the combination of argumentation solvers into parallel portfolios. In: AI 2017 Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence (LNAI) . Springer, pp. 315-327. ISBN 9783319630038

Vallati, Mauro, Chrpa, Lukáš and McCluskey, T.L. (2017) Improving a planner’s performance through online heuristic configuration of domain models. In: Proceedings of the 10th International Symposium on Combinatorial Search (SoCS). AAAI Press, pp. 171-172. ISBN 978-1577357902

Tachmazidis, Ilias, Batsakis, Sotirios, Davies, John, Duke, Alistair, Vallati, Mauro, Antoniou, Grigoris and Stincic Clarke, Sandra (2017) A Hypercat-enabled Semantic Internet of Things Data Hub. In: Proceedings of ESWC 2017: The Semantic Web. Lecture Notes in Computer Science . Springer, pp. 125-137. ISBN 978-3-319-58451-5

Gatta, Roberto, Lenkowicz, Jacopo, Vallati, Mauro, Rojas, Eric, Damiani, Andrea, Sacchi, Lucia, De Bari, Berardino, Dagliati, Anna, Fernandez-Llatas, Carlos, Montesi, Matteo, Marchetti, Antonio, Castellano, Maurizio and Valentini, Vincenzo (2017) pMineR: An Innovative R Library for Performing Process Mining in Medicine. In: Proceedings of the 16th Conference on Artificial Intelligence in Medicine (AIME). Springer, pp. 351-355. ISBN 978-3-319-59758-4

Parkinson, Simon, Qin, Yongrui, Khan, Saad and Vallati, Mauro (2017) Security Auditing in the Fog. In: Proceedings of the Second International Conference on Internet of Things : Data and Cloud Computing (ICC 2017). International Conference Proceedings Series (ICPS) . ACM. ISBN 978-1-4503-4774-7

McCluskey, T.L. and Vallati, Mauro (2017) Embedding Automated Planning within Urban Traffic Management Operations. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI, pp. 391-399.

Parkinson, Simon, Longstaff, Andrew P., Fletcher, Simon, Vallati, Mauro and Chrpa, Lukáš (2017) On the Exploitation of Automated Planning for Reducing Machine Tools Energy Consumption Between Manufacturing Operations. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). Association for the Advancement of Artificial Intelligence AAAI, pp. 400-408.

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. In: Computational Models of Argument : Proceedings of COMMA 2016. Frontiers in Artificial Intelligence and Applications, 287 . IOS Press, pp. 199-206. ISBN 978-1614996859

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems. In: Computational Models of Argument: Proceedings of Comma 2016. Frontiers in Artificial Intelligence and Applications, 287 . IOS Press, pp. 207-218. ISBN 978-1614996859

Faber, Wolfgang, Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2016) Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. In: 22nd European Conference on Artificial Intelligence (ECAI2016). Frontiers in Artificial Intelligence and Applications, 285 (285). IOS Press, pp. 966-973. ISBN 978-1-61499-671-2

Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) jArgSemSAT: an Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press, pp. 541-544. ISBN 9781577357551

Gatta, Roberto, Vallati, Mauro, Cappelli, Carlo, De Bari, Berardino, Salvetti, Massimo, Finardi, Silvio, Muiesan, Maria L., Valentini, Vincenzo and Castellano, Maurizio (2016) Bridging the Gap Between Knowledge Representation and Electronic Health Records. In: Proceedings of the 9th International Conference on Health Informatics. SCITEpress, pp. 159-165. ISBN 978-9897581700

Vallati, Mauro, Magazzeni, Daniele, De Schutter, Bart, Chrpa, Lukáš and McCluskey, T.L. (2016) Efficient Macroscopic Urban Traffic Models for Reducing Congestion: a PDDL+ Planning Approach. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). AAAI Press, Phoenix, Arizona USA, pp. 3188-3194.

Dinapoli, Nicola, Alitto, Anna Rita, Vallati, Mauro, Autorino, Rosa, Gatta, Roberto, Boldrini, Luca, Damiani, Andrea, Martini, Giovanna and Valentini, Vincenzo (2016) RadioBio data: a Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy. In: Proceedings of the 9th International Conference on Health Informatics. SCITEpress, pp. 277-281. ISBN 978-989-758-170-0

Rizzini, Mattia, Fawcett, Chris, Vallati, Mauro, Gerevini, Alfonso Emilio and Hoos, Holger (2015) Portfolio Methods for Optimal Planning: an Empirical Analysis. In: Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence. IEEE Computer Society, pp. 494-501.

Jilani, Rabia, Crampton, Andrew, Kitchin, Diane E. and Vallati, Mauro (2015) ASCoL: a Tool for Improving Automatic Planning Domain Model Acquisition. In: AI*IA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence. Lecture Notes in Computer Science, 9336 . Springer, pp. 438-451. ISBN 978-3-319-24308-5

Somaraki, Vassiliki, Vallati, Mauro and McCluskey, Lee (2015) Discovering Interesting Trends in Real Medical Data: A study in Diabetic Retinopathy. In: Progress in Artificial Intelligence : 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 Proceedings. Lecture Notes in Computer Science, 9273 . Springer, pp. 134-140. ISBN 978-3-319-23484-7

Gatta, Roberto, Vallati, Mauro, Mazzini, Nicola, Kitchin, Diane E., Gerevini, Alfonso Emilio and Valentini, Vincenzo (2015) On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments. In: Proceedings of the 17th Portuguese Conference on Artificial Intelligence. EPIA 2015, 9273 . Springer, Coimbra, Portugal, pp. 103-109. ISBN 978-3-319-23484-7

Velardo, Valerio and Vallati, Mauro (2015) The Effect of Repetition and Expertise on Liking and Complexity in Contemporary Music. In: Proceedings of the Ninth Triennial Conference of the European Society for the Cognitive Sciences of Music. Royal Northern College of Music, pp. 810-815.

Dinapoli, Nicola, Alitto, Anna Rita, Vallati, Mauro, Gatta, Roberto, Autorino, Rosa, Boldrini, Luca, Damiani, Andrea and Valentini, Vincenzo (2015) Moddicom: a Complete and Easily Accessible Library for Prognostic Evaluations Relying on Image Features. In: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. EMBC . IEEE, pp. 771-774.

Chrpa, Lukáš, Vallati, Mauro and McCluskey, T.L. (2015) On the Online Generation of Effective Macro-operators. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. AAAI Press, pp. 1544-1550. ISBN 9781577357384

Damiani, Andrea, Vallati, Mauro, Gatta, Roberto, Dinapoli, Nicola, Jochems, Arthur, Deist, Timo, van Soest, Johan, Dekker, Andre and Valentini, Vincenzo (2015) Distributed Learning to Protect Privacy in Multi-centric Clinical Studies. In: The 15th Conference on Artificial Intelligence in Medicine. Springer, Pavia, Italy, pp. 65-75. ISBN 9783319195513

Vallati, Mauro, Serina, Ivan, Saetti, Alessandro and Gerevini, Alfonso Emilio (2015) Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling. AAAI press, pp. 239-243. ISBN 9781577357315

Velardo, Valerio and Vallati, Mauro (2015) A Planning-based Approach for Music Composition. In: Proceedings of the 11th International Symposium on Computer Music Multidisciplinary Research. CMMR 2015 . Springer, Plymouth, UK, pp. 778-790. ISBN 978-2-909669-24-3

Velardo, Valerio and Vallati, Mauro (2015) On the Stylistic Evolution of a Society of Virtual Melody Composers. In: Evolutionary and Biologically Inspired Music, Sound, Art and Design: 4th International Conference, EvoMUSART 2015. Springer, pp. 249-260. ISBN 9783319164977

Cerutti, Federico, Tachmazidis, Ilias, Vallati, Mauro, Batsakis, Sotiris, Giacomin, Massimiliano and Antoniou, Grigoris (2015) Exploiting Parallelism for Hard Problems in Abstract Argumentation. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence. AAAI Press, pp. 1475-1481. ISBN 978-1-57735-698-1

Velardo, Valerio and Vallati, Mauro (2014) Automatic Melody Composition and Evolution: A Cognitive-Based Approach. In: Proceedings of the Conference on Interdisciplinary Musicology. CIM14 . CIM, Berlin, Germany.

Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro (2014) Algorithm selection for preferred extensions enumeration. In: Computational Models of Argument : Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, 266 . IOS Press, pp. 221-232. ISBN 978-1-61499-435-0

Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro (2014) ArgSemSAT : Solving argumentation problems using SAT. In: Computational Models of Argument : Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, 266 . IOS Press, pp. 455-456. ISBN 978-1-61499-435-0

Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro (2014) Generating challenging benchmark AFs. In: Computational Models of Argument : Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, 266 . IOS Press, pp. 457-458. ISBN 978-1-61499-435-0

Cerutti, Federico, Oren, Nir, Strass, Hannes, Thimm, Matthias and Vallati, Mauro (2014) A benchmark framework for a computational argumentation competition. In: Computational Models of Argument : Proceedings of COMMA 2014. Frontiers in Artificial Intelligence and Applications, 266 . IOS Press, pp. 459-460. ISBN 978-1-61499-435-0

Gatta, Roberto, Vallati, Mauro, De Bari, Berardino, Pasinetti, Nadia, Cappelli, Carlo, Pirola, Ilenia, Salvetti, Massimo, Buglione, Michela, Muiesan, Maria L., Magrini, Stefano and Castellano, Maurizio (2014) Information Retrieval in Medicine: an Extensive Experimental Study. In: Proceedings of the 7th International Conference on Health Informatic. SciTePress, Angers, France. ISBN 978-989-758-010-9

Cerutti, Federico, Dunne, Paul, Giacomin, Massimiliano and Vallati, Mauro (2014) Computing preferred extensions in abstract argumentation : a SAT based approach. In: 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA 13). Lecture Notes in Computer Science . Springer, Beijing, China, pp. 176-193. ISBN 9783642543722

Chrpa, Lukáš, Vallati, Mauro and Osborne, Hugh (2013) Learnability of Specific Structural Patterns of Planning Problems. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013). Institute of Electrical and Electronics Engineers ( IEEE ), pp. 18-23. ISBN 9781479929719

Vallati, Mauro, Chrpa, Lukáš and Crampton, Andrew (2013) Underestimation vs Overestimation in SAT-based Planning. In: Proceedings of the XIII Conference of the Italian Association for Artificial Intelligence (Ai*iA-13). Lecture Notes in Computer Science, 8249 . Springer, Turin, Italy, pp. 276-287. ISBN 978-3-319-03524-6

Jimoh, Falilat, Chrpa, Lukáš and Vallati, Mauro (2013) Autonomic System Architecture: An Automated Planning Perspective. In: Artificial Intelligence Applications and Innovations 2013. IFIP Advances in Information and Communication Technology, 412 (121). Springer, Pahpos, Cyprus, pp. 121-130. ISBN 9783642411410

Chrpa, Lukas, Vallati, Mauro and McCluskey, T.L. (2013) Determining Linearity of Optimal Plans by Operator Schema Analysis. In: Proceedings of the Tenth Symposium on Abstraction, Reformulation and Approximation. SARA (2013). AAAI Press, Leavenworth, Washington, USA, pp. 34-41. ISBN 978-1-57735-630-1

Vallati, Mauro, De Bari, Berardino, Gatta, Roberto, Buglione, Michela, Magrini, Stefano, Jereczek-Fossa, Barbara and Bertoni, Filippo (2013) Exploiting Machine Learning for Predicting Nodal Status in Prostate Cancer Patients. In: Artificial Intelligence Applications and Innovations 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 – October 2, 2013, Proceedings. AIAI 2013 . Springer, Paphos, Cyprus, pp. 61-70. ISBN 978-3-642-41141-0

Vallati, Mauro, Gatta, Roberto, De Bari, Berardino and Magrini, Stefano (2013) Clinical Similarities: an innovative approach for supporting Medical Decisions. In: Proceedings MEDINFO 13. Studies in Health Technology and Informatics, 192 . IOS Press, p. 1114. ISBN 9781614992882

Shah, Mohammad Munshi Shahin, Chrpa, Lukáš, Kitchin, Diane E., McCluskey, T.L. and Vallati, Mauro (2013) Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. IJCAI 3-9 August 2013 . AAAI Press / International Joint Conferences on Artificial Intelligence, Beijing, China, pp. 2373-2379. ISBN 978-1-57735-633-2

Chrpa, Lukas, Vallati, Mauro, Kitchin, Diane E. and McCluskey, Thomas Leo (2013) Generating Macro-operators by Exploiting Inner Entanglements. In: Proceedings / The Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA 2013). AAAI Press, Palo Alto, Calif. ISBN 9781577356301

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso Emilio, Hoos, Holger and Saetti, Alessandro (2013) Automatic Generation of Efficient Domain-Specific Planners from Generic Parametrized Planners. In: Proceedings of The Sixth International Symposium on Combinatorial Search (SoCS 2013). AAAI Press, California, USA, pp. 184-192.

Vallati, Mauro (2012) A Guide to Portfolio-based Planning. In: Proceedings of The 6th Multi-disciplinary International Workshop on Artificial Intelligence: AI for Climate Change. Springer, pp. 57-68. ISBN 9783642354540

Gerevini, Alfonso Emilio, Saetti, Alessandro and Vallati, Mauro (2011) Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability. In: AI*IA 2011: Artificial Intelligence Around Man and Beyond. Lecture Notes in Computer Science, 6934 . Springer, London, UK, pp. 189-200. ISBN 978-3-642-23953-3

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2009) An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP. In: Proceedings of the 19th International Conference on Automated Planning and Scheduling. AAAI, Thessaloniki, Greece.

Conference or Workshop Item

Vallati, Mauro and Serina, Ivan (2018) A general approach for configuring PDDL problem models. In: The 28th International Conference on Automated Planning and Scheduling, 24th-29th June 2018, Delft, The Netherlands.

McCluskey, T.L., Vaquero, Tiago and Vallati, Mauro (2017) Engineering Knowledge for Automated Planning: Towards a Notion of Quality. In: K-CAP 2017, 4-6 December 2017, Austin, Texas.

Chrpa, Lukáš and Vallati, Mauro (2016) On the Exploitation of Automated Planning for Efficient Decision Making in Road Traffic Accident Management. In: 55th IEEE Conference on Decision and Control, 12-14 December 2016, Las Vegas, USA.

Parkinson, Simon, Vallati, Mauro, Chrpa, Lukáš, Longstaff, Andrew P. and Fletcher, Simon (2016) Planning Machine Activity Between Manufacturing Operations: Maintaining Accuracy While Reducing Energy Consumption. In: 10th Scheduling and Planning Applications woRKshop (SPARK), 14th June 2016, Kings College, London. (Unpublished)

McCluskey, T.L., Vaquero, Tiago and Vallati, Mauro (2016) Issues in Planning Domain Model Engineering. In: PlanSIG 2015/16, 18th - 19th February 2016, University of Strathclyde, Glasgow. (Submitted)

Vallati, Mauro, Hutter, Frank, Chrpa, Lukáš and McCluskey, T.L. (2015) On the Effective Configuration of Planning Domain Models. In: International Joint Conference on Artificial Intelligence, 25th - 31st July, 2015, Argentina.

Fuentetaja, Raquel, Chrpa, Lukáš, McCluskey, T.L. and Vallati, Mauro (2015) Exploring the Synergy between two Modular Learning Techniques for Automated Planning. In: Symposium on Combinatorial Search (SoCS 2015), 11th-13th June 2015, Ein Gedi, The Dead Sea, Israel. (Unpublished)

Chrpa, Lukáš, Scala, Enrico and Vallati, Mauro (2015) Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements. In: Symposium on Combinatorial Search (SoCS 2015), 11th-13th June 2015, Ein Gedi, The Dead Sea, Israel. (Unpublished)

Vallati, Mauro and Vaquero, Tiago (2015) Towards a Protocol for Benchmark Selection in IPC. In: Workshop on the International Planning Competition, 8th June 2015, Jerusalem, Israel. (Unpublished)

Jilani, Rabia, Crampton, Andrew, Kitchin, Diane E. and Vallati, Mauro (2014) ASCoL: Automated Acquisition of Domain Specific Static Constraints from Plan Traces. In: The UK Planning and Scheduling Special Interest Group (UK PlanSIG) 2014, 15th December 2014, Teeside, UK.

Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro (2014) ArgSemSAT: Solving Argumentation Problems Using SAT. In: 5th International Conference on Computational Models of Argument, 9th-12th September 2014, Pitlochry, Scotland. (Unpublished)

Cerutti, Federico, Oren, Nir, Strass, Hannes, Thimm, Matthias and Vallati, Mauro (2014) A Benchmark Framework for a Computational Argumentation Competition. In: 5th International Conference on Computational Models of Argument, 9th-12th September 2014, Pitlochry, Scotland. (Unpublished)

Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro (2014) Generating Challenging Benchmark AFs. In: 5th International Conference on Computational Models of Argument, 9th-12th September 2014, Pitlochry, Scotland. (Unpublished)

Cerutti, Federico, Giacomin, Massimiliano and Vallati, Mauro (2014) Algorithm Selection for Preferred Extensions Enumeration. In: 5th International Conference on Computational Models of Argument, 9th-12th September 2014, Pitlochry, Scotland. (Unpublished)

Velardo, Valerio and Vallati, Mauro (2014) GenoMeMeMusic: a Memetic-based Framework for Discovering the Musical Genome. In: The 40th International Computer Music Conference, 14-20th September 2014, Athens, Greece. (Unpublished)

Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2014) Argumentation Frameworks Features: an Initial Study. In: European Conference on Artificial Intelligence (ECAI), 18th-22nd August 2014, Prague, Czech Republic. (Unpublished)

Chrpa, Lukáš, Vallati, Mauro and McCluskey, T.L. (2014) MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use. In: The 24th International Conference on Automated Planning and Scheduling (ICAPS), 21st-26th June 2014, Portsmouth, USA. (Unpublished)

Jilani, Rabia, Crampton, Andrew, Kitchin, Diane E. and Vallati, Mauro (2014) Automated Knowledge Engineering Tools in Planning: State-of-the-art and Future Challenges. In: Knowledge Engineering for Planning and Scheduling (KEPS) - part of ICAPS 2014, 21-26 June 2014, Portsmouth, NH, USA. (Unpublished)

Cenamor, Isabel, Chrpa, Lukáš, Jimoh, Falilat, McCluskey, T.L. and Vallati, Mauro (2014) Planning & Scheduling Applications in Urban Traffic Management. In: The UK Planning and Scheduling Special Interest Group (UK PlanSIG) 2014, 15th December 2014, Teeside, UK.

Fawcett, Chris, Vallati, Mauro, Hutter, Frank, Hoffmann, Jörg, Hoos, Holger and Leyton-Brown, Kevin (2014) Improved Features for Runtime Prediction of Domain-Independent Planners. In: The 24th International Conference on Automated Planning and Scheduling (ICAPS), 21st - 26th June 2014, Portsmouth, USA.

Cerutti, Federico, Giacomin, Massimiliano, Vallati, Mauro and Zanella, Marina (2014) A SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. In: 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), 20th - 24th July 2014, Vienna, Austria.

Vallati, Mauro, Chrpa, Lukáš and Cerutti, Federico (2013) Towards Automated Planning Domain Models Generation. In: The 5th Italian Workshop on Planning and Scheduling, 4th December 2013, Turin, Italy.

Vallati, Mauro, Chrpa, Lukáš and Kitchin, Diane (2013) An Automatic Algorithm Selection Approach for Planning. In: IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - 2013, November 4th - 6th 2013, Washington DC, USA. (Unpublished)

Chrpa, Lukáš and Vallati, Mauro (2013) Revisiting Inner Entanglements in Classical Planning. In: Scandinavian Conference on Artificial Intelligence, 20-22 November 2013, Aalborg, Denmark. (Unpublished)

Vallati, Mauro and Kitchin, Diane E. (2012) Challenges of Portfolio-based Planning. In: 30th Workshop of the UK Planning and Scheduling Special Interest Group, 13-14 December 2012, University of Teesside.

Cerutti, Federico and Vallati, Mauro (2012) On Practical Reasoning and Automated Planning. In: 30th Workshop of the UK Planning and Scheduling Special Interest Group, 13-14 December 2012, University of Teesside.

De Bari, Berardino, Vallati, Mauro, Gatta, Roberto, Pasinetti, Nicola, Girelli, Giuseppe, Munoz, Fernando, Livi, Lorenzo, Bellavita, Rita, Krengli, Marco, Cagna, Emanuela, Bunkheila, Feisal, Signor, Marco and Magrini, Stefano (2012) An innovative method to predict Nodal (N) status using an Artificial Intelligence approach in the low risk prostate cancer patients (pts): beyond the Roach formula? In: 22nd Congress of the Italian Association for Radiation Oncology (AIRO), 17th - 20th November 2012, Rome, Italy. (Submitted)

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2012) Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability. In: 19th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 14th - 15th June 2012, Rome, Italy.

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso, Hoos, Holger and Saetti, Alessandro (2011) Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners. In: 18th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 17th - 18th July 2011, Barcelona, Spain. (Unpublished)

Vallati, Mauro (2011) Configuration and Learning Techniques for Efficient Automated Planning System. In: Doctoral Consortium of 21st International Conference on Automated Planning & Scheduling, 11th - 16th June 2011, Freiburg, Germany. (Unpublished)

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso, Hoos, Holger and Saetti, Alessandro (2011) Generating Domain-Specific Planners through Automatic Parameter Configuration in LPG. In: 7th International Planning Competition 2011, 11th-16th June 2011, Freiburg, Germany,.

Vallati, Mauro, Fawcett, Chris, Gerevini, Alfonso, Hoos, Holger and Saetti, Alessandro (2011) Generating Fast Domain-Specific Planners by Automatically Configuring a Generic Parameterised Planner. In: Workshop on Planning and Learning: ICAPS 2011, 13th June 2011, Freiburg, Germany.

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2011) PbP2: Automatic Configuration of a Portfolio-based Multi-Planner. In: 7th International Planning Competition, 11-16 June 2011, Freiburg, Germany. (Unpublished)

Vallati, Mauro (2010) Combining macros and SAT planning. In: Doctoral Consortium of the 11th Italian Association of Artificial Intelligence, 1st - 3rd December 2010, Brescia, Italy.

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2010) Optimal SAT-based Planning with Macro-actions and Learned Horizons. In: The 28th Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG), 1st - 3rd December 2010, Brescia, Italy.

Vallati, Mauro (2010) MacroSatPlan: Combining macro and SAT planning. In: Doctoral Consortium of 20th International Conference on Automated Planning & Scheduling, 12th-16th May 2010, Toronto, Canada.

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2009) Learning and Exploiting Configuration Knowledge for a Portfolio-based Planner. In: 19th International Conference on Automated Planning and Scheduling (ICAPS-09) - Workshop on Planning and Learning (PAL), 19th-23rd September 2009, Thessaloniki, Greece,.

Thesis

Vallati, Mauro (2012) Efficient Automated Planning through Automatic Algorithm Configuration and Machine Learning. Doctoral thesis, University of Brescia.

Other

Gerevini, Alfonso, Saetti, Alessandro and Vallati, Mauro (2012) PbP2: Portfolio-based Planner. University of Brescia, Brescia, Italy.