Cover Image

Solving reachability problems on data-aware workflows

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	De Masellis, Riccardo, Di Francescomarino, Chiara, Ghidini, Chiara, Tessaris, Sergio
Format:	Preprint
Published:	2019
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing unsatisfiable cores for LTLf specifications
by: Roveri, Marco, et al.
Published: (2022)

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

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

Distributed First Order Logic
by: Ghidini, Chiara, et al.
Published: (2015)

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

Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)

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

Can LLM Aid in Solving Constraints with Inductive Definitions?
by: Feng, Weizhi, et al.
Published: (2026)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
by: Li, Jinzhao, et al.
Published: (2025)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
by: Fandinno, Jorge, et al.
Published: (2024)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
by: El-Kholany, Mohammed M. S., et al.
Published: (2022)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
by: Zese, Riccardo, et al.
Published: (2023)

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

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
by: Liang, Zhenwen, et al.
Published: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
by: Gonzalez, Salwa Tabet, et al.
Published: (2024)

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

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
by: Van Kieu, Tuyen, et al.
Published: (2026)

A Theoretical Review on Solving Algebra Problems
by: Yu, Xinguo, et al.
Published: (2024)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
by: Huang, Litian, et al.
Published: (2024)

Context-aware, Ante-hoc Explanations of Driving Behaviour
by: Grundt, Dominik, et al.
Published: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
by: Liu, Qi, et al.
Published: (2025)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
by: Zhang, Leizhen, et al.
Published: (2026)

Learning to Solve and Optimize by Evolving Code
by: Semmelrock, Veronika, et al.
Published: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
by: Defresne, Marianne, et al.
Published: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
by: Li, Jinzhao, et al.
Published: (2023)

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

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

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

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

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

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

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

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

Solving Formal Math Problems by Decomposition and Iterative Reflection
by: Zhou, Yichi, et al.
Published: (2025)

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm
by: Stevens, Lukas, et al.
Published: (2025)

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

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

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