Cover Image

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cecconi, Alessio, Barbaro, Luca, Di Ciccio, Claudio, Senderovich, Arik
Format:	Preprint
Published:	2023
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)

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

Optimal LTLf Synthesis
by: Cao, Yujian, et al.
Published: (2026)

LTLf Synthesis Under Unreliable Input
by: Hagemeier, Christian, et al.
Published: (2024)

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

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

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

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

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

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
by: Patil, Jaikrishna Manojkumar, et al.
Published: (2025)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
by: Ye, Kangfeng, et al.
Published: (2024)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
by: Xu, Lyris, et al.
Published: (2025)

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

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

Probabilistic Strategy Logic with Degrees of Observability
by: Mu, Chunyan, et al.
Published: (2024)

Decentralized Planning Using Probabilistic Hyperproperties
by: Pontiggia, Francesco, et al.
Published: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

Explainability-Driven Quality Assessment for Rule-Based Systems
by: Seneviratne, Oshani, et al.
Published: (2025)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
by: Lorenzin, Antonio, et al.
Published: (2025)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
by: Jacobs, Bart, et al.
Published: (2023)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

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

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

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

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

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

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

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
by: Heck, Linus, et al.
Published: (2025)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
by: Roy, Rajarshi, et al.
Published: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
by: Finkbeiner, Bernd, et al.
Published: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
by: Švancár, Slavomír, et al.
Published: (2024)

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

Probabilistic and Causal Satisfiability: Constraining the Model
by: Bläser, Markus, et al.
Published: (2025)

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

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)