Cover Image

Monitoring Data-aware Temporal Properties (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gianola, Alessandro, Montali, Marco, Winkler, Sarah
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Object-centric Processes with Structured Data and Exact Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
by: Seidel, Anjo, et al.
Published: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)

Depth-Bounded Epistemic Planning
by: Bolander, Thomas, et al.
Published: (2024)

Supplementary Materials for "Efficient Conformance Checking of Rich Data-Aware Declare Specifications" - Including Source Code, Executable, Dataset and Raw Results
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

Generating Counterfactual Explanations Under Temporal Constraints
by: Buliga, Andrei, et al.
Published: (2025)

Detecting Dynamic Relationships in Object-Centric Event Logs
by: Gianola, Alessandro, et al.
Published: (2026)

A General Automata Model for First-Order Temporal Logics (Extended Version)
by: Geatti, Luca, et al.
Published: (2024)

T-ILR: a Neurosymbolic Integration for LTLf
by: Andreoni, Riccardo, et al.
Published: (2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
by: Artale, Alessandro, et al.
Published: (2025)

The Explanation Game -- Rekindled (Extended Version)
by: Marques-Silva, Joao, et al.
Published: (2025)

Achieving Fairness in Predictive Process Analytics via Adversarial Learning (Extended Version)
by: de Leoni, Massimiliano, et al.
Published: (2024)

Mechanisms for Data Sharing in Collaborative Causal Inference (Extended Version)
by: Filter, Björn, et al.
Published: (2024)

Formal Foundations of Agentic Business Process Management
by: De Giacomo, Giuseppe, et al.
Published: (2026)

On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
by: Alman, Anti, et al.
Published: (2026)

Towards Climate Variable Prediction with Conditioned Spatio-Temporal Normalizing Flows
by: Winkler, Christina, et al.
Published: (2023)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
by: Khan, Shakil M., et al.
Published: (2024)

A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
by: Christen, Remo, et al.
Published: (2025)

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
by: Mordoch, Argaman, et al.
Published: (2024)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
by: Blümel, Lydia, et al.
Published: (2024)

Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
by: Andrews, Uri, et al.
Published: (2026)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
by: Chen, Dillon Z., et al.
Published: (2025)

PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)
by: Grundke, Claudia, et al.
Published: (2025)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
by: Gorczyca, Piotr, et al.
Published: (2025)

Planning with OWL-DL Ontologies (Extended Version)
by: John, Tobias, et al.
Published: (2024)

Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
by: Rosa, Giacomo, et al.
Published: (2026)

A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
by: Thielscher, Michael, et al.
Published: (2026)

Synchronizing Process Model and Event Abstraction for Grounded Process Intelligence (Extended Version)
by: Benzin, Janik-Vasily, et al.
Published: (2025)

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
by: Troquard, Nicolas, et al.
Published: (2023)

On the Performance of Concept Probing: The Influence of the Data (Extended Version)
by: Ribeiro, Manuel de Sousa, et al.
Published: (2025)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
by: Andrews, Uri, et al.
Published: (2025)

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
by: Belardinelli, Gaia, et al.
Published: (2025)

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2020)

First-Order LTLf Synthesis with Lookback (Extended Version)
by: Winkler, Sarah
Published: (2025)

STD-PLM: Understanding Both Spatial and Temporal Properties of Spatial-Temporal Data with PLM
by: Huang, YiHeng, et al.
Published: (2024)

Abducing Compliance of Incomplete Event Logs
by: Chesani, Federico, et al.
Published: (2016)

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
by: Ren, Lin, et al.
Published: (2025)