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

Items where Author is Vallati, Mauro

Up a level
Export as [feed] RSS
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009
Number of items: 34.

2014

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)

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)

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)

2013

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áš, Vallati, Mauro and Osborne, Hugh (2013) Learnability of Specific Structural Patterns of Planning Problems. In: International Conference on Tools with Artificial Intelligence, 4th - 6th November 2013, Washington DC, USA. (In Press)

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: Medinfo 2013, 20th-23rd August 2013, Copenhagen, Denmark. (In Press)

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: 10th Symposiium on Abstraction, Reformulation and Approximation (SARA 13), 11th-12th July 2013, Leavenworth, Washington, USA. (In Press)

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.

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)

Cerutti, Federico, Dunne, Paul, Giacomin, Massimiliano and Vallati, Mauro (2013) A SAT-based Approach for Computing Extensions in Abstract Argumentation. In: 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA 13). Lecture Notes in Computer Science . Springer, Beijing, China. (In Press)

2012

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

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.

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

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

2011

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

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)

2010

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.

2009

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

This list was generated on Wed Apr 16 17:07:39 2014 IST.

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