Cover Image

T-ILR: a Neurosymbolic Integration for LTLf

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andreoni, Riccardo, Buliga, Andrei, Daniele, Alessandro, Ghidini, Chiara, Montali, Marco, Ronzani, Massimiliano
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

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

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

Generating the Traces You Need: A Conditional Generative Model for Process Mining Data
by: Graziosi, Riccardo, et al.
Published: (2024)

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

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

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

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

Graph-based Event Log Repair
by: Dissegna, Sebastiano, et al.
Published: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
by: Bizzaro, Davide, et al.
Published: (2025)

Sample-Efficient Neurosymbolic Deep Reinforcement Learning
by: Veronese, Celeste, et al.
Published: (2026)

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

Depth-Bounded Epistemic Planning
by: Bolander, Thomas, et al.
Published: (2024)

Incremental LTLf Synthesis
by: De Giacomo, Giuseppe, et al.
Published: (2026)

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

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

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

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

Computational Grounding of Responsibility Attribution and Anticipation in LTLf
by: De Giacomo, Giuseppe, et al.
Published: (2024)

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

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

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
by: De Giacomo, Giuseppe, et al.
Published: (2025)

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

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

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

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

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

Neurosymbolic Graph Enrichment for Grounded World Models
by: De Giorgis, Stefano, et al.
Published: (2024)

Advancing Symbolic Integration in Large Language Models: Beyond Conventional Neurosymbolic AI
by: Rani, Maneeha, et al.
Published: (2025)

The DeepLog Neurosymbolic Machine
by: Derkinderen, Vincent, et al.
Published: (2025)

Neurosymbolic Deep Learning Semantics
by: Garcez, Artur d'Avila, et al.
Published: (2025)

Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)

Neurosymbolic Methods for Rule Mining
by: Lawrynowicz, Agnieszka, et al.
Published: (2024)

Neurosymbolic Conformal Classification
by: Ledaguenel, Arthur, et al.
Published: (2024)

Neurosymbolic Learning for Inference-Time Argumentation
by: Freedman, Gabriel, et al.
Published: (2026)

Neurosymbolic Methods for Dynamic Knowledge Graphs
by: Alam, Mehwish, et al.
Published: (2024)

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

Metacognitive AI: Framework and the Case for a Neurosymbolic Approach
by: Wei, Hua, et al.
Published: (2024)

Formal Foundations of Agentic Business Process Management
by: De Giacomo, Giuseppe, et al.
Published: (2026)

On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
by: Alman, Anti, et al.
Published: (2026)

Cheap Talking Algorithms
by: Condorelli, Daniele, et al.
Published: (2023)