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
Number of items: 43.

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)

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)

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)

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)

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)

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

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)

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)

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: 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)

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

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)

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) 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 Thu Jul 24 15:36:11 2014 IST.

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