![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Marco Montali
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j56]Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy:
Correctness Notions for Petri Nets with Identifiers. Fundam. Informaticae 190(2-4): 159-207 (2024) - [j55]Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali
:
Enjoy the silence: Analysis of stochastic Petri nets with silent transitions. Inf. Syst. 124: 102383 (2024) - [j54]C. Aiswarya
, Diego Calvanese
, Francesco Di Cosmo
, Marco Montali
:
Verification of Unary Communicating Datalog Programs. Proc. ACM Manag. Data 2(2): 89 (2024) - [c197]Alessandro Gianola, Marco Montali, Sarah Winkler:
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. AAAI 2024: 10525-10534 - [c196]Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI 2024: 17416-17425 - [c195]Alessandro Gianola, Marco Montali, Sarah Winkler:
Object-Centric Conformance Alignments with Synchronization. CAiSE 2024: 3-19 - [c194]Sander J. J. Leemans, Tian Li, Marco Montali, Artem Polyvyanyy:
Stochastic Process Discovery: Can It Be Done Optimally? CAiSE 2024: 36-52 - [c193]Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi:
On the Flexibility of Declarative Process Specifications. CAiSE 2024: 161-177 - [c192]Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali:
Verification of Unary Communicating Datalog Programs. SEBD 2024: 185-194 - [i58]Thomas Bolander, Alessandro Burigana, Marco Montali:
Depth-Bounded Epistemic Planning. CoRR abs/2406.01139 (2024) - [i57]Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali:
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications. CoRR abs/2406.12078 (2024) - 2023
- [j53]Anti Alman
, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi
, Andrey Rivkin:
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine 139: 102512 (2023) - [j52]Iris Beerepoot
, Claudio Di Ciccio
, Hajo A. Reijers
, Stefanie Rinderle-Ma
, Wasana Bandara, Andrea Burattin, Diego Calvanese
, Tianwa Chen
, Izack Cohen
, Benoît Depaire
, Gemma Di Federico
, Marlon Dumas
, Christopher G. J. van Dun
, Tobias Fehrer
, Dominik Andreas Fischer
, Avigdor Gal
, Marta Indulska, Vatche Isahagian
, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy
, Hugo A. López
, Sanja Lukumbuzya, Jan Mendling
, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq
, Ronny Seiger
, Tijs Slaats
, Mantas Simkus
, Ida Asadi Someh
, Barbara Weber, Ingo Weber
, Mathias Weske, Francesca Zerbato
:
The biggest business process management problems to solve before we die. Comput. Ind. 146: 103837 (2023) - [j51]Diego Calvanese, Avigdor Gal, Davide Lanti
, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded mapping patterns for Virtual Knowledge Graphs. Data Knowl. Eng. 145: 102157 (2023) - [j50]Paolo Felli
, Alessandro Gianola
, Marco Montali, Andrey Rivkin
, Sarah Winkler
:
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. 126: 106895 (2023) - [j49]Paolo Felli, Alessandro Gianola
, Marco Montali, Andrey Rivkin, Sarah Winkler
:
Data-aware conformance checking with SMT. Inf. Syst. 117: 102230 (2023) - [j48]Anti Alman
, Fabrizio Maria Maggi
, Marco Montali
, Fabio Patrizi
, Andrey Rivkin
:
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. 119: 102271 (2023) - [j47]Federico Chesani
, Chiara Di Francescomarino, Chiara Ghidini
, Daniela Loreti
, Fabrizio Maria Maggi, Paola Mello
, Marco Montali
, Sergio Tessaris:
Process Discovery on Deviant Traces and Other Stranger Things. IEEE Trans. Knowl. Data Eng. 35(11): 11784-11800 (2023) - [j46]Marlon Dumas
, Fabiana Fournier
, Lior Limonad
, Andrea Marrella
, Marco Montali
, Jana-Rebecca Rehse
, Rafael Accorsi
, Diego Calvanese
, Giuseppe De Giacomo
, Dirk Fahland
, Avigdor Gal
, Marcello La Rosa
, Hagen Völzer
, Ingo Weber
:
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14(1): 11:1-11:19 (2023) - [c191]Diego Calvanese, Alessandro Gianola
, Andrea Mazzullo, Marco Montali:
SMT Safety Verification of Ontology-Based Processes. AAAI 2023: 6271-6279 - [c190]Paolo Felli, Marco Montali, Fabio Patrizi
, Sarah Winkler
:
Monitoring Arithmetic Temporal Properties on Finite Traces. AAAI 2023: 6346-6354 - [c189]Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers
, Andrey Rivkin, Jan Martijn E. M. van der Werf:
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets 2023: 37-58 - [c188]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning. AAMAS 2023: 2361-2363 - [c187]Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Collaborative sfDECLARE. BPM (Forum) 2023: 55-72 - [c186]Alessandro Gianola, Jonghyeon Ko
, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler
:
Approximating Multi-perspective Trace Alignment Using Trace Encodings. BPM 2023: 74-91 - [c185]Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penín, Alberto José Bugarín Diz:
The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. BPM (Demos / Resources Forum) 2023: 112-116 - [c184]Francesco Riva, Dario Benvenuti
, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali:
An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases. BPM (Forum) 2023: 214-231 - [c183]Anti Alman
, Fabrizio Maria Maggi
, Marco Montali
, Andrey Rivkin
:
Generating Event Logs from Hybrid Process Models. Business Process Management Workshops 2023: 289-301 - [c182]Marco Montali
, Sarah Winkler
:
Equivalence of Data Petri Nets with Arithmetic. Business Process Management Workshops 2023: 409-421 - [c181]Diego Calvanese
, Mieke Jans
, Tahir Emre Kalayci
, Marco Montali
:
Extracting Event Data from Document-Driven Enterprise Systems. CAiSE 2023: 193-209 - [c180]Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali:
Direct Mappings under the Lens of Information Capacity (Extended Abstract). Description Logics 2023 - [c179]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning. ECAI 2023: 319-326 - [c178]Jonghyeon Ko
, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Ramon Fraga Pereira:
Plan Recognition as Probabilistic Trace Alignment. ICPM 2023: 33-40 - [c177]Paolo Felli, Marco Montali, Sarah Winkler:
Repairing Soundness Properties in Data-Aware Processes. ICPM 2023: 41-48 - [c176]Manal Laghmouch, Benoît Depaire, Nicola Gigante, Mieke Jans, Marco Montali:
Declare MoGeS: Model Generator and Specializer. ICPM Doctoral Consortium / Demo 2023 - [c175]Ava Swevels
, Dirk Fahland
, Marco Montali
:
Implementing Object-Centric Event Data Models in Event Knowledge Graphs. ICPM Workshops 2023: 431-443 - [c174]Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI 2023: 3248-3257 - [c173]Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali:
Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract). IJCAI 2023: 6452-6457 - [c172]Alessandro Burigana
, Paolo Felli
, Marco Montali
:
delphic: Practical DEL Planning via Possibilities. JELIA 2023: 579-594 - [c171]Anti Alman
, Ivan Donadello
, Fabrizio Maria Maggi
, Marco Montali
:
Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library. PROFES (2) 2023: 13-19 - [e14]Tiago Prince Sales
, Henderik A. Proper
, Giancarlo Guizzardi
, Marco Montali
, Fabrizio Maria Maggi
, Claudenir M. Fonseca
:
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops - IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers. Lecture Notes in Business Information Processing 466, Springer 2023, ISBN 978-3-031-26885-4 [contents] - [e13]Marco Montali
, Arik Senderovich
, Matthias Weidlich
:
Process Mining Workshops - ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised Selected Papers. Lecture Notes in Business Information Processing 468, Springer 2023, ISBN 978-3-031-27814-3 [contents] - [i56]Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf:
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version). CoRR abs/2303.10039 (2023) - [i55]Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali:
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions. CoRR abs/2306.06376 (2023) - [i54]Alessandro Burigana, Paolo Felli, Marco Montali:
DELPHIC: Practical DEL Planning via Possibilities (Extended Version). CoRR abs/2307.15451 (2023) - [i53]Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard:
A Semantic Approach to Decidability in Epistemic Planning (Extended Version). CoRR abs/2307.15485 (2023) - [i52]Alessandro Gianola, Marco Montali, Sarah Winkler:
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version). CoRR abs/2310.12180 (2023) - [i51]Alessandro Berti, Marco Montali, Wil M. P. van der Aalst:
Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review. CoRR abs/2311.08795 (2023) - [i50]Alessandro Gianola, Marco Montali, Sarah Winkler:
Object-Centric Conformance Alignments with Synchronization (Extended Version). CoRR abs/2312.08537 (2023) - 2022
- [j45]João Paulo A. Almeida, Thomas Kühne
, Marco Montali:
Special Issue on Multi-Level Modeling Process Challenge Editorial. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022) - [j44]Marco Montali, Ingo Weber
, Mathias Weske, Manfred Reichert:
Special issue: BPM 2018 selected papers in foundations and engineering. Inf. Syst. 103: 101477 (2022) - [j43]Silvio Ghilardi
, Alessandro Gianola
, Marco Montali
, Andrey Rivkin:
Petri net-based object-centric processes with read-only data. Inf. Syst. 107: 102011 (2022) - [j42]Anti Alman
, Fabrizio Maria Maggi
, Marco Montali
, Rafael Peñaloza
:
Probabilistic declarative process mining. Inf. Syst. 109: 102033 (2022) - [j41]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66(3): 409-435 (2022) - [j40]Giuseppe De Giacomo
, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
:
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. 31(4): 68:1-68:44 (2022) - [j39]Paul Fodor
, Marco Montali:
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. Theory Pract. Log. Program. 22(2): 158-161 (2022) - [c170]Paolo Felli, Marco Montali, Sarah Winkler
:
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. AAAI 2022: 5642-5650 - [c169]Alessandro Burigana, Paolo Felli, Marco Montali:
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. OVERLAY@AI*IA 2022: 33-37 - [c168]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA 2022: 87-92 - [c167]Jan Martijn E. M. van der Werf
, Andrey Rivkin, Artem Polyvyanyy, Marco Montali:
Data and Process Resonance - Identifier Soundness for Models of Information Systems. Petri Nets 2022: 369-392 - [c166]Marco Montali
:
Constraints for Process Framing in AI-Augmented BPM. Business Process Management Workshops 2022: 5-12 - [c165]Heba Aamer
, Marco Montali
, Jan Van den Bussche
:
What Can Database Query Processing Do for Instance-Spanning Constraints? Business Process Management Workshops 2022: 132-144 - [c164]Paolo Felli, Alessandro Gianola
, Marco Montali, Andrey Rivkin, Sarah Winkler
:
Conformance Checking with Uncertainty via SMT. BPM 2022: 199-216 - [c163]Sander J. J. Leemans
, Fabrizio Maria Maggi
, Marco Montali
:
Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting. BPM 2022: 324-342 - [c162]Paolo Felli, Marco Montali, Sarah Winkler
:
CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic. IJCAR 2022: 36-56 - [c161]Anti Alman
, Fabrizio Maria Maggi
, Marco Montali
, Fabio Patrizi
, Andrey Rivkin
:
Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE 2022: 319-335 - [c160]Paolo Felli
, Marco Montali
, Sarah Winkler
:
Soundness of Data-Aware Processes with Arithmetic Conditions. CAiSE 2022: 389-406 - [c159]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris:
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. CILC 2022: 201-216 - [c158]Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract). Description Logics 2022 - [c157]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti
, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris:
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. EDOC 2022: 217-234 - [c156]Jing Xiong
, Guohui Xiao
, Tahir Emre Kalayci
, Marco Montali
, Zhenzhen Gu
, Diego Calvanese
:
A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction. ICPM Workshops 2022: 466-478 - [c155]Paolo Felli, Marco Montali, Sarah Winkler:
Reasoning and Verification with Data Petri Nets. PMAI@IJCAI 2022: 73-76 - [c154]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. PMAI@IJCAI 2022: 93-96 - [c153]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
:
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI 2022: 2553-2560 - [c152]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti
, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris:
Optimising Business Process Discovery Using Answer Set Programming. LPNMR 2022: 498-504 - [c151]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs. SEBD 2022: 85-92 - [p5]Claudio Di Ciccio
, Marco Montali
:
Declarative Process Specifications: Reasoning, Discovery, Monitoring. Process Mining Handbook 2022: 108-152 - [e12]João Paulo A. Almeida
, Dimka Karastoyanova
, Giancarlo Guizzardi
, Marco Montali
, Fabrizio Maria Maggi
, Claudenir M. Fonseca
:
Enterprise Design, Operations, and Computing - 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3-7, 2022, Proceedings. Lecture Notes in Computer Science 13585, Springer 2022, ISBN 978-3-031-17603-6 [contents] - [e11]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 [contents] - [i49]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
Augmented Business Process Management Systems: A Research Manifesto. CoRR abs/2201.12855 (2022) - [i48]Paolo Felli, Marco Montali, Sarah Winkler:
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. CoRR abs/2203.07982 (2022) - [i47]Paolo Felli, Marco Montali, Sarah Winkler:
Soundness of Data-Aware Processes with Arithmetic Conditions. CoRR abs/2203.14809 (2022) - [i46]Paolo Felli, Marco Montali, Sarah Winkler:
CTL* model checking for data-aware dynamic systems with arithmetic. CoRR abs/2205.08976 (2022) - [i45]Heba Aamer, Marco Montali, Jan Van den Bussche:
What Can Database Query Processing Do for Instance-Spanning Constraints? CoRR abs/2206.00140 (2022) - [i44]Paolo Felli, Alessandro Gianola
, Marco Montali, Andrey Rivkin, Sarah Winkler:
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR abs/2206.07461 (2022) - [i43]Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR abs/2208.06377 (2022) - [i42]Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler:
Monitoring Arithmetic Temporal Properties on Finite Traces. CoRR abs/2211.17166 (2022) - [i41]Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy:
Correctness Notions for Petri Nets with Identifiers. CoRR abs/2212.07363 (2022) - [i40]Luca Geatti, Marco Montali, Andrey Rivkin:
Reactive Synthesis for DECLARE via symbolic automata. CoRR abs/2212.10875 (2022) - 2021
- [j38]Paolo Felli
, Marco Montali, Maurizio Proietti:
Preface. Fundam. Informaticae 178(4) (2021) - [j37]Paolo Felli, Massimiliano de Leoni, Marco Montali:
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions. Fundam. Informaticae 182(1): 1-29 (2021) - [j36]Daniel Ritter
, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin
:
Formal foundations for responsible application integration. Inf. Syst. 101: 101439 (2021) - [j35]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin
:
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021) - [j34]Massimiliano de Leoni, Paolo Felli
, Marco Montali:
Integrating BPMN and DMN: Modeling and Analysis. J. Data Semant. 10(1-2): 165-188 (2021) - [j33]Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona
, Marco Montali, Lluís Padró, Luis Quishpi:
Unleashing textual descriptions of business processes. Softw. Syst. Model. 20(6): 2131-2153 (2021) - [c150]Paolo Felli, Alessandro Gianola, Marco Montali:
SMT-based Safety Checking of Parameterized Multi-Agent Systems. AAAI 2021: 6321-6330 - [c149]Gemma Di Federico, Andrea Burattin, Marco Montali:
Human Behavior as a Process Model: Which Language to Use? ITBPM@BPM 2021: 18-25 - [c148]Anti Alman
, Claudio Di Ciccio
, Fabrizio Maria Maggi, Marco Montali, Han van der Aa:
RuM: Declarative Process Mining, Distilled. BPM 2021: 23-29 - [c147]Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
:
Process Mining with Common Sense. Problems@BPM 2021: 45-50 - [c146]Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali:
Exploring the Conformance Space (Extended abstract). ITBPM@BPM 2021: 62-67 - [c145]Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM 2021: 179-196 - [c144]Paolo Felli, Alessandro Gianola
, Marco Montali, Andrey Rivkin, Sarah Winkler
:
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM 2021: 217-234 - [c143]Giacomo Bergami
, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali:
Aligning Data-Aware Declarative Process Models and Event Logs. BPM 2021: 235-251 - [c142]Giacomo Bergami
, Fabrizio Maria Maggi
, Marco Montali
, Rafael Peñaloza
:
A Tool for Computing Probabilistic Trace Alignments. CAiSE Forum 2021: 118-126 - [c141]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns. CAiSE 2021: 193-209 - [c140]Stephan Haarmann, Marco Montali, Mathias Weske:
Refining Case Models Using Cardinality Constraints. CAiSE 2021: 296-310 - [c139]Diego Calvanese, Francesco Di Cosmo
, Jorge Lobo, Marco Montali:
Convergence Verification of Declarative Distributed Systems. CILC 2021: 62-76 - [c138]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract). Description Logics 2021 - [c137]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics 2021 - [c136]Alessandro Gianola, Marco Montali, Matteo Papini:
Automated Reasoning for Reinforcement Learning Agents in Structured Environments. OVERLAY@GandALF 2021: 43-48 - [c135]Giacomo Bergami
, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Trace Alignment. ICPM 2021: 9-16 - [c134]Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli:
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021: 1859-1865 - [e10]João Paulo A. Almeida, Dominik Bork, Giancarlo Guizzardi, Marco Montali, Henderik A. Proper, Tiago Prince Sales:
23rd IEEE Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 1. IEEE 2021, ISBN 978-1-6654-2069-3 [contents] - [e9]João Paulo A. Almeida, Dominik Bork, Giancarlo Guizzardi, Marco Montali, Henderik A. Proper, Tiago Prince Sales:
23rd Conference on Business Informatics, CBI 2021, Bolzano, Italy, September 1-3, 2021. Volume 2. IEEE 2021, ISBN 978-1-6654-2069-3 [contents] - [i39]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR abs/2103.10507 (2021) - [i38]Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Trace Alignment. CoRR abs/2107.03997 (2021) - [i37]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR abs/2108.12330 (2021) - [i36]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris:
Process discovery on deviant traces and other stranger things. CoRR abs/2109.14883 (2021) - [i35]Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR abs/2111.13136 (2021) - 2020
- [j32]José Miguel Pérez-Álvarez
, María Teresa Gómez-López
, Rik Eshuis
, Marco Montali, Rafael M. Gasca
:
Verifying the manipulation of data objects according to business process and data models. Knowl. Inf. Syst. 62(7): 2653-2683 (2020) - [j31]Diego Calvanese, Silvio Ghilardi
, Alessandro Gianola
, Marco Montali, Andrey Rivkin
:
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020) - [j30]Diego Calvanese, Paul Fodor, Marco Montali:
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). ACM SIGLOG News 7(2): 16-18 (2020) - [c133]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Temporal Logics Over Finite Traces with Uncertainty. AAAI 2020: 10218-10225 - [c132]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Anti Alman
:
Extending Temporal Business Constraints with Uncertainty. BPM 2020: 35-54 - [c131]Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data - Modelling and Verification. BPM 2020: 55-74 - [c130]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200 - [c129]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Conformance Checking Based on Declarative Process Models. CAiSE Forum 2020: 86-99 - [c128]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research). Description Logics 2020 - [c127]Marco Montali, Andrey Rivkin
, Daniel Ritter:
Formalizing Integration Patterns with Multimedia Data. EDOC 2020: 67-76 - [c126]Massimiliano de Leoni, Paolo Felli, Marco Montali:
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. KR 2020: 315-325 - [c125]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier:
On the Formalization of Decentralized Contact Tracing Protocols. OVERLAY 2020: 65-70 - [c124]Paolo Felli
, Alessandro Gianola
, Marco Montali:
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. PRIMA 2020: 259-280 - [e8]Boudewijn F. van Dongen, Marco Montali, Moe Thandar Wynn:
2nd International Conference on Process Mining, ICPM 2020, Padua, Italy, October 4-9, 2020. IEEE 2020, ISBN 978-1-7281-9832-3 [contents] - [i34]Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali:
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. CoRR abs/2004.01859 (2020) - [i33]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR abs/2006.06630 (2020) - [i32]Paolo Felli, Alessandro Gianola, Marco Montali:
SMT-based Safety Verification of Parameterised Multi-Agent Systems. CoRR abs/2008.04774 (2020) - [i31]Marco Montali, Andrey Rivkin, Daniel Ritter:
Formalizing Integration Patterns with Multimedia Data (Extended Version). CoRR abs/2009.04589 (2020) - [i30]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs. CoRR abs/2012.01917 (2020) - [i29]Stephan Haarmann, Marco Montali, Mathias Weske:
Technical Report: Refining Case Models Using Cardinality Constraints. CoRR abs/2012.02245 (2020)
2010 – 2019
- 2019
- [j29]Diego Calvanese
, Marco Montali
, Marlon Dumas
, Fabrizio Maria Maggi:
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. Theory Pract. Log. Program. 19(4): 536-573 (2019) - [c123]Paolo Felli
, Massimiliano de Leoni, Marco Montali:
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. ACSD 2019: 82-91 - [c122]Marco Montali, Andrey Rivkin:
From DB-nets to Coloured Petri Nets with Priorities. Petri Nets 2019: 449-469 - [c121]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That 2019: 212-239 - [c120]Alessandro Artale, Diego Calvanese, Marco Montali
, Wil M. P. van der Aalst
:
Enriching Data Models with Behavioral Constraints. Ontology Makes Sense 2019: 257-277 - [c119]Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró:
Formal Reasoning on Natural Language Descriptions of Processes. BPM 2019: 86-101 - [c118]Alessandro Artale, Alisa Kovtunova
, Marco Montali
, Wil M. P. van der Aalst
:
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. BPM 2019: 139-156 - [c117]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM 2019: 157-175 - [c116]Marco Montali:
Putting Decisions in Perspective. Business Process Management Workshops 2019: 355-361 - [c115]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition. CADE 2019: 142-160 - [c114]Diego Calvanese, Marco Montali, Fabio Patrizi
, Andrey Rivkin:
Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE 2019: 328-345 - [c113]Andrea Burattin, Giancarlo Guizzardi, Fabrizio Maria Maggi, Marco Montali:
Fifty Shades of Green: How Informative is a Compliant Process Trace? CAiSE 2019: 611-626 - [c112]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - [c111]Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris:
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. CILC 2019: 179-192 - [c110]Evellin Cardoso, Marco Montali:
A Preliminary Framework for Strategic and Compliance Monitoring. EDOC Workshops 2019: 75-84 - [c109]Evellin Cardoso, Marco Montali, Diego Calvanese:
Representing and Querying Norm States Using Temporal Ontology-Based Data Access. EDOC 2019: 122-131 - [c108]Fabrizio Maria Maggi, Marco Montali, Ubaier Bhat:
Compliance Monitoring of Multi-Perspective Declarative Process Models. EDOC 2019: 151-160 - [c107]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig, Marco Montali:
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. PODS 2019: 335-352 - [e7]Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman:
Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Lecture Notes in Computer Science 11784, Springer 2019, ISBN 978-3-030-31094-3 [contents] - [i28]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Temporal Logic over Finite Traces (Technical Report). CoRR abs/1903.04940 (2019) - [i27]Marco Montali, Andrey Rivkin:
From DB-nets to Coloured Petri Nets with Priorities (Extended Version). CoRR abs/1904.00058 (2019) - [i26]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR abs/1905.12991 (2019) - [i25]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR abs/1906.07811 (2019) - [i24]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. CoRR abs/1911.07774 (2019) - 2018
- [j28]Federico Chesani, Marco Gavanelli
, Evelina Lamma, Paola Mello, Marco Montali
:
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159(1-2): 35-63 (2018) - [j27]Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris:
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. Fundam. Informaticae 161(1-2): 75-111 (2018) - [j26]Diego Calvanese, Giuseppe De Giacomo, Marco Montali
, Fabio Patrizi
:
First-order μ-calculus over generic transition systems and applications to the situation calculus. Inf. Comput. 259(3): 328-347 (2018) - [j25]Giovanni Meroni
, Luciano Baresi
, Marco Montali, Pierluigi Plebani
:
Multi-party business process compliance monitoring through IoT-enabled artifacts. Inf. Syst. 73: 61-78 (2018) - [j24]Diego Calvanese, Marlon Dumas
, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali
, Irene Teinemaa:
Semantics, Analysis and Simplification of DMN Decision Tables. Inf. Syst. 78: 112-125 (2018) - [j23]Claudio Di Ciccio
, Fabrizio Maria Maggi, Marco Montali, Jan Mendling:
On the relevance of a business constraint to an event log. Inf. Syst. 78: 144-161 (2018) - [c106]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Complexity of Reachability for Data-Aware Dynamic Systems. ACSD 2018: 11-20 - [c105]Luca Sabiucciu, Marco Montali
, Sergio Tessaris
:
A Tool for the Verification of Data-Aware Business Processes. AI*IA 2018: 266-276 - [c104]Diego Calvanese, Marco Montali, Jorge Lobo:
Verification of Fixed-Topology Declarative Distributed Systems with External Data. AMW 2018 - [c103]Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke:
BPM: Foundations, Engineering, Management. BPM 2018: 3-11 - [c102]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst:
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). Description Logics 2018 - [c101]Daniel Ritter
, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha:
Formalizing Application Integration Patterns. EDOC 2018: 11-20 - [c100]Diego Calvanese, Tahir Emre Kalayci
, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
:
Conceptual Schema Transformation in Ontology-Based Data Access. EKAW 2018: 50-67 - [c99]Massimiliano de Leoni
, Paolo Felli
, Marco Montali:
A Holistic Approach for Soundness Verification of Decision-Aware Process Models. ER 2018: 219-235 - [p4]Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt, Michael Reifer:
Process Management in Construction: Expansion of the Bolzano Hospital. Business Process Management Cases 2018: 257-274 - [e6]Mathias Weske, Marco Montali, Ingo Weber
, Jan vom Brocke:
Business Process Management Forum - BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings. Lecture Notes in Business Information Processing 329, Springer 2018, ISBN 978-3-319-98650-0 [contents] - [e5]Mathias Weske, Marco Montali, Ingo Weber
, Jan vom Brocke:
Business Process Management - 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings. Lecture Notes in Computer Science 11080, Springer 2018, ISBN 978-3-319-98647-0 [contents] - [e4]Paolo Felli, Marco Montali:
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. CEUR Workshop Proceedings 2214, CEUR-WS.org 2018 [contents] - [i23]Massimiliano de Leoni, Paolo Felli, Marco Montali:
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version). CoRR abs/1804.02316 (2018) - [i22]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Quantifier Elimination for Database Driven Verification. CoRR abs/1806.09686 (2018) - [i21]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR abs/1806.11459 (2018) - [i20]Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha:
Catalog of Formalized Application Integration Patterns. CoRR abs/1807.03197 (2018) - [i19]Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. CoRR abs/1807.11615 (2018) - [i18]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Modelling and Enactment of Data-aware Processes. CoRR abs/1810.08062 (2018) - 2017
- [j22]Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling:
Resolving Inconsistencies and Redundancies in Declarative Process Models. EMISA Forum 37(1): 30-31 (2017) - [j21]Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics and Analysis of DMN Decision Tables. EMISA Forum 37(1): 49-51 (2017) - [j20]Claudio Di Ciccio
, Fabrizio Maria Maggi, Marco Montali
, Jan Mendling:
Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64: 425-446 (2017) - [j19]Marco Montali, Andrey Rivkin
:
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. Trans. Petri Nets Other Model. Concurr. 12: 91-118 (2017) - [c98]Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris:
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. AAAI 2017: 1091-1099 - [c97]Diego Calvanese, Tahir Emre Kalayci
, Marco Montali
, Stefano Tinella:
Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology. BIS 2017: 220-236 - [c96]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso:
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. BPM (Demos) 2017 - [c95]Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini:
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. Description Logics 2017 - [c94]Marco Montali, Pierluigi Plebani
:
IoT-Based Compliance Checking of Multi-party Business Processes Modeled with Commitments. ESOCC 2017: 179-195 - [c93]Federico Chesani, Paola Mello, Marco Montali:
Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation. ISMIS 2017: 3-16 - [c92]Andrea Janes
, Fabrizio Maria Maggi, Andrea Marrella, Marco Montali:
From Zero to Hero: A Process Mining Tutorial. PROFES 2017: 625-629 - [c91]Diego Calvanese, Marlon Dumas
, Fabrizio Maria Maggi, Marco Montali
:
Semantic DMN: Formalizing Decision Models with Domain Knowledge. RuleML+RR 2017: 70-86 - [c90]Diego Calvanese, Tahir Emre Kalayci
, Marco Montali
, Ario Santoso
:
OBDA for Log Extraction in Process Mining. RW 2017: 292-345 - [i17]Wil M. P. van der Aalst, Guangming Li, Marco Montali:
Object-Centric Behavioral Constraints. CoRR abs/1703.05740 (2017) - 2016
- [j18]Marco Montali
, Andrey Rivkin
:
Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. 28(4): 615-641 (2016) - [j17]Marco Montali
, Diego Calvanese:
Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transf. 18(5): 535-558 (2016) - [c89]Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
Abducing Compliance of Incomplete Event Logs. AI*IA 2016: 208-222 - [c88]Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio
, Marco Montali:
Towards Data- and Norm-Aware Multiagent Systems. EMAS@AAMAS 2016: 22-38 - [c87]Fabrizio Maria Maggi, Marco Montali, Claudio Di Ciccio
, Jan Mendling:
Semantical Vacuity Detection in Declarative Process Mining. BPM 2016: 158-175 - [c86]Diego Calvanese, Marlon Dumas
, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics and Analysis of DMN Decision Tables. BPM 2016: 217-233 - [c85]Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt:
Towards a Graphical Language for Process Modelling in Construction. CAiSE Forum 2016: 17-24 - [c84]Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
Synthesizing and Executing Plans in Knowledge and Action Bases. Description Logics 2016 - [c83]Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. ECAI 2016: 1734-1735 - [c82]Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
Plan Synthesis for Knowledge and Action Bases. IJCAI 2016: 1022-1029 - [c81]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
On First-Order μ-Calculus over Situation Calculus Action Theories. KR 2016: 411-420 - [c80]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems. PODS 2016: 195-210 - [i16]Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics and Analysis of DMN Decision Tables. CoRR abs/1603.07466 (2016) - [i15]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version). CoRR abs/1604.03413 (2016) - [i14]Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
Abducing Compliance of Incomplete Event Logs. CoRR abs/1606.05446 (2016) - [i13]Marco Montali, Andrey Rivkin:
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases. CoRR abs/1611.03680 (2016) - 2015
- [j16]Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali
, Stefanie Rinderle-Ma, Wil M. P. van der Aalst
:
Compliance monitoring in business processes: Functionalities, application, and tool-support. Inf. Syst. 54: 209-234 (2015) - [j15]Riccardo De Masellis
, Domenico Lembo
, Marco Montali
, Dmitry Solomakhin:
Semantic Enrichment of GSM-Based Artifact-Centric Models. J. Data Semant. 4(1): 3-27 (2015) - [c79]Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types. AAAI 2015: 2031-2037 - [c78]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
:
Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW 2015 - [c77]Diego Calvanese, Marco Montali, Alifah Syamsiyah, Wil M. P. van der Aalst
:
Ontology-Driven Extraction of Event Logs from Relational Databases. Business Process Management Workshops 2015: 140-153 - [c76]Claudio Di Ciccio
, Fabrizio Maria Maggi, Marco Montali
, Jan Mendling:
Ensuring Model Consistency in Declarative Process Discovery. BPM 2015: 144-159 - [c75]Giuseppe De Giacomo, Marlon Dumas
, Fabrizio Maria Maggi, Marco Montali
:
Declarative Process Modeling in BPMN. CAiSE 2015: 84-100 - [c74]Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Evaluating compliance: from LTL to abductive logic programming. CILC 2015: 101-116 - [c73]Diego Calvanese, Marco Montali, Ario Santoso:
Inconsistency Management in Generalized Knowledge and Action Bases. Description Logics 2015 - [c72]Diego Calvanese, Marco Montali, Ario Santoso:
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. IJCAI 2015: 2847-2853 - [c71]Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo:
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI 2015: 4247-4253 - [c70]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD 2015: 60-71 - [c69]Marco Montali
, Andrey Rivkin:
Formal Verification of Petri Nets with Names. WS-FM 2015: 29-47 - [c68]Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
Well Structured Transition Systems with History. GandALF 2015: 115-128 - [p3]Federico Chesani, Catherine G. Enright, Marco Montali, Michael G. Madden
:
Monitoring in the Healthcare Setting. Foundations of Biomedical Knowledge Representation 2015: 71-80 - [p2]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali:
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes. Foundations of Biomedical Knowledge Representation 2015: 81-106 - [i12]Diego Calvanese, Marco Montali, Ario Santoso:
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version). CoRR abs/1504.08108 (2015) - 2014
- [c67]Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali:
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. AAAI 2014: 1027-1033 - [c66]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Human Driven Data-Centric Dynamic Systems. AAAI Spring Symposia 2014 - [c65]Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Verification of data-aware commitment-based multiagent system. AAMAS 2014: 157-164 - [c64]Giuseppe De Giacomo, Riccardo De Masellis
, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
:
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. BPM 2014: 1-17 - [c63]Vincenzo Del Fatto
, Gabriella Dodero, Rosella Gennari
, Alessandra Melonio
, Marco Montali
, Simon Razniewski, Santina Torello, Xiaofeng Wang
, Floriano Zini
:
Gamified children universities: an exploratory study. CHI PLAY 2014: 409-410 - [c62]Diego Calvanese, Marco Montali
, Montserrat Estañol, Ernest Teniente:
Verifiable UML Artifact-Centric Business Process Models. CIKM 2014: 1289-1298 - [c61]Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. CILC 2014: 84-98 - [c60]Riccardo De Masellis
, Fabrizio Maria Maggi, Marco Montali
:
Monitoring data-aware business constraints with finite state automata. ICSSP 2014: 134-143 - [c59]Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali
, Ario Santoso:
Verification of Context-Sensitive Knowledge and Action Bases. JELIA 2014: 514-528 - [c58]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch:
State-Boundedness in Data-Aware Dynamic Systems. KR 2014 - [c57]Emad Eldeen Elakehal, Marco Montali
, Julian A. Padget
:
Run-Time Verification of MSMAS Norms Using Event Calculus. SASO Workshops 2014: 110-115 - [i11]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. CoRR abs/1402.0569 (2014) - [i10]Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
LTLf and LDLf Monitoring: A Technical Report. CoRR abs/1405.0054 (2014) - [i9]Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
Verifiable UML Artifact-Centric Business Process Models (Extended Version). CoRR abs/1408.5094 (2014) - [i8]Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types (Extended Version). CoRR abs/1411.4516 (2014) - [i7]Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso:
Adding Context to Knowledge and Action Bases. CoRR abs/1412.7965 (2014) - 2013
- [j14]Federico Chesani, Paola Mello, Marco Montali
, Paolo Torroni
:
Representing and monitoring social commitments using the event calculus. Auton. Agents Multi Agent Syst. 27(1): 85-130 (2013) - [j13]Babak Bagheri Hariri, Diego Calvanese
, Marco Montali
, Giuseppe De Giacomo, Riccardo De Masellis
, Paolo Felli
:
Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. 46: 651-686 (2013) - [j12]Marco Montali
, Fabrizio Maria Maggi, Federico Chesani, Paola Mello, Wil M. P. van der Aalst
:
Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1): 17:1-17:30 (2013) - [c56]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA 2013: 71-80 - [c55]Camilo Thorne
, Elena Cardillo
, Claudio Eccher
, Marco Montali
, Diego Calvanese
:
Process Fragment Recognition in Clinical Documents. AI*IA 2013: 227-238 - [c54]Fabrizio Maria Maggi, Marlon Dumas
, Luciano García-Bañuelos
, Marco Montali
:
Discovering Data-Aware Declarative Process Models from Event Logs. BPM 2013: 81-96 - [c53]Alessandro Russo
, Massimo Mecella, Marco Montali, Fabio Patrizi:
Towards a Reference Implementation for Data Centric Dynamic Systems. Business Process Management Workshops 2013: 141-154 - [c52]Simon Razniewski, Marco Montali
, Werner Nutt:
Verification of Query Completeness over Processes. BPM 2013: 155-170 - [c51]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases. Description Logics 2013: 107-119 - [c50]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics 2013: 573-586 - [c49]Linh Thao Ly, Fabrizio Maria Maggi, Marco Montali
, Stefanie Rinderle-Ma, Wil M. P. van der Aalst
:
A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches. EDOC 2013: 7-16 - [c48]Dmitry Solomakhin, Marco Montali
, Sergio Tessaris, Riccardo De Masellis
:
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. ICSOC 2013: 252-266 - [c47]Babak Bagheri Hariri, Diego Calvanese
, Marco Montali
, Ario Santoso
, Dmitry Solomakhin:
Verification of Semantically-Enhanced Artifact Systems. ICSOC 2013: 600-607 - [c46]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases. IJCAI 2013: 810-816 - [c45]Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher:
Automated Activity Recognition in Clinical Documents. IJCNLP 2013: 1129-1133 - [c44]Emad Eldeen Elakehal, Marco Montali, Julian A. Padget
:
Verifying MSMAS Model Using CIFF. MATES 2013: 44-58 - [c43]Diego Calvanese
, Giuseppe De Giacomo, Marco Montali
:
Foundations of data-aware process analysis: a database theory perspective. PODS 2013: 1-12 - [c42]Babak Bagheri Hariri, Diego Calvanese
, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
:
Verification of relational data-centric dynamic systems with external services. PODS 2013: 163-174 - [c41]Diego Calvanese
, Giuseppe De Giacomo, Marco Montali
, Fabio Patrizi
:
Verification and Synthesis in Description Logic Based Dynamic Systems. RR 2013: 50-64 - [c40]Marco Montali
, Federico Chesani, Paola Mello, Fabrizio Maria Maggi:
Towards data-aware constraints in declare. SAC 2013: 1391-1396 - [c39]Alessandro Russo
, Massimo Mecella
, Fabio Patrizi
, Marco Montali
:
Implementing and Running Data-Centric Dynamic Systems. SOCA 2013: 225-232 - [e3]Matteo Baldoni, Federico Chesani, Paola Mello, Marco Montali:
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013. CEUR Workshop Proceedings 1107, CEUR-WS.org 2013 [contents] - [i6]Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis:
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. CoRR abs/1304.1697 (2013) - [i5]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version). CoRR abs/1304.6442 (2013) - [i4]Simon Razniewski, Marco Montali, Werner Nutt:
Verification of Query Completeness over Processes [Extended Version]. CoRR abs/1306.1689 (2013) - [i3]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin:
Verification of Semantically-Enhanced Artifact Systems (Extended Version). CoRR abs/1308.6292 (2013) - 2012
- [c38]Dmitry Solomakhin, Sergio Tessaris, Marco Montali:
Combining Process and Ontological Modeling. DC@AI*IA 2012: 43-47 - [c37]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali
, Paolo Torroni
:
Reactive Event Calculus for Monitoring Global Computing Applications. Logic Programs, Norms and Action 2012: 123-146 - [c36]Babak Bagheri Hariri, Diego Calvanese
, Giuseppe De Giacomo, Riccardo De Masellis
, Paolo Felli
, Marco Montali
:
Verification of Description Logic Knowledge and Action Bases. ECAI 2012: 103-108 - [c35]Fabrizio Maria Maggi, Marco Montali
, Wil M. P. van der Aalst
:
An Operational Decision Support Framework for Monitoring Business Constraints. FASE 2012: 146-162 - [c34]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Semantically-Governed Data-Aware Processes. KiBP@KR 2012: 21-32 - [c33]Diego Calvanese, Evgeny Kharlamov, Marco Montali, Dmitriy Zheleznyakov:
Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases. OWLED 2012 - [c32]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Ontology-Based Governance of Data-Aware Processes. RR 2012: 25-41 - [e2]Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, Marco Montali:
Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, Rome, Italy, June 15, 2012. CEUR Workshop Proceedings 860, CEUR-WS.org 2012 [contents] - [i2]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR abs/1203.0024 (2012) - 2011
- [j11]Marco Montali
, Paolo Torroni
, Nicola Zannone
, Paola Mello, Volha Bryl:
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Auton. Agents Multi Agent Syst. 23(2): 193-223 (2011) - [j10]Federico Chesani, Paola Mello, Marco Montali
, Paolo Torroni
:
Monitoring Time-Aware Commitments within Agent-Based Simulation Environments. Cybern. Syst. 42(7): 546-566 (2011) - [j9]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
:
Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale 5(1): 101-105 (2011) - [j8]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. 8(3): 1-25 (2011) - [c31]Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali
, Davide Sottara:
Fuzzy Conformance Checking of Observed Behaviour with Expectations. AI*IA 2011: 80-91 - [c30]Fabrizio Maria Maggi, Marco Montali
, Michael Westergaard, Wil M. P. van der Aalst
:
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. BPM 2011: 132-147 - [c29]Wil M. P. van der Aalst
, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri
, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin
, Josep Carmona
, Malú Castellanos, Jan Claes
, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani
, Massimiliano de Leoni
, Pavlos Delias
, Boudewijn F. van Dongen
, Marlon Dumas
, Schahram Dustdar
, Dirk Fahland
, Diogo R. Ferreira, Walid Gaaloul
, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede
, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa
, Fabrizio Maria Maggi, Donato Malerba
, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling
, Marco Montali
, Hamid R. Motahari Nezhad, Michael zur Muehlen
, Jorge Munoz-Gama
, Luigi Pontieri
, Joel Ribeiro
, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez
, Marcos Sepúlveda
, Jim Sinur, Pnina Soffer, Minseok Song
, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo
, Wei Tan, Chris Turner, Jan Vanthienen
, George Varvaressos, Eric Verbeek
, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber
, Matthias Weidlich
, Ton Weijters, Lijie Wen
, Michael Westergaard, Moe Thandar Wynn
:
Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194 - [c28]Alessio Bottrighi
, Federico Chesani, Paola Mello, Marco Montali
, Stefania Montani
, Paolo Terenziani
:
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge. Business Process Management Workshops (2) 2011: 200-211 - [c27]Paolo Torroni
, Federico Chesani, Paola Mello, Marco Montali
:
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. DALT 2011: 120-127 - [c26]Stefano Bragaglia, Federico Chesani, Emory Fry, Paola Mello, Marco Montali
, Davide Sottara:
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems. RuleML America 2011: 267-281 - [c25]Fabrizio Maria Maggi, Michael Westergaard, Marco Montali
, Wil M. P. van der Aalst
:
Runtime Verification of LTL-Based Declarative Process Models. RV 2011: 131-146 - [e1]Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, Umberto Straccia:
Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011. CEUR Workshop Proceedings 799, CEUR-WS.org 2011 [contents] - 2010
- [b2]Marco Montali:
Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach. Lecture Notes in Business Information Processing 56, Springer 2010, ISBN 978-3-642-14537-7, pp. 1-383 [contents] - [j7]Luca Luccarini, Gianni Luigi Bragadin, Gabriele Colombini, Maurizio Mancini
, Paola Mello, Marco Montali
, Davide Sottara:
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant. Environ. Model. Softw. 25(5): 648-660 (2010) - [j6]Marco Montali
, Paolo Torroni
, Federico Chesani, Paola Mello, Marco Alberti
, Evelina Lamma:
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae 102(3-4): 325-361 (2010) - [j5]Federico Chesani, Paola Mello, Marco Montali
, Paolo Torroni
:
A Logic-Based, Reactive Calculus of Events. Fundam. Informaticae 105(1-2): 135-161 (2010) - [j4]Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
:
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent Grid Syst. 6(2): 165-190 (2010) - [j3]Marco Montali
, Maja Pesic, Wil M. P. van der Aalst
, Federico Chesani, Paola Mello, Sergio Storari:
Declarative specification and verification of service choreographiess. ACM Trans. Web 4(1): 3:1-3:62 (2010) - [c24]Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali
, Davide Sottara:
An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. HAIS (1) 2010: 438-445 - [c23]Federico Chesani, Paola Mello, Marco Montali
, Paolo Torroni
:
Declarative Technologies for Open Agent Systems and Beyond. KES-AMSTA (1) 2010: 1-5 - [c22]Federico Chesani, Paola Mello, Marco Montali
, Paolo Torroni
:
Role Monitoring in Open Agent Societies. KES-AMSTA (1) 2010: 112-121
2000 – 2009
- 2009
- [b1]Marco Montali:
Specification and Verification of Declarative Open Interaction Models - A Logic-based framework. University of Bologna, Italy, 2009 - [j2]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali
, Fabrizio Riguzzi
, Sergio Storari:
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. 2: 278-295 (2009) - [c21]Alessio Bottrighi
, Federico Chesani, Paola Mello, Marco Montali
, Stefania Montani
, Sergio Storari, Paolo Terenziani
:
Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. KR4HC 2009: 76-87 - [c20]Alessio Bottrighi
, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali
, Stefania Montani
, Sergio Storari, Paolo Terenziani
, Mauro Torchio:
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. AIME 2009: 91-95 - [c19]Paolo Torroni
, Federico Chesani, Paola Mello, Marco Montali
:
Social Commitments in Time: Satisfied or Compensated. DALT 2009: 228-243 - [c18]Marco Alberti
, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli
, Evelina Lamma, Marco Montali
, Paola Mello, Paolo Torroni
:
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261 - [c17]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96 - [c16]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verifying A-Priori the Composition of Declarative Specified Services. MALLOW 2009 - 2008
- [j1]Marco Alberti
, Federico Chesani, Marco Gavanelli
, Evelina Lamma, Paola Mello, Marco Montali
, Paolo Torroni
:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12(4): 9-38 (2008) - [c15]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Modeling and Verification of Business Processes and Choreographies in ALP. Il Milione 2008 - [c14]Federico Chesani, Paola Mello, Marco Montali
, Fabrizio Riguzzi
, Maurizio Sebastianis, Sergio Storari:
Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops 2008: 134-145 - [c13]Marco Montali
, Paolo Torroni
, Marco Alberti
, Federico Chesani, Marco Gavanelli
, Evelina Lamma, Paola Mello:
Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454 - [c12]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008 - [c11]Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72 - [p1]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali
, Sergio Storari, Paola Baldazzi, Marilena Manfredi:
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Computer-based Medical Guidelines and Protocols 2008: 183-192 - 2007
- [c10]Federico Chesani, Paola Mello, Marco Montali, Sergio Storari:
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME 2007: 479-488 - [c9]Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359 - [c8]Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
:
-Tropos. CLIMA 2007: 157-176 - [c7]Marco Alberti
, Federico Chesani, Marco Gavanelli
, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
:
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83 - [c6]Marco Alberti, Federico Chesani, Marco Gavanelli
, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288 - [i1]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007 - 2006
- [c5]Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari:
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. ISMIS 2006: 338-343 - [c4]Marco Alberti, Marco Gavanelli
, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali:
An abductive framework for a-priori verification of web services. PPDP 2006: 39-50 - [c3]Marco Alberti, Federico Chesani, Marco Gavanelli
, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
:
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72 - 2005
- [c2]Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari:
Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS 2005: 503-505 - [c1]Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari:
Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192
Coauthor Index
![](https://dblp1.uni-trier.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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint