Find Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Mauro Vallati
2020

A General Approach to Exploit Model Predictive Control for Guiding Automated Planning Search in Hybrid Domains

Bhatti, F., Kitchin, D. & Vallati, M., 9 Jan 2020, Artificial Intelligence XXXVI: 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings. Bramer, M. & Petridis, M. (eds.). 1st ed. Cham: Springer Nature Switzerland AG, p. 139-145 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11927 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare

Gatta, R., Vallati, M., Fernandez-Llatas, C., Martinez-Millana, A., Orini, S., Sacchi, L., Lenkowicz, J., Marcos, M., Munoz-Gama, J., Cuendet, M., de Bari, B., Marco-Ruiz, L., Stefanini, A. & Castellano, M., 3 Jan 2020, Business Process Management Workshops: BPM 2019 International Workshops, Vienna, Austria, September 1–6, 2019, Revised Selected Papers. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). 1 ed. Cham: Springer, Vol. 362. p. 545-556 12 p. (Lecture Notes in Business Information Processing; vol. 362 LNBIP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Generating and Exploiting Cost Predictions in Heuristic State-Space Planning

Percassi, F., Gerevini, A. E., Scala, E., Serina, I. & Vallati, M., 20 Jan 2020, (Accepted/In press) Proceedings of The 30th International Conference on Automated Planning and Scheduling (ICAPS) . AAAI press, 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge Engineering Tools and Techniques for AI Planning

Vallati, M. (ed.) & Kitchin, D. (ed.), 2020, (Accepted/In press) 1st ed. Springer Nature Switzerland AG. 277 p.

Research output: Book/ReportBook

Maximising goals achievement through abstract argumentation frameworks: An optimal approach

Cohen, A., Gottifredi, S., Vallati, M., García, A. & Antoniou, G., 1 Mar 2020, In : Expert Systems with Applications. 141, p. 1-12 12 p., 112930.

Research output: Contribution to journalArticle

2019

AI to Facilitate Legal Analysis in the PESTLE Context

Vallati, M. & Grassi, A., Jul 2019, The EMerging Technology conference (EMiT) 2019. Bane, M. K. & Holmes, V. (eds.). IET, p. 66-68 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An ASP-Based Framework for the Manipulation of Articulated Objects using Dual-Arm Robots

Bertolucci, R., Capitanelli, A., Dodaro, C., Leone, N., Maratea, M., Mastrogiovanni, F. & Vallati, M., 13 Jul 2019, Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Balduccini, M., Lierler, Y. & Woltran, S. (eds.). Springer International Publishing AG, Vol. LNAI 11481. p. 32-44 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity

Bertolucci, R., Capitanelli, A., Maratea, M., Mastrogiovanni, F. & Vallati, M., 17 Nov 2019, AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings. Alviano, M., Greco, G. & Scarcello, F. (eds.). 1st ed. Cham: Springer International Publishing AG, Vol. LNAI 11946. p. 135-150 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automated Training Plan Generation For Athletes

ŠkeřÍk, T., Chrpa, L., Faber, W. & Vallati, M., 17 Jan 2019, 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC2018). IEEE, p. 3865-3870 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Open Access
File

Exploiting Automated Planning for Efficient Centralized Vehicle Routing and Mitigating Congestion in Urban Road Networks

Chrpa, L., Vallati, M. & Parkinson, S., 8 Apr 2019, Proceedings of The 34th ACM/SIGAPP Symposium on Applied Computing (SAC-19). Association for Computing Machinery (ACM), p. 191-194 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)

How to Plan Roadworks in Urban Regions? A Principled Approach Based on AI Planning

Vallati, M., Chrpa, L. & Kitchin, D., 13 Aug 2019, Computational Science - ICCS 2019: 19th International Conference, Faro, Portugal, June 12-14, 2019 Proceedings, Part V. Rodriques, J. M. F., Cardoso, P. J. S., Monteiro, J., Lam, R., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). 1st ed. Cham: Springer Verlag, Vol. LNCS11540. p. 453-460 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11540 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

How we designed winning algorithms for abstract argumentation and which insight we attained

Cerutti, F., Giacomin, M. & Vallati, M., 1 Nov 2019, In : Artificial Intelligence. 276, p. 1-40 40 p.

Research output: Contribution to journalArticle

Improving Domain-Independent Planning via Critical Section Macro-Operators

Chrpa, L. & Vallati, M., 17 Jul 2019, Proceedings of The Thirty-Third AAAI Conference on Artificial Intelligence. AAAI press, Vol. 33. p. 7546-7553 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation

Franco Aixela, S., Vallati, M., Lindsay, A. & McCluskey, T., 13 Aug 2019, Computational Science - ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V. Rodrigues, J. M. F., Cardoso, P. J. S., Monteiro, J., Lam, R., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). 1st ed. Cham: Springer Verlag, Vol. LNSC11540. p. 491-498 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Inner entanglements: Narrowing the search in classical planning by problem reformulation

Chrpa, L., Vallati, M. & McCluskey, T., May 2019, In : Computational Intelligence. 35, 2, p. 395-429 35 p.

Research output: Contribution to journalArticle

Open Access
File

MEvo: A framework for effective macro sets evolution

Vallati, M., Chrpa, L. & Serina, I., 30 Sep 2019, In : Journal of Experimental and Theoretical Artificial Intelligence.

Research output: Contribution to journalArticle

On the Configuration of SAT Formulae

Vallati, M. & Maratea, M., 17 Nov 2019, AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings. Alviano, M., Greco, G. & Scarcello, F. (eds.). 1st ed. Cham: Springer Verlag, Vol. LNAI 11946. p. 264-277 14 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the Feasibility of Distributed Process Mining in Healthcare

Gatta, R., Vallati, M., Lenkowicz, J., Masciocchi, C., Cellini, F., Boldrini, L., Fernandez-Llatas, C., Valentini, V. & Damiani, A., 13 Aug 2019, Computational Science - ICCS 2019: 19th International Conference Faro, Portugal, June 12-14, 2019 Proceedings, Part V. Rodrigues, J. M. F., Cardoso, P. J. S., Monteiro, J., Lam, R., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Cham: Springer Verlag, Vol. LNCS 11540. p. 445-452 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11540 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

On the predictability of domain-independent temporal planners

Cenamor, I., Vallati, M. & Chrpa, L., 1 Nov 2019, In : Computational Intelligence. 35, 4, p. 745-773 29 p.

Research output: Contribution to journalArticle

On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge

Vallati, M. & Chrpa, L., 23 Sep 2019, K-CAP 2019: Proceedings of the 10th International Conference on Knowledge Capture. Association for Computing Machinery (ACM), p. 197-204 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Predictive models and abstract argumentation: the case of high-complexity semantics

Vallati, M., Cerutti, F. & Giacomin, M., 2019, In : Knowledge Engineering Review. 34, p. 1-23 23 p., e6.

Research output: Contribution to journalArticle

Open Access

The International Competition on Knowledge Engineering for Planning and Scheduling: Food for Thoughts (and Call to Action)

Vallati, M. & Chrpa, L., 12 May 2019, (Accepted/In press) Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS): ICAPS 2019 Workshop. 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Towards a modular decision support system for radiomics: A case study on rectal cancer

Gatta, R., Vallati, M., Dinapoli, N., Masciocchi, C., Lenkowicz, J., Cusumano, D., Casà, C., Farchione, A., Damiani, A., van Soest, J., Dekker, A. & Valentini, V., May 2019, In : Artificial Intelligence in Medicine. 96, p. 145-153 9 p.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
2018

A Framework for Event Log Generation and Knowledge Representation for Process Mining in Healthcare

Gatta, R., Vallati, M., Lenkowicz, J., Casà, C., Cellini, F., Damiani, A. & Valentini, V., 13 Dec 2018, 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018). IEEE, p. 647-654 8 p. 8576101

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2 Citations (Scopus)

A General Approach for Configuring PDDL Problem Models

Vallati, M. & Serina, I., 1 Jun 2018, Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS-18). AAAI press, Vol. 2018-June. p. 431-435 5 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2 Citations (Scopus)

An Innovative Heuristic for Planning-based Urban Traffic Control

Franco Aixela, S., Lindsay, A., Vallati, M. & McCluskey, T., 13 Jun 2018, Computational Science – ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. & Sloot, P. M. A. (eds.). Cham: Springer Verlag, p. 181-193 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10860 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

A Principled Analysis of the Interrelation Between Vehicular Communication and Reasoning Capabilities of Autonomous Vehicles

Vallati, M. & Chrpa, L., 7 Dec 2018, Proceedings of the 21st IEEE International Conference on Intelligent Transportation Systems (ITSC). IEEE, p. 3761-3766 6 p. 8569953

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Determining Representativeness of Training Plans: A Case of Macro-operators

Chrpa, L. & Vallati, M., 13 Dec 2018, 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018). IEEE, p. 488-492 5 p. 8576079

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)

Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver

Faber, W., Vallati, M., Cerutti, F. & Giacomin, M., 6 Sep 2018, Computational Models of Argument: Proceedings of COMMA 2018. Modgil, S., Budzynska, K. & Lawrence, J. (eds.). IOS Press, p. 459-460 2 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)
Open Access
File
2 Citations (Scopus)

KR&R Approaches for Robot Manipulation Tasks with Articulated Objects

Bertolucci, R., Capitanelli, A., Dodaro, C., Maratea, M., Mastrogiovanni, F. & Vallati, M., 11 Dec 2018, In : CEUR Workshop Proceedings. 2272, 8 p.

Research output: Contribution to journalConference article

Open Access

On the Configuration of Robust Static Parallel Portfolios for Efficient Plan Generation

Vallati, M., Chrpa, L. & Kitchin, D., 12 Jun 2018, Computational Science – ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I. Shi, Y., Fu, H., Tian, Y., Krzhizanovskaya, V. V., Lees, M. H., Dongarra, J. & Sloot, P. M. A. (eds.). Springer Verlag, p. 15-27 13 p. (Lecture Notes in Computer Science; vol. 10860).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

On the Impact of Configuration on Abstract Argumentation Automated Reasoning

Cerutti, F., Vallati, M. & Giacomin, M., Jan 2018, In : International Journal of Approximate Reasoning. 92, p. 120-138 19 p.

Research output: Contribution to journalArticle

Open Access
4 Citations (Scopus)

On the Manipulation of Articulated Objects in Human-Robot Cooperation Scenarios

Capitanelli, A., Maratea, M., Mastrogiovanni, F. & Vallati, M., 1 Nov 2018, In : Robotics and Autonomous Systems. 109, p. 139-155 17 p.

Research output: Contribution to journalArticle

Open Access
File
7 Citations (Scopus)
Open Access
File
1 Citation (Scopus)

Performance Robustness of AI Planners in the 2014 International Planning Competition

Bocchese, A., Fawcett, C., Vallati, M., Gerevini, A. E. & Hoos, H. H., 21 Dec 2018, In : AI Communications. 31, 6, p. 445-463 19 p.

Research output: Contribution to journalArticle

Open Access
File

Unveiling the Oracle: Artificial intelligence for the 21st century

Cerutti, F., Grassi, A. & Vallati, M., 16 Dec 2018, In : Intelligent Decision Technologies. 12, 3, p. 371-379 9 p.

Research output: Contribution to journalArticle

Open Access
File
Open Access
4 Citations (Scopus)
2016

Bridging the Gap Between Knowledge Representation and Electronic Health Records

Gatta, R., Vallati, M., Cappelli, C., De Bari, B., Salvetti, M., Finardi, S., Muiesan, M. L., Valentini, V. & Castellano, M., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies. Portugal: Science and Technology Publications, p. 159-165 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Efficient macroscopic urban traffic models for reducing congestion: A PDDL+ planning approach

Vallati, M., Magazzeni, D., Schutter, B. D., Chrpa, L. & McCluskey, T. L., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 3188-3194 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
28 Citations (Scopus)

Generating structured argumentation frameworks: Afbenchgen2

Cerutti, F., Giacomin, M. & Vallati, M., 1 Jan 2016, Computational Models of Argument : Proceedings of COMMA 2016 . Baroni, P., Gordon, T. F., Scheffler, T. & Stede, M. (eds.). Vol. 287. p. 467-468 2 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
4 Citations (Scopus)

Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning

Vallati, M., Serina, I., Saetti, A. & Gerevini, A. E., 24 Dec 2016, In : Fundamenta Informaticae. 149, 1-2, p. 209-240 32 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

jArgSemSAT: An Efficient Off-The-Shelf Solver for Abstract Argumentation Frameworks

Cerutti, F., Vallati, M. & Giacomin, M., 2016, Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning. AAAI press, p. 541-544 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning

Cerutti, F., Vallati, M. & Giacomin, M., Sep 2016, Computational Models of Argument: Proceedings of COMMA 2016. Netherlands: IOS Press, Vol. 287. p. 199-206 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 287).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2 Citations (Scopus)

On the exploitation of Automated Planning for efficient decision making in road traffic accident management

Chrpa, L. & Vallati, M., 27 Dec 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 6607-6612 6 p. 7799286

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
1 Citation (Scopus)

Portfolio Methods for Optimal Planning: An Empirical Analysis

Rizzini, M., Fawcett, C., Vallati, M., Gerevini, A. E. & Hoos, H. H., 7 Jan 2016, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence . IEEE, p. 494-501 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
3 Citations (Scopus)

RadioBio data: A Moddicom Module to Predict Tumor Control Probability and Normal Tissue Complication Probability in Radiotherapy

Dinapoli, N., Alitto, A. R., Vallati, M., Autorino, R., Gatta, R., Boldrini, L., Damiani, A., Mantini, G. & Valentini, V., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies. Portugal: Science and Technology Publications, p. 277-281 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Solving set Optimization problems by cardinality Optimization with an application to argumentation

Faber, W., Vallati, M., Cerutti, F. & Giacomin, M., 2016, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 285. p. 966-973 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
6 Citations (Scopus)

Summary report of the first international competition on computational models of argumentation

Thimm, M., Villata, S., Cerutti, F., Oren, N., Strass, H. & Vallati, M., 2016, In : AI Magazine. 37, 1, p. 102-104 3 p.

Research output: Contribution to journalReview article

Open Access
44 Citations (Scopus)