Lista de obras - Marco Montali - Dominio Público Uruguay

A Computational Logic Application Framework for Service Discovery and Contracting

artículo científico publicado en 2011

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

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

artículo científico publicado en 2012

A Tool for the Verification of Data-Aware Business Processes

artículo científico publicado en 2018

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

AI-augmented Business Process Management Systems: A Research Manifesto

artículo científico publicado en 2023

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning

artículo científico publicado en 2010

An Operational Decision Support Framework for Monitoring Business Constraints

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines

Checking Compliance of Execution Traces to Business Rules

artículo científico publicado en 2009

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

artículo científico publicado en 2015

Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs ⬇️

scientific paper published in CEUR-WS Volume 3194

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

Declarative Process Modeling in BPMN

artículo científico publicado en 2015

Declarative Technologies for Open Agent Systems and Beyond

artículo científico publicado en 2010

Declarative specification and verification of service choreographiess

article published in 2010

Description Logic Knowledge and Action Bases

artículo científico publicado en 2013

Discovering Data-Aware Declarative Process Models from Event Logs

Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$ -Tropos

artículo científico publicado en 2010

Ensuring Model Consistency in Declarative Process Discovery

artículo científico publicado en 2015

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

artículo científico publicado en 2011

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

article published in 2009

Expressing and Verifying Business Contracts with Abductive Logic Programming

artículo científico publicado en 2008

Extracting Event Data from Document-Driven Enterprise Systems

Formal Verification of Petri Nets with Names

artículo científico publicado en 2016

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

artículo científico publicado en 2010

Foundations of data-aware process analysis

artículo científico publicado en 2013

Fuzzy Conformance Checking of Observed Behaviour with Expectations

artículo científico publicado en 2011

Gamified children universities

artículo científico publicado en 2014

Implementing and Running Data-Centric Dynamic Systems

artículo científico publicado en 2013

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

artículo científico publicado en 2009

Introduction

artículo científico publicado en 2010

MONITORING TIME-AWARE COMMITMENTS WITHIN AGENT-BASED SIMULATION ENVIRONMENTS

artículo científico publicado en 2011

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

artículo científico publicado en 2016

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

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

artículo científico publicado en 2014

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

artículo científico publicado en 2022

Monitoring business constraints with the event calculus

Monitoring data-aware business constraints with finite state automata

artículo científico publicado en 2014

Process Fragment Recognition in Clinical Documents

artículo científico publicado en 2013

Process Mining Manifesto

artículo científico publicado en 2012

Reactive Event Calculus for Monitoring Global Computing Applications

artículo científico publicado en 2012

Representing and monitoring social commitments using the event calculus

artículo científico publicado en 2012

Resolving inconsistencies and redundancies in declarative process models

artículo científico publicado en 2017

Role Monitoring in Open Agent Societies

artículo científico publicado en 2010

Run-Time Verification of MSMAS Norms Using Event Calculus

artículo científico publicado en 2014

Runtime Verification of LTL-Based Declarative Process Models

Semantic Enrichment of GSM-Based Artifact-Centric Models

artículo científico publicado en 2014

Social Commitments in Time: Satisfied or Compensated

artículo científico publicado en 2010

Soundness of data-aware, case-centric processes

artículo científico publicado en 2016

Towards data-aware constraints in declare

artículo científico publicado en 2013

Verifiable UML Artifact-Centric Business Process Models ⬇️

artículo científico publicado en 2014

Verification and Synthesis in Description Logic Based Dynamic Systems

artículo científico publicado en 2013

Verification from Declarative Specifications Using Logic Programming

artículo científico publicado en 2008

Verification of Artifact-Centric Systems: Decidability and Modeling Issues

artículo científico publicado en 2013

Verification of Query Completeness over Processes

artículo científico publicado en 2013

Verification of Semantically-Enhanced Artifact Systems

artículo científico publicado en 2013

Verification of Unary Communicating Datalog Programs

artículo científico publicado en 2024

Verification of relational data-centric dynamic systems with external services

artículo científico publicado en 2013

Lista de obras de Marco Montali

A Computational Logic Application Framework for Service Discovery and Contracting

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

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

A Tool for the Verification of Data-Aware Business Processes

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

AI-augmented Business Process Management Systems: A Research Manifesto

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning

An Operational Decision Support Framework for Monitoring Business Constraints

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines

Checking Compliance of Execution Traces to Business Rules

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

Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs ⬇️

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

Declarative Process Modeling in BPMN

Declarative Technologies for Open Agent Systems and Beyond

Declarative specification and verification of service choreographiess

Description Logic Knowledge and Action Bases

Discovering Data-Aware Declarative Process Models from Event Logs

Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$ -Tropos

Ensuring Model Consistency in Declarative Process Discovery

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

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

Expressing and Verifying Business Contracts with Abductive Logic Programming

Extracting Event Data from Document-Driven Enterprise Systems

Formal Verification of Petri Nets with Names

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

Foundations of data-aware process analysis

Fuzzy Conformance Checking of Observed Behaviour with Expectations

Gamified children universities

Implementing and Running Data-Centric Dynamic Systems

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Introduction

MONITORING TIME-AWARE COMMITMENTS WITHIN AGENT-BASED SIMULATION ENVIRONMENTS

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

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

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Monitoring business constraints with the event calculus

Monitoring data-aware business constraints with finite state automata

Process Fragment Recognition in Clinical Documents

Process Mining Manifesto

Reactive Event Calculus for Monitoring Global Computing Applications

Representing and monitoring social commitments using the event calculus

Resolving inconsistencies and redundancies in declarative process models

Role Monitoring in Open Agent Societies

Run-Time Verification of MSMAS Norms Using Event Calculus

Runtime Verification of LTL-Based Declarative Process Models

Semantic Enrichment of GSM-Based Artifact-Centric Models

Social Commitments in Time: Satisfied or Compensated

Soundness of data-aware, case-centric processes

Towards data-aware constraints in declare

Verifiable UML Artifact-Centric Business Process Models ⬇️

Verification and Synthesis in Description Logic Based Dynamic Systems

Verification from Declarative Specifications Using Logic Programming

Verification of Artifact-Centric Systems: Decidability and Modeling Issues

Verification of Query Completeness over Processes

Verification of Semantically-Enhanced Artifact Systems

Verification of Unary Communicating Datalog Programs

Verification of relational data-centric dynamic systems with external services