Buchumschlag

Learning Temporal Logic Predicates from Data with Statistical Guarantees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Soroka, Emi, Sinha, Rohan, Lall, Sanjay
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
von: Aditya, Dyuman, et al.
Veröffentlicht: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
von: Yang, Yuan, et al.
Veröffentlicht: (2022)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
von: Olivieri, Pierriccardo, et al.
Veröffentlicht: (2026)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
von: Chevallier, Mark, et al.
Veröffentlicht: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
von: Meli, Daniele, et al.
Veröffentlicht: (2024)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Learning Concepts Definable in First-Order Logic with Counting
von: van Bergerem, Steffen
Veröffentlicht: (2019)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
von: Wernhard, Christoph
Veröffentlicht: (2017)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
von: He, Haoyuan, et al.
Veröffentlicht: (2022)

Multitask Kernel-based Learning with First-Order Logic Constraints
von: Diligenti, Michelangelo, et al.
Veröffentlicht: (2023)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
von: Mukherji, Kaustuv, et al.
Veröffentlicht: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
von: Bizzaro, Davide, et al.
Veröffentlicht: (2025)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
von: Li, Augustus Haoyang
Veröffentlicht: (2026)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
von: Zhang, Yani, et al.
Veröffentlicht: (2024)

Dual Box Embeddings for the Description Logic EL++
von: Jackermeier, Mathias, et al.
Veröffentlicht: (2023)

Regional, Lattice and Logical Representations of Neural Networks
von: Preto, Sandro, et al.
Veröffentlicht: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
von: Carvalho, Levi Cordeiro, et al.
Veröffentlicht: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
von: Upreti, Nijesh, et al.
Veröffentlicht: (2026)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

Conditional Logical Message Passing Transformer for Complex Query Answering
von: Zhang, Chongzhi, et al.
Veröffentlicht: (2024)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
von: Damera, Sai Sandeep, et al.
Veröffentlicht: (2026)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
von: Johnson, Blair, et al.
Veröffentlicht: (2025)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
von: Aljaafari, Nura, et al.
Veröffentlicht: (2026)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
von: Nunn, Pierre, et al.
Veröffentlicht: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
von: Morishita, Terufumi, et al.
Veröffentlicht: (2024)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
von: Damera, Sai Sandeep, et al.
Veröffentlicht: (2026)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
von: Anwer, Nivar, et al.
Veröffentlicht: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
von: Zhao, Yanxiao, et al.
Veröffentlicht: (2025)

Expressive Temporal Specifications for Reward Monitoring
von: Adalat, Omar, et al.
Veröffentlicht: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
von: Gupta, Gopal, et al.
Veröffentlicht: (2025)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
von: Sharifi, Iman, et al.
Veröffentlicht: (2026)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
von: So, Oswin, et al.
Veröffentlicht: (2026)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2021)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
von: Lalwani, Abhinav, et al.
Veröffentlicht: (2024)

Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
von: Basu, Sanjay, et al.
Veröffentlicht: (2025)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
von: Opedal, Andreas, et al.
Veröffentlicht: (2025)