Search:
Computing and Library Services - delivering an inspiring information environment

Items where Author is Vallati, Mauro

Up a level
Export as [feed] RSS
Group by: Date | Creators | Item Type | Uncontrolled Keywords | No Grouping
Jump to: C | D | F | G | J | S | V
Number of items: 62.

C

Chrpa, Lukáš, Vallati, Mauro and McCluskey, T.L. (2015) On the Online Generation of Effective Macro-operators. In: International Joint Conference on Artificial Intelligence (IJCAI) 2015, 25th - 31st July, 2015, Buenos Aires, Argentina. (In Press)

Cerutti, Federico, Tachmazidis, Ilias, Vallati, Mauro, Batsakis, Sotiris, Giacomin, Massimiliano and Antoniou, Grigoris (2015) Exploiting Parallelism for Hard Problems in Abstract Argumentation. Proceedings of The Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15) . (In Press)

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. (In Press)

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. (In Press)

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. (In Press)

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. (In Press)

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. (In Press)

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. (In Press)

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

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.

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. (In Press)

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

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)

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

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

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.

D

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: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. EMBC (2014). IEEE. (In Press)

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. (In Press)

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)

F

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. (In Press)

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. (In Press)

G

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 . Springer, Coimbra, Portugal. (In Press)

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

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. (In Press)

Gerevini, Alfonso Emilio, Saetti, Alessandro and Vallati, Mauro (2014) Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability. AI Communications. ISSN 0921-7126 (In Press)

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.

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

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 (2011) PbP2: Automatic Configuration of a Portfolio-based Multi-Planner. In: 7th International Planning Competition, 11-16 June 2011, Freiburg, Germany . (Unpublished)

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.

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.

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,.

J

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.

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)

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

S

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

V

Velardo, Valerio and Vallati, Mauro (2015) The Effect of Repetition and Expertise on Liking and Complexity in Contemporary Music. 9th Triennial Conference of the European Society for the Cognitive Sciences of Music (ESCOM). (In Press)

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.

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. (In Press)

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. (In Press)

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. (In Press)

Velardo, Valerio and Vallati, Mauro (2015) On the Stylistic Evolution of a Society of Virtual Melody Composers. In: The 4th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design, 8th-10th April 2015, Copenhagen, Denmark. (In Press)

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

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

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. (In Press)

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. (In Press)

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)

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

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

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 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.

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

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

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.

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.

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.

This list was generated on Wed Jul 1 16:04:46 2015 IST.

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©