Marco Montali

Alessandro Artale

Gabriella Cortellessa

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024. The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals; Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.

XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings

AIxIA 2024 – Advances in Artificial Intelligence

Matthias Weidlich

Arik Senderovich

This open access book constitutes revised selected papers from the International Workshops held at the 4th International Conference on Process Mining, ICPM 2022, which took place in Bozen-Bolzano, Italy, during October 23–28, 2022. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 42 papers included in this volume were carefully reviewed and selected from 89 submissions. They stem from the following workshops: – 3rd International Workshop on Event Data and Behavioral Analytics (EDBA) – 3rd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) – 3rd International Workshop on Responsible Process Mining (RPM) (previously known as Trust, Privacy and Security Aspects in Process Analytics) – 5th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) – 3rd International Workshop on Streaming Analytics for Process Mining (SA4PM) – 7th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) – 1st International Workshop on Education meets Process Mining (EduPM) – 1st International Workshop on Data Quality and Transformation in Process Mining (DQT-PM)

ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers

Process Mining Workshops

Ingo Weber

Mathias Weske

Jan vom Brocke

This book constitutes the proceedings of the BPM Forum held during the 16th International Conference on Business Process Management, BPM 2018, which took place in Sydney, Australia, in September 2018. The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference. The 14 papers presented in this volume were carefully reviewed and selected from a total of 113 submissions. They were organized according to the tracks of the conference: foundations; engineering; management.

BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings

Business Process Management Forum

Dumitru Roman

Diego Calvanese

Paul Fodor

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions.

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author’s PhD thesis, which was honored with the 2009 “Marco Cadoli” prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.

A Logic-Based Approach

Specification and Verification of Declarative Open Interaction Models

Marco Montali

About

Books

Join the club