Cover Image

DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Casas-Ramos, Jacobo, Lama, Manuel, Mucientes, Manuel
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Gradual Drift Detection in Process Models Using Conformance Metrics
by: Gallego-Fontenla, Victor, et al.
Published: (2022)

Towards a Declarative Agentic Layer for Intelligent Agents in MCP-Based Server Ecosystems
by: Rodriguez-Sanchez, Maria Jesus, et al.
Published: (2026)

Towards Explainable Clustering: A Constrained Declarative based Approach
by: Guilbert, Mathieu, et al.
Published: (2024)

Semantic Operators: A Declarative Model for Rich, AI-based Data Processing
by: Patel, Liana, et al.
Published: (2024)

Declarative Privacy-Preserving Inference Queries
by: Guan, Hong, et al.
Published: (2024)

PDL: A Declarative Prompt Programming Language
by: Vaziri, Mandana, et al.
Published: (2024)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

Aligner: Efficient Alignment by Learning to Correct
by: Ji, Jiaming, et al.
Published: (2024)

Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems
by: Lee, Alexander W., et al.
Published: (2025)

PalimpChat: Declarative and Interactive AI analytics
by: Liu, Chunwei, et al.
Published: (2025)

MetaAligner: Towards Generalizable Multi-Objective Alignment of Language Models
by: Yang, Kailai, et al.
Published: (2024)

Credo: Declarative Control of LLM Pipelines via Beliefs and Policies
by: Lu, Duo, et al.
Published: (2026)

From Ethical Declarations to Provable Independence: An Ontology-Driven Optimal-Transport Framework for Certifiably Fair AI Systems
by: Bhattacharya, Sukriti, et al.
Published: (2025)

NeMo-Aligner: Scalable Toolkit for Efficient Model Alignment
by: Shen, Gerald, et al.
Published: (2024)

Declarative Data Services: Structured Agentic Discovery for Composing Data Systems
by: Ye, Shanshan, et al.
Published: (2026)

Declarative Techniques for NL Queries over Heterogeneous Data
by: Khabiri, Elham, et al.
Published: (2025)

Logical Robots: Declarative Multi-Agent Programming in Logica
by: Skvortsov, Evgeny, et al.
Published: (2026)

Declarative Scenario-based Testing with RoadLogic
by: Bartocci, Ezio, et al.
Published: (2026)

On Developers' Self-Declaration of AI-Generated Code: An Analysis of Practices
by: Kashif, Syed Mohammad, et al.
Published: (2025)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
by: Bogdanov, Eli, et al.
Published: (2025)

Generative Models are Self-Watermarked: Declaring Model Authentication through Re-Generation
by: Desu, Aditya, et al.
Published: (2024)

A Declarative System for Optimizing AI Workloads
by: Liu, Chunwei, et al.
Published: (2024)

Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets
by: Eiter, Thomas, et al.
Published: (2024)

Meta-Cognitive Analysis: Evaluating Declarative and Procedural Knowledge in Datasets and Large Language Models
by: Li, Zhuoqun, et al.
Published: (2024)

Declare and Justify: Explicit assumptions in AI evaluations are necessary for effective regulation
by: Barnett, Peter, et al.
Published: (2024)

Experiment-as-Code Labs: A Declarative Stack for AI-Driven Scientific Discovery
by: Yang, Zhenning, et al.
Published: (2026)

Aligners: Decoupling LLMs and Alignment
by: Ngweta, Lilian, et al.
Published: (2024)

Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language
by: Faghihi, Hossein Rajaby, et al.
Published: (2024)

From Imperative to Declarative: Towards LLM-friendly OS Interfaces for Boosted Computer-Use Agents
by: Wang, Yuan, et al.
Published: (2025)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
by: Daunis, Ivan
Published: (2025)

Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs
by: Glenn, Parker, et al.
Published: (2025)

LeapVAD: A Leap in Autonomous Driving via Cognitive Perception and Dual-Process Thinking
by: Ma, Yukai, et al.
Published: (2025)

A Declarative Goal-oriented Framework for Smart Environments with LPaaS
by: Bisicchia, Giuseppe, et al.
Published: (2021)

Robust 3D Point Clouds Classification based on Declarative Defenders
by: Li, Kaidong, et al.
Published: (2024)

A Scalable and Near-Optimal Conformance Checking Approach for Long Traces
by: Bogdanov, Eli, et al.
Published: (2024)