Marco Montali

Oswald Lanz

Proceedings of the Ital-IA Intelligenza Artificiale, 2024

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.

[BibT_eX]

[DOI]

Shriram Krishnamurthi

Tim Nelson

Milda Zizyte

Proceedings of the Formal Methods - 26th International Symposium, 2024

AI for Declarative Processes: Representation, Mining, Synthesis.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Stochastic Process Discovery: Can It Be Done Optimally?

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2024

Object-Centric Conformance Alignments with Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2024

On the Flexibility of Declarative Process Specifications.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2024

Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 22nd International Conference, 2024

Explainable DMN.

[BibT_eX]

[DOI]

Carl Corea

Timotheus Kampik

Proceedings of the Business Process Management Forum, 2024

Glocal Conformance Checking.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 22nd International Conference, 2024

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Foundations of Reactive Synthesis for Declarative Process Specifications.

[BibT_eX]

[DOI]

Luca Geatti

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Process Discovery on Deviant Traces and Other Stranger Things.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., November, 2023

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., November, 2023

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory.

[BibT_eX]

[DOI]

Inf. Syst., October, 2023

Data-aware conformance checking with SMT.

[BibT_eX]

[DOI]

Inf. Syst., July, 2023

Conceptually-grounded mapping patterns for Virtual Knowledge Graphs.

[BibT_eX]

[DOI]

Data Knowl. Eng., May, 2023

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, May, 2023

The biggest business process management problems to solve before we die.

[BibT_eX]

[DOI]

Comput. Ind., April, 2023

AI-augmented Business Process Management Systems: A Research Manifesto.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., March, 2023

Object-Centric Conformance Alignments with Synchronization (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review.

[BibT_eX]

[DOI]

Alessandro Berti

CoRR, 2023

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

A Semantic Approach to Decidability in Epistemic Planning (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

DELPHIC: Practical DEL Planning via Possibilities (Extended Version).

[BibT_eX]

[DOI]

Alessandro Burigana

Jan Martijn E. M. van der Werf

CoRR, 2023

On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2023

delphic: Practical DEL Planning via Possibilities.

[BibT_eX]

[DOI]

Alessandro Burigana

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract).

[BibT_eX]

[DOI]

Sander J. J. Leemans

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Safety Verification and Universal Invariants for Relational Action Bases.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Implementing Object-Centric Event Data Models in Event Knowledge Graphs.

[BibT_eX]

[DOI]

Ava Swevels

Dirk Fahland

Proceedings of the Process Mining Workshops, 2023

Declare MoGeS: Model Generator and Specializer.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023

Plan Recognition as Probabilistic Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Process Mining, 2023

Repairing Soundness Properties in Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Process Mining, 2023

A Semantic Approach to Decidability in Epistemic Planning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Direct Mappings under the Lens of Information Capacity (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Extracting Event Data from Document-Driven Enterprise Systems.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2023

An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Forum, 2023

Equivalence of Data Petri Nets with Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2023

Approximating Multi-perspective Trace Alignment Using Trace Encodings.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 21st International Conference, 2023

Foundations of Collaborative sfDECLARE.

[BibT_eX]

[DOI]

Luca Geatti

Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management Forum, 2023

The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining.

[BibT_eX]

[DOI]

Alberto José Bugarín Diz

Proceedings of the Best Dissertation Award, 2023

Generating Event Logs from Hybrid Process Models.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2023

There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

Monitoring Arithmetic Temporal Properties on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

SMT Safety Verification of Ontology-Based Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019.

[BibT_eX]

[DOI]

Paul Fodor

Theory Pract. Log. Program., 2022

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Combination of Uniform Interpolants via Beth Definability.

[BibT_eX]

[DOI]

J. Autom. Reason., 2022

Special issue: BPM 2018 selected papers in foundations and engineering.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Petri net-based object-centric processes with read-only data.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Probabilistic declarative process mining.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Special Issue on Multi-Level Modeling Process Challenge Editorial.

[BibT_eX]

[DOI]

João Paulo A. Almeida

Thomas Kühne

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022

Reactive Synthesis for DECLARE via symbolic automata.

[BibT_eX]

[DOI]

Luca Geatti

CoRR, 2022

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Conformance Checking with Uncertainty via SMT (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

CTL* model checking for data-aware dynamic systems with arithmetic.

[BibT_eX]

[DOI]

CoRR, 2022

Augmented Business Process Management Systems: A Research Manifesto.

[BibT_eX]

[DOI]

CoRR, 2022

Optimising Business Process Discovery Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Reasoning and Verification with Data Petri Nets.

[BibT_eX]

[DOI]

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), 2022

Verification of Generic, Relational Transition Systems.

[BibT_eX]

[DOI]

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction.

[BibT_eX]

[DOI]

Proceedings of the Process Mining Workshops, 2022

Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Design, Operations, and Computing, 2022

Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Soundness of Data-Aware Processes with Arithmetic Conditions.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2022

Multi-model Monitoring Framework for Hybrid Process Specifications.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2022

CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Constraints for Process Framing in AI-Augmented BPM.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2022

Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting.

[BibT_eX]

[DOI]

Sander J. J. Leemans

Proceedings of the Business Process Management - 20th International Conference, 2022

Conformance Checking with Uncertainty via SMT.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 20th International Conference, 2022

What Can Database Query Processing Do for Instance-Spanning Constraints?

[BibT_eX]

[DOI]

Heba Aamer

Jan Martijn E. M. van der Werf

Jan Van den Bussche

Proceedings of the Business Process Management Workshops, 2022

Data and Process Resonance - Identifier Soundness for Models of Information Systems.

[BibT_eX]

[DOI]

Artem Polyvyanyy

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

A Modular SMT-based Approach for Data-aware Conformance Checking.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework.

[BibT_eX]

[DOI]

Alessandro Burigana

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Declarative Process Specifications: Reasoning, Discovery, Monitoring.

[BibT_eX]

[DOI]

Claudio Di Ciccio

Proceedings of the Process Mining Handbook, 2022

2021

Unleashing textual descriptions of business processes.

[BibT_eX]

[DOI]

Josep Sànchez-Ferreres

Softw. Syst. Model., 2021

Integrating BPMN and DMN: Modeling and Analysis.

[BibT_eX]

[DOI]

J. Data Semant., 2021

Model Completeness, Uniform Interpolants and Superposition Calculus.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Formal foundations for responsible application integration.

[BibT_eX]

[DOI]

Inf. Syst., 2021

Preface.

[BibT_eX]

[DOI]

Maurizio Proietti

Fundam. Informaticae, 2021

Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach.

[BibT_eX]

[DOI]

CoRR, 2021

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Probabilistic Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Process Mining, 2021

Automated Reasoning for Reinforcement Learning Agents in Structured Environments.

[BibT_eX]

[DOI]

Matteo Papini

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Convergence Verification of Declarative Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

Refining Case Models Using Cardinality Constraints.

[BibT_eX]

[DOI]

Stephan Haarmann

Mathias Weske

Proceedings of the Advanced Information Systems Engineering, 2021

ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2021

A Tool for Computing Probabilistic Trace Alignments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

Human Behavior as a Process Model: Which Language to Use?

[BibT_eX]

[DOI]

Gemma Di Federico

Andrea Burattin

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

Process Mining with Common Sense.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021) co-located with the 19th International Conference on Business Process Management (BPM 2021), 2021

Exploring the Conformance Space (Extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

Aligning Data-Aware Declarative Process Models and Event Logs.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

RuM: Declarative Process Mining, Distilled.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

SMT-based Safety Checking of Parameterized Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019).

[BibT_eX]

[DOI]

Paul Fodor

José Miguel Pérez-Álvarez

ACM SIGLOG News, 2020

SMT-based verification of data-aware processes: a model-theoretic approach.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2020

Verifying the manipulation of data objects according to business process and data models.

[BibT_eX]

[DOI]

María Teresa Gómez-López

Rik Eshuis

Rafael M. Gasca

Knowl. Inf. Syst., 2020

Technical Report: Refining Case Models Using Cardinality Constraints.

[BibT_eX]

[DOI]

Stephan Haarmann

Mathias Weske

CoRR, 2020

Mapping Patterns for Virtual Knowledge Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

Formalizing Integration Patterns with Multimedia Data (Extended Version).

[BibT_eX]

[DOI]

Daniel Ritter

CoRR, 2020

SMT-based Safety Verification of Parameterised Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

On the Formalization of Decentralized Contact Tracing Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Formalizing Integration Patterns with Multimedia Data.

[BibT_eX]

[DOI]

Daniel Ritter

Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020

Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Probabilistic Conformance Checking Based on Declarative Process Models.

[BibT_eX]

[DOI]

Rafael Peñaloza

Proceedings of the Advanced Information Systems Engineering, 2020

Combined Covers and Beth Definability.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Extending Temporal Business Constraints with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 18th International Conference, 2020

Petri Nets with Parameterised Data - Modelling and Verification.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 18th International Conference, 2020

Temporal Logics Over Finite Traces with Uncertainty.

[BibT_eX]

[DOI]

Rafael Peñaloza

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.

[BibT_eX]

[DOI]

CoRR, 2019

From DB-nets to Coloured Petri Nets with Priorities (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Probabilistic Temporal Logic over Finite Traces (Technical Report).

[BibT_eX]

[DOI]

Rafael Peñaloza

CoRR, 2019

Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

Compliance Monitoring of Multi-Perspective Declarative Process Models.

[BibT_eX]

[DOI]

Ubaier Bhat

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

Representing and Querying Norm States Using Temporal Ontology-Based Data Access.

[BibT_eX]

[DOI]

Evellin Cardoso

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

A Preliminary Framework for Strategic and Compliance Monitoring.

[BibT_eX]

[DOI]

Evellin Cardoso

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Workshop, 2019

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Model Completeness, Covers and Superposition (Abridged Version).

[BibT_eX]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Modeling and In-Database Management of Relational, Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

Fifty Shades of Green: How Informative is a Compliant Process Trace?

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

Model Completeness, Covers and Superposition.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

Formal Reasoning on Natural Language Descriptions of Processes.

[BibT_eX]

[DOI]

Josep Sànchez-Ferreres

Proceedings of the Business Process Management - 17th International Conference, 2019

Putting Decisions in Perspective.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 17th International Conference, 2019

Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.

[BibT_eX]

[DOI]

Alessandro Artale

Alisa Kovtunova

Proceedings of the Business Process Management - 17th International Conference, 2019

From Model Completeness to Verification of Data Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Enriching Data Models with Behavioral Constraints.

[BibT_eX]

[DOI]

Alessandro Artale

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

From DB-nets to Coloured Petri Nets with Priorities.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

Multi-party business process compliance monitoring through IoT-enabled artifacts.

[BibT_eX]

[DOI]

Inf. Syst., 2018

On the relevance of a business constraint to an event log.

[BibT_eX]

[DOI]

Inf. Syst., 2018

Semantics, Analysis and Simplification of DMN Decision Tables.

[BibT_eX]

[DOI]

Inf. Syst., 2018

First-order μ-calculus over generic transition systems and applications to the situation calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning.

[BibT_eX]

[DOI]

Paola Mello

Chiara Ghidini

Fundam. Informaticae, 2018

Evaluating Compliance: From LTL to Abductive Logic Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Modelling and Enactment of Data-aware Processes.

[BibT_eX]

[DOI]

CoRR, 2018

Catalog of Formalized Application Integration Patterns.

[BibT_eX]

[DOI]

CoRR, 2018

Verification of Data-Aware Processes via Array-Based Systems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

Quantifier Elimination for Database Driven Verification.

[BibT_eX]

[DOI]

CoRR, 2018

A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version).

[BibT_eX]

[DOI]

CoRR, 2018

A Holistic Approach for Soundness Verification of Decision-Aware Process Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Conceptual Schema Transformation in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Formalizing Application Integration Patterns.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

BPM: Foundations, Engineering, Management.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 16th International Conference, 2018

Verification of Fixed-Topology Declarative Distributed Systems with External Data.

[BibT_eX]

[DOI]

Jorge Lobo

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

A Tool for the Verification of Data-Aware Business Processes.

[BibT_eX]

[DOI]

Luca Sabiucciu

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Complexity of Reachability for Data-Aware Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Process Management in Construction: Expansion of the Bolzano Hospital.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Cases, 2018

2017

DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2017

Resolving inconsistencies and redundancies in declarative process models.

[BibT_eX]

[DOI]

Inf. Syst., 2017

Semantics and Analysis of DMN Decision Tables.

[BibT_eX]

EMISA Forum, 2017

Object-Centric Behavioral Constraints.

[BibT_eX]

[DOI]

Guangming Li

CoRR, 2017

OBDA for Log Extraction in Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Semantic DMN: Formalizing Decision Models with Domain Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

From Zero to Hero: A Process Mining Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2017

Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation.

[BibT_eX]

[DOI]

Paola Mello

Proceedings of the Foundations of Intelligent Systems - 23rd International Symposium, 2017

IoT-Based Compliance Checking of Multi-party Business Processes Modeled with Commitments.

[BibT_eX]

[DOI]

Pierluigi Plebani

Proceedings of the Service-Oriented and Cloud Computing, 2017

Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.

[BibT_eX]

[DOI]

Alessandro Artale

Simone Tritini

Proceedings of the 30th International Workshop on Description Logics, 2017

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.

[BibT_eX]

[DOI]

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems - 20th International Conference, 2017

Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.

[BibT_eX]

[DOI]

Chiara Ghidini

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Soundness of data-aware, case-centric processes.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Model checking Petri nets with names using data-centric dynamic systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

On First-Order μ-Calculus over Situation Calculus Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Plan Synthesis for Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Synthesizing and Executing Plans in Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Towards a Graphical Language for Process Modelling in Construction.

[BibT_eX]

[DOI]

Proceedings of the CAiSE'16 Forum, 2016

Semantical Vacuity Detection in Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 14th International Conference, 2016

Towards Data- and Norm-Aware Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Abducing Compliance of Incomplete Event Logs.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Semantic Enrichment of GSM-Based Artifact-Centric Models.

[BibT_eX]

[DOI]

J. Data Semant., 2015

Compliance monitoring in business processes: Functionalities, application, and tool-support.

[BibT_eX]

[DOI]

Inf. Syst., 2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version).

[BibT_eX]

[DOI]

Ario Santoso

CoRR, 2015

Well Structured Transition Systems with History.

[BibT_eX]

[DOI]

Parosh Aziz Abdulla

Giorgio Delzanno

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Formal Verification of Petri Nets with Names.

[BibT_eX]

[DOI]

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Leveraging Relational Technology for Data-Centric Dynamic Systems.

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.

[BibT_eX]

[DOI]

Ario Santoso

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Inconsistency Management in Generalized Knowledge and Action Bases.

[BibT_eX]

[DOI]

Ario Santoso

Proceedings of the 28th International Workshop on Description Logics, 2015

Declarative Process Modeling in BPMN.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2015

Ensuring Model Consistency in Declarative Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 13th International Conference, 2015

Ontology-Driven Extraction of Event Logs from Relational Databases.

[BibT_eX]

[DOI]

Alifah Syamsiyah

Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Implementing Data-Centric Dynamic Systems over a Relational DBMS.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

Verification of Relational Multiagent Systems with Data Types.

[BibT_eX]

[DOI]

Giorgio Delzanno

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Monitoring in the Healthcare Setting.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014

LTLf and LDLf Monitoring: A Technical Report.

[BibT_eX]

[DOI]

CoRR, 2014

Verifiable UML Artifact-Centric Business Process Models (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2014

Verification of Relational Multiagent Systems with Data Types (Extended Version).

[BibT_eX]

[DOI]

Giorgio Delzanno

CoRR, 2014

Adding Context to Knowledge and Action Bases.

[BibT_eX]

[DOI]

CoRR, 2014

Run-Time Verification of MSMAS Norms Using Event Calculus.

[BibT_eX]

[DOI]

Emad Eldeen Elakehal

Julian A. Padget

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

State-Boundedness in Data-Aware Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Verification of Context-Sensitive Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Monitoring data-aware business constraints with finite state automata.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and Systems Process 2014, 2014

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

Verifiable UML Artifact-Centric Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Gamified children universities: an exploratory study.

[BibT_eX]

[DOI]

Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19, 2014

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 12th International Conference, 2014

Verification of data-aware commitment-based multiagent system.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Verification of Human Driven Data-Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Spring Symposia, 2014

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Monitoring business constraints with the event calculus.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Description Logic Knowledge and Action Bases.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2013

Verification of Query Completeness over Processes [Extended Version].

[BibT_eX]

[DOI]

Simon Razniewski

Werner Nutt

CoRR, 2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2013

Representing and monitoring social commitments using the event calculus.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2013

Implementing and Running Data-Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Towards data-aware constraints in declare.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Verification of relational data-centric dynamic systems with external services.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Foundations of data-aware process analysis: a database theory perspective.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Verifying MSMAS Model Using CIFF.

[BibT_eX]

[DOI]

Emad Eldeen Elakehal

Julian A. Padget

Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Automated Activity Recognition in Clinical Documents.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Verification of Artifact-Centric Systems: Decidability and Modeling Issues.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Verification of Semantically-Enhanced Artifact Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Verification of Query Completeness over Processes.

[BibT_eX]

[DOI]

Simon Razniewski

Werner Nutt

Proceedings of the Business Process Management - 11th International Conference, 2013

Discovering Data-Aware Declarative Process Models from Event Logs.

[BibT_eX]

[DOI]

Marlon Dumas

Luciano García-Bañuelos

Proceedings of the Business Process Management - 11th International Conference, 2013

Towards a Reference Implementation for Data Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2013

Process Fragment Recognition in Clinical Documents.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).

[BibT_eX]

[DOI]

Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

Ontology-Based Governance of Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Semantically-Governed Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

An Operational Decision Support Framework for Monitoring Business Constraints.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Verification of Description Logic Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Reactive Event Calculus for Monitoring Global Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

Combining Process and Ontological Modeling.

[BibT_eX]

[DOI]

Dmitry Solomakhin

Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

2011

A Computational Logic Application Framework for Service Discovery and Contracting.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2011

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.

[BibT_eX]

[DOI]

Cybern. Syst., 2011

Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2011

Runtime Verification of LTL-Based Declarative Process Models.

[BibT_eX]

[DOI]

Michael Westergaard

Proceedings of the Runtime Verification - Second International Conference, 2011

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.

[BibT_eX]

[DOI]

Michael Westergaard

Proceedings of the Business Process Management - 9th International Conference, 2011

Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2011

Process Mining Manifesto.

[BibT_eX]

[DOI]

Ana Karla Alves de Medeiros

Arya Adriansyah

Franco Arcieri

Thomas Baier

Tobias Blickle

R. P. Jagadeesh Chandra Bose

Arthur H. M. ter Hofstede

Pavlos Delias

Boudewijn F. van Dongen

Hamid R. Motahari Nezhad

Proceedings of the Business Process Management Workshops, 2011

Fuzzy Conformance Checking of Observed Behaviour with Expectations.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach

[BibT_eX]

[DOI]

Lecture Notes in Business Information Processing 56, Springer, ISBN: 978-3-642-14537-7, 2010

Declarative specification and verification of service choreographiess.

[BibT_eX]

[DOI]

Maja Pesic

Paola Mello

Sergio Storari

ACM Trans. Web, 2010

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2010

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

A Logic-Based, Reactive Calculus of Events.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant.

[BibT_eX]

[DOI]

Luca Luccarini

Gianni Luigi Bragadin

Environ. Model. Softw., 2010

Role Monitoring in Open Agent Societies.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Declarative Technologies for Open Agent Systems and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

2009

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework.

[BibT_eX]

[DOI]