Portrait of Dr Mauro Vallati Dr Mauro Vallati

View research degree topics that Dr Mauro Vallati might supervise

m.vallati@hud.ac.uk | 01484 472122


  0000-0002-8429-3570  

  mauro-vallati-b0371043  


Biography

I received my PhD in March 2012 from the University of Brescia, Italy. My supervisor was Alfonso Gerevini, co-supervisor Alessandro Saetti. I worked at the planning group of the University of Brescia, as a postdoctoral research fellow, till September 2012. In October 2012 I joined the PARK research group at the University of Huddersfield, as a research fellow in areas of automated planning.

For details see my homepage at: http://maurovallati.blogspot.co.uk

Research and Scholarship

My main research interest is in Artificial Intelligence Planning. In particular I work on domain-independent planning, SAT-based planning, machine learning, portfolio approaches, heuristic search, genetic algorithms, automatic algorithm configuration. I am also interested in the field of innovative applications of AI in medicine and, recently, in computational creativity.

Publications and Other Research Outputs

Article

Vallati, M., Cerutti, F. and Giacomin, M. (2017) ‘Predictive Models and Abstract Argumentation: the case of High-Complexity SemanticsThe Knowledge Engineering Review . ISSN 0269-8889

Cerutti, F., Vallati, M. and Giacomin, M. (2017) ‘On the Impact of Configuration on Abstract Argumentation Automated ReasoningInternational Journal of Approximate Reasoning . ISSN 0888-613X

Vallati, M., Chrpa, L. and McCluskey, T. (2017) ‘What You Always Wanted to Know about the Deterministic Part of IPC 2014 (But Were too Afraid to Ask)The Knowledge Engineering Review . ISSN 0269-8889

Cerutti, F., Vallati, M. and Giacomin, M. (2017) ‘An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSATInternational Journal on Artificial Intelligence Tools , 26 (2). ISSN 0218-2130

Chrpa, L., McCluskey, T., Vallati, M. and Vaquero, T. (2017) ‘The Fifth International Competition on Knowledge Engineering for Planning and Scheduling: Summary and TrendsAI Magazine , 38 (1), pp. 104-106. ISSN 0738-4602

Rizzini, M., Fawcett, C., Vallati, M., Gerevini, A. and Hoos, H. (2017) ‘Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical AnalysisInternational Journal on Artificial Intelligence Tools , 26 (1). ISSN 0218-2130

Vallati, M., Serina, I., Saetti, A. and Gerevini, A. (2016) ‘Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based PlanningFundamenta Informaticae , 149 (1-2), pp. 209-240. ISSN 0169-2968

Velardo, V., Vallati, M. and Jan, S. (2016) ‘Symbolic Melodic Similarity: State of the Art and Future ChallengesComputer Music Journal , 40 (2), pp. 70-83. ISSN 0148-9267

Thimm, M., Villata, S., Cerutti, F., Oren, N., Strass, H. and Vallati, M. (2016) ‘Summary Report of The First International Competition on Computational Models of ArgumentationAI Magazine , 37 (1), pp. 102-104. ISSN 0738-4602

Chrpa, L., Magazzeni, D., McCabe, K., McCluskey, T. and Vallati, M. (2016) ‘Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality LimitationsIntelligenza Artificiale , 10 (2), pp. 113-128. ISSN 1724-8035

Vallati, M., Chrpa, L. and Kitchin, D. (2015) ‘Portfolio-based Planning: State of the Art, Common Practice and Open ChallengesAI Communications , 28 (4), pp. 717-733. ISSN 0921-7126

Vallati, M., Chrpa, L., Grzes, M., McCluskey, T., Roberts, M. and Sanner, S. (2015) ‘The 2014 International Planning Competition: Progress and TrendsAI Magazine , 36 (3), pp. 90-98. ISSN 0738-4602

Gerevini, A., Saetti, A. and Vallati, M. (2015) ‘Exploiting Macro-actions and Predicting Plan Length in Planning as SatisfiabilityAI Communications , 28 (2), pp. 323-344. ISSN 0921-7126

Vallati, M., Chrpa, L. and Kitchin, D. (2014) ‘ASAP: An Automatic Algorithm Selection Approach for PlanningInternational Journal on Artificial Intelligence Tools , 23 (6), p. 1460032. ISSN 0218-2130

Gerevini, A., Saetti, A. and Vallati, M. (2014) ‘Planning through Automatic Portfolio Configuration: The PbP ApproachJournal of Artificial Intelligence Research , 50, pp. 639-696. ISSN 1076 - 9757

Book Section

Vallati, M., Chrpa, L. and Serina, I. (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. : Springer. .

Gatta, R., Vallati, M., Lenkowicz, J., Rojas, E., Damiani, A., Sacchi, L., De Bari, B., Dagliati, A., Fernandez-Llatas, C., Montesi, M., Marchetti, A., Castellano, M. and Valentini, V. (2017) ‘Generating and Comparing Knowledge Graphs of Medical Processes Using pMineR’. In: Proceedings of the 2017 Conference on Knowledge Capture (K-CAP). : ACM. .

McCluskey, T., Vallati, M. and Franco, S. (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, M., Cerutti, F. and Giacomin, M. (2017) ‘On the combination of argumentation solvers into parallel portfolios’. In: AI 2017 Advances in Artificial Intelligence. : Springer. pp. 315-327. ISBN 9783319630038

Capitanelli, A., Maratea, M., Matrogiovanni, F. and Vallati, M. (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). : Springer. .

Vallati, M., Chrpa, L. and McCluskey, T. (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, I., Batsakis, S., Davies, J., Duke, A., Vallati, M., Antoniou, G. and Stincic Clarke, S. (2017) ‘A Hypercat-enabled Semantic Internet of Things Data Hub’. In: Proceedings of ESWC 2017: The Semantic Web. : Springer. pp. 125-137. ISBN 978-3-319-58451-5

Gatta, R., Lenkowicz, J., Vallati, M., Rojas, E., Damiani, A., Sacchi, L., De Bari, B., Dagliati, A., Fernandez-Llatas, C., Montesi, M., Marchetti, A., Castellano, M. and Valentini, V. (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, S., Qin, Y., Khan, S. and Vallati, M. (2017) ‘Security Auditing in the Fog’. In: Proceedings of the Second International Conference on Internet of Things : Data and Cloud Computing (ICC 2017). : ACM. . ISBN 978-1-4503-4774-7

Parkinson, S., Longstaff, A., Fletcher, S., Vallati, M. and Chrpa, L. (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 Arti?cial Intelligence AAAI. pp. 400-408.

McCluskey, T. and Vallati, M. (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.

Cerutti, F., Vallati, M. and Giacomin, M. (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. : IOS Press. pp. 207-218. ISBN 978-1614996859

Cerutti, F., Vallati, M. and Giacomin, M. (2016) ‘On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning’. In: Computational Models of Argument : Proceedings of COMMA 2016. : IOS Press. pp. 199-206. ISBN 978-1614996859

Faber, W., Vallati, M., Cerutti, F. and Giacomin, M. (2016) ‘Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation’. In: 22nd European Conference on Artificial Intelligence (ECAI2016). : IOS Press. pp. 966-973. ISBN 978-1-61499-671-2

Cerutti, F., Vallati, M. and Giacomin, M. (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, R., Vallati, M., Cappelli, C., De Bari, B., Salvetti, M., Finardi, S., Muiesan, M., Valentini, V. and Castellano, M. (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, M., Magazzeni, D., De Schutter, B., Chrpa, L. and McCluskey, T. (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). Phoenix, Arizona USA: AAAI Press. pp. 3188-3194.

Dinapoli, N., Alitto, A., Vallati, M., Autorino, R., Gatta, R., Boldrini, L., Damiani, A., Martini, G. and Valentini, V. (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, M., Fawcett, C., Vallati, M., Gerevini, A. and Hoos, H. (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.

Gatta, R., Vallati, M., Mazzini, N., Kitchin, D., Gerevini, A. and Valentini, V. (2015) ‘On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments’. In: Proceedings of the 17th Portuguese Conference on Artificial Intelligence. Coimbra, Portugal: Springer. pp. 103-109. ISBN 978-3-319-23484-7

Jilani, R., Crampton, A., Kitchin, D. and Vallati, M. (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. : Springer. pp. 438-451. ISBN 978-3-319-24308-5

Somaraki, V., Vallati, M. and McCluskey, L. (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. : Springer. pp. 134-140. ISBN 978-3-319-23484-7

Dinapoli, N., Alitto, A., Vallati, M., Gatta, R., Autorino, R., Boldrini, L., Damiani, A. and Valentini, V. (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. : IEEE. pp. 771-774.

Velardo, V. and Vallati, M. (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.

Chrpa, L., Vallati, M. and McCluskey, T. (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, A., Vallati, M., Gatta, R., Dinapoli, N., Jochems, A., Deist, T., van Soest, J., Dekker, A. and Valentini, V. (2015) ‘Distributed Learning to Protect Privacy in Multi-centric Clinical Studies’. In: The 15th Conference on Artificial Intelligence in Medicine. Pavia, Italy: Springer. pp. 65-75. ISBN 9783319195513

Vallati, M., Serina, I., Saetti, A. and Gerevini, A. (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, V. and Vallati, M. (2015) ‘A Planning-based Approach for Music Composition’. In: Proceedings of the 11th International Symposium on Computer Music Multidisciplinary Research. Plymouth, UK: Springer. pp. 778-790. ISBN 978-2-909669-24-3

Velardo, V. and Vallati, M. (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, F., Tachmazidis, I., Vallati, M., Batsakis, S., Giacomin, M. and Antoniou, G. (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, V. and Vallati, M. (2014) ‘Automatic Melody Composition and Evolution: A Cognitive-Based Approach’. In: Proceedings of the Conference on Interdisciplinary Musicology. Berlin, Germany: CIM. .

Cerutti, F., Giacomin, M. and Vallati, M. (2014) ‘Generating challenging benchmark AFs’. In: Computational Models of Argument : Proceedings of COMMA 2014. : IOS Press. pp. 457-458. ISBN 978-1-61499-435-0

Cerutti, F., Giacomin, M. and Vallati, M. (2014) ‘ArgSemSAT : Solving argumentation problems using SAT’. In: Computational Models of Argument : Proceedings of COMMA 2014. : IOS Press. pp. 455-456. ISBN 978-1-61499-435-0

Cerutti, F., Oren, N., Strass, H., Thimm, M. and Vallati, M. (2014) ‘A benchmark framework for a computational argumentation competition’. In: Computational Models of Argument : Proceedings of COMMA 2014. : IOS Press. pp. 459-460. ISBN 978-1-61499-435-0

Cerutti, F., Giacomin, M. and Vallati, M. (2014) ‘Algorithm selection for preferred extensions enumeration’. In: Computational Models of Argument : Proceedings of COMMA 2014. : IOS Press. pp. 221-232. ISBN 978-1-61499-435-0

Gatta, R., Vallati, M., De Bari, B., Pasinetti, N., Cappelli, C., Pirola, I., Salvetti, M., Buglione, M., Muiesan, M., Magrini, S. and Castellano, M. (2014) ‘Information Retrieval in Medicine: an Extensive Experimental Study’. In: Proceedings of the 7th International Conference on Health Informatic. Angers, France: SciTePress. . ISBN 978-989-758-010-9

Cerutti, F., Dunne, P., Giacomin, M. and Vallati, M. (2014) ‘Computing preferred extensions in abstract argumentation : a SAT based approach’. In: 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA 13). Beijing, China: Springer. pp. 176-193. ISBN 9783642543722

Vallati, M., Chrpa, L. and Crampton, A. (2013) ‘Underestimation vs Overestimation in SAT-based Planning’. In: Proceedings of the XIII Conference of the Italian Association for Artificial Intelligence (Ai*iA-13). Turin, Italy: Springer. pp. 276-287. ISBN 978-3-319-03524-6

Chrpa, L., Vallati, M. and Osborne, H. (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

Jimoh, F., Chrpa, L. and Vallati, M. (2013) ‘Autonomic System Architecture: An Automated Planning Perspective’. In: Artificial Intelligence Applications and Innovations 2013. Pahpos, Cyprus: Springer. pp. 121-130. ISBN 9783642411410

Vallati, M., De Bari, B., Gatta, R., Buglione, M., Magrini, S., Jereczek-Fossa, B. and Bertoni, F. (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. Paphos, Cyprus: Springer. pp. 61-70. ISBN 978-3-642-41141-0

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

Shah, M., Chrpa, L., Kitchin, D., McCluskey, T. and Vallati, M. (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. Beijing, China: AAAI Press / International Joint Conferences on Artificial Intelligence. pp. 2373-2379. ISBN 978-1-57735-633-2

Vallati, M., Gatta, R., De Bari, B. and Magrini, S. (2013) ‘Clinical Similarities: an innovative approach for supporting Medical Decisions’. In: Proceedings MEDINFO 13. : IOS Press. pp. 1114-1114. ISBN 9781614992882

Chrpa, L., Vallati, M., Kitchin, D. and McCluskey, T. (2013) ‘Generating Macro-operators by Exploiting Inner Entanglements’. In: Proceedings / The Tenth Symposium on Abstraction, Reformulation, and Approximation (SARA 2013). Palo Alto, Calif: AAAI Press. . ISBN 9781577356301

Vallati, M., Fawcett, C., Gerevini, A., Hoos, H. and Saetti, A. (2013) ‘Automatic Generation of Efficient Domain-Specific Planners from Generic Parametrized Planners’. In: Proceedings of The Sixth International Symposium on Combinatorial Search (SoCS 2013). California, USA: AAAI Press. pp. 184-192.

Vallati, M (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, A., Saetti, A. and Vallati, M. (2011) ‘Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability’. In: AI*IA 2011: Artificial Intelligence Around Man and Beyond. London, UK: Springer. pp. 189-200. ISBN 978-3-642-23953-3

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

Conference Item

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

Chrpa, L. and Vallati, M. (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, S., Vallati, M., Chrpa, L., Longstaff, A. and Fletcher, S. (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

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

Vallati, M., Hutter, F., Chrpa, L. and McCluskey, T. (2015) ‘On the Effective Configuration of Planning Domain Models’. In: International Joint Conference on Artificial Intelligence, 25th - 31st July, 2015, Argentina

Chrpa, L., Scala, E. and Vallati, M. (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

Fuentetaja, R., Chrpa, L., McCluskey, T. and Vallati, M. (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

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

Jilani, R., Crampton, A., Kitchin, D. and Vallati, M. (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, F., Oren, N., Strass, H., Thimm, M. and Vallati, M. (2014) ‘A Benchmark Framework for a Computational Argumentation Competition’. In: 5th International Conference on Computational Models of Argument, 9th-12th September 2014, Pitlochry, Scotland

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

Cerutti, F., Giacomin, M. and Vallati, M. (2014) ‘Generating Challenging Benchmark AFs’. In: 5th International Conference on Computational Models of Argument, 9th-12th September 2014, Pitlochry, Scotland

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

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

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

Chrpa, L., Vallati, M. and McCluskey, T. (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

Jilani, R., Crampton, A., Kitchin, D. and Vallati, M. (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

Cenamor, I., Chrpa, L., Jimoh, F., McCluskey, T. and Vallati, M. (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

Cerutti, F., Giacomin, M., Vallati, M. and Zanella, M. (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

Fawcett, C., Vallati, M., Hutter, F., Hoffmann, J., Hoos, H. and Leyton-Brown, K. (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

Vallati, M., Chrpa, L. and Cerutti, F. (2013) ‘Towards Automated Planning Domain Models Generation’. In: The 5th Italian Workshop on Planning and Scheduling, 4th December 2013, Turin, Italy

Chrpa, L. and Vallati, M. (2013) ‘Revisiting Inner Entanglements in Classical Planning’. In: Scandinavian Conference on Artificial Intelligence, 20-22 November 2013, Aalborg, Denmark

Vallati, M., Chrpa, L. and Kitchin, D. (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

Cerutti, F. and Vallati, M. (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

Vallati, M. and Kitchin, D. (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 , pp. 1-4

De Bari, B., Vallati, M., Gatta, R., Pasinetti, N., Girelli, G., Munoz, F., Livi, L., Bellavita, R., Krengli, M., Cagna, E., Bunkheila, F., Signor, M. and Magrini, S. (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

Gerevini, A., Saetti, A. and Vallati, M. (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, M., Fawcett, C., Gerevini, A., Hoos, H. and Saetti, A. (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

Vallati, M., Fawcett, C., Gerevini, A., Hoos, H. and Saetti, A. (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

Vallati, M (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

Vallati, M., Fawcett, C., Gerevini, A., Hoos, H. and Saetti, A. (2011) ‘Generating Domain-Specific Planners through Automatic Parameter Configuration in LPG’. In: 7th International Planning Competition 2011, 11th-16th June 2011, Freiburg, Germany,

Gerevini, A., Saetti, A. and Vallati, M. (2011) ‘PbP2: Automatic Configuration of a Portfolio-based Multi-Planner’. In: 7th International Planning Competition, 11-16 June 2011, Freiburg, Germany

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

Gerevini, A., Saetti, A. and Vallati, M. (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, M (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, A., Saetti, A. and Vallati, M. (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,

Other

Gerevini, A., Saetti, A. and Vallati, M.(2012) PbP2: Portfolio-based Planner. Brescia, Italy: University of Brescia .

Thesis

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

Esteem

Research Degree Supervision

Teaching and Professional Activities

Mauro is serving as teaching assistant at the University of Huddersfield for the course “Software Design and Development” (CFS2160) in 2015/16 session