Imagen de Portada

Computing unsatisfiable cores for LTLf specifications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Roveri, Marco, Di Ciccio, Claudio, Di Francescomarino, Chiara, Ghidini, Chiara
Formato:	Preprint
Publicado:	2022
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

Solving reachability problems on data-aware workflows
por: De Masellis, Riccardo, et al.
Publicado: (2019)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
por: Cecconi, Alessio, et al.
Publicado: (2023)

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
por: Barbaro, Luca, et al.
Publicado: (2025)

Optimal LTLf Synthesis
por: Cao, Yujian, et al.
Publicado: (2026)

LTLf Synthesis Under Unreliable Input
por: Hagemeier, Christian, et al.
Publicado: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
por: Ielo, Antonio, et al.
Publicado: (2024)

A Compositional Framework for On-the-Fly LTLf Synthesis
por: Li, Yongkang, et al.
Publicado: (2025)

Process discovery on deviant traces and other stranger things
por: Chesani, Federico, et al.
Publicado: (2021)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
por: Hofmann, Till, et al.
Publicado: (2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
por: Aminof, Benjamin, et al.
Publicado: (2024)

Distributed First Order Logic
por: Ghidini, Chiara, et al.
Publicado: (2015)

Symbolic Synthesis for LTLf+ Obligations
por: De Giacomo, Giuseppe, et al.
Publicado: (2026)

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

Predictive Process Monitoring Methods: Which One Suits Me Best?
por: Di Francescomarino, Chiara, et al.
Publicado: (2018)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
por: Hausmann, Daniel, et al.
Publicado: (2025)

Constrained Assumption-Based Argumentation Frameworks
por: De Angelis, Emanuele, et al.
Publicado: (2026)

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

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
por: Faella, Marco, et al.
Publicado: (2024)

Guiding the generation of counterfactual explanations through temporal background knowledge for Predictive Process Monitoring
por: Buliga, Andrei, et al.
Publicado: (2024)

Learning to act: a Reinforcement Learning approach to recommend the best next activities
por: Branchi, Stefano, et al.
Publicado: (2022)

Recommending the optimal policy by learning to act from temporal data
por: Branchi, Stefano, et al.
Publicado: (2023)

On-the-fly LTLf Synthesis under Partial Observability
por: Alon, Nadav, et al.
Publicado: (2026)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
por: Di Stefano, Federica, et al.
Publicado: (2025)

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

Learning logic programs by finding minimal unsatisfiable subprograms
por: Cropper, Andrew, et al.
Publicado: (2024)

Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems
por: Ganguly, Abhisek
Publicado: (2025)

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

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
por: de Lima, Tiago, et al.
Publicado: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
por: D'Asaro, Fabio Aurelio, et al.
Publicado: (2022)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
por: Bartholomew, Michael, et al.
Publicado: (2025)

Explainable Predictive Process Monitoring: A User Evaluation
por: Rizzi, Williams, et al.
Publicado: (2022)

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

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

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)