Imagen de Portada

Object-Centric Conformance Alignments with Synchronization (Extended Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gianola, Alessandro, Montali, Marco, Winkler, Sarah
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Monitoring Data-aware Temporal Properties (Extended Version)
por: Gianola, Alessandro, et al.
Publicado: (2026)

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

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

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
por: Salhi, Yakoub
Publicado: (2024)

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

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

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

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
por: Wernhard, Christoph
Publicado: (2017)

Automated planning with ontologies under coherence update semantics (Extended Version)
por: Borgwardt, Stefan, et al.
Publicado: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
por: Cantale, Claudia, et al.
Publicado: (2017)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
por: Fandinno, Jorge, et al.
Publicado: (2025)

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

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
por: Parent, Xavier
Publicado: (2026)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
por: Hecher, Markus, et al.
Publicado: (2024)

Most General Explanations of Tree Ensembles (Extended Version)
por: Izza, Yacine, et al.
Publicado: (2025)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
por: Seifer, Philipp, et al.
Publicado: (2024)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
por: Bertagnon, Alessandro, et al.
Publicado: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2025)

Extending Defeasibility for Propositional Standpoint Logics
por: Leisegang, Nicholas, et al.
Publicado: (2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
por: Gerlach, Lina, et al.
Publicado: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
por: Li, Ying, et al.
Publicado: (2024)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
por: Xu, Yang, et al.
Publicado: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
por: Aria, Hadi Partovi, et al.
Publicado: (2026)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
por: Filipe, João, et al.
Publicado: (2026)

Improving ASP-based ORS Schedules through Machine Learning Predictions
por: Bruno, Pierangela, et al.
Publicado: (2025)

Best-Effort Policies for Robust Markov Decision Processes
por: Abate, Alessandro, et al.
Publicado: (2025)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
por: Buda, Alessandro G., et al.
Publicado: (2026)

A first-order logic characterization of safety and co-safety languages
por: Cimatti, Alessandro, et al.
Publicado: (2022)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
por: Bertini, Flavio, et al.
Publicado: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
por: Cardellini, Matteo, et al.
Publicado: (2024)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
por: Amendola, Giovanni, et al.
Publicado: (2025)

Multi-Property Synthesis
por: Weinhuber, Christoph, et al.
Publicado: (2026)