![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
PMAI@IJCAI 2022: Vienna, Austria
- Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti:
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Wien, Austria, July 23, 2022. CEUR Workshop Proceedings 3310, CEUR-WS.org 2022
Keynote
- Chiara Ghidini:
Predictive and proactive trustable process monitoring.
Session 1
- Guy Amit, Fabiana Fournier, Shlomit Gur, Lior Limonad:
Model-informed LIME Extension for Business Process Explainability. 1-12 - Björn Rafn Gunnarsson, Jochen De Weerdt, Seppe vanden Broucke:
A framework for encoding the multi-location load state of a business process. 13-24
Session 2
- Tobias Zimpel, Andrea Wild, Hansjörg Schrade, Stefan Kirn:
Association Rule Mining to Study Process-Related Cause-Effect-Relationships in Pig Farming. 25-36 - Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest:
GRACE: A Simulator for Continuous Goal Recognition over Changing Environments. 37-48 - Sergey Zeltyn, Segev Shlomov, Avi Yaeli, Alon Oved:
Prescriptive Process Monitoring in Intelligent Process Automation with Chatbot Orchestration. 49-60
Session 3
- Phuong Nguyen, Vatche Isahagian, Vinod Muthusamy, Aleksander Slominski:
Summarizing Process Traces for Analysis Tasks: An Intuitive and User-controlled Approach. 61-72
Session 3: Poster paper
- Paolo Felli, Marco Montali, Sarah Winkler:
Reasoning and Verification with Data Petri Nets. 73-76 - Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi, Williams Rizzi:
Making sense of temporal data: the DECLARE encoding. 77-80
Session 4: Poster paper
- Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini:
Computing unsatisfiable cores for LTLf specifications. 81-84 - Praveen Venkateswaran, Vinod Muthusamy, Yara Rizk, Vatche Isahagian:
Towards Continual Learning in Interactive Digital Assistants for Process Automation. 85-88 - Simone Agostinelli, Andrea Marrella:
Intelligent Robotic Process Automation: Generating Executable RPA Scripts from Unsegmented UI Logs. 89-92 - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. 93-96
Session 5: Poster paper
- Peter Fettke, Alexander Rombach:
Towards Automated Process Planning and Mining. 97-100 - Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. 101-104 - Antonio Ielo, Francesco Ricca, Luigi Pontieri:
Declarative Mining of Business Processes via ASP. 105-108 - Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Luigi Pontieri:
Explainable Interpretation of Low-Level Process Traces via Abstract Argumentation. 109-112
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.