Buchumschlag

Compact Rule-Based Classifier Learning via Gradient Descent

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fumanal-Idocin, Javier, Fernandez-Peralta, Raquel, Andreu-Perez, Javier
Format:	Preprint
Veröffentlicht:	2025
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-Agnostic Dynamic Feature Selection with Uncertainty Quantification
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2025)

A Fast Interpretable Fuzzy Tree Learner
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2025)

Crisp complexity of fuzzy classifiers
von: Fernandez-Peralta, Raquel, et al.
Veröffentlicht: (2025)

Interpreting Contrastive Embeddings in Specific Domains with Fuzzy Rules
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2026)

Hypernetworks for Dynamic Feature Selection
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2026)

Reliable Classification with Conformal Learning and Interval-Type 2 Fuzzy Sets
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2025)

On Trustworthy Rule-Based Models and Explanations
von: Siala, Mohamed, et al.
Veröffentlicht: (2025)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
von: Xi, Bowen, et al.
Veröffentlicht: (2023)

A Comprehensive Survey of Fuzzy Implication Functions
von: Fernandez-Peralta, Raquel
Veröffentlicht: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
von: Brorholt, Asger Horn, 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)

SATformer: Transformer-Based UNSAT Core Learning
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2022)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
von: Kasaura, Kazumi, et al.
Veröffentlicht: (2025)

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

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2023)

Magnushammer: A Transformer-Based Approach to Premise Selection
von: Mikuła, Maciej, et al.
Veröffentlicht: (2023)

Learning to Solve and Optimize by Evolving Code
von: Semmelrock, Veronika, et al.
Veröffentlicht: (2026)

Robust Shielding for Safe Reinforcement Learning
von: Court, Edwin Hamel-De le, et al.
Veröffentlicht: (2026)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
von: He, Yunjie, et al.
Veröffentlicht: (2024)

Machine Learning for Quantifier Selection in cvc5
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
von: Subramanian, Vignesh, et al.
Veröffentlicht: (2024)

Fuzzy Implicative Rules: A Unified Approach
von: Fernandez-Peralta, Raquel
Veröffentlicht: (2025)

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

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
von: Bavikadi, Divyagna, et al.
Veröffentlicht: (2024)

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

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
von: Gilda, Sankalp, et al.
Veröffentlicht: (2026)

Learning big logical rules by joining small rules
von: Hocquette, Céline, et al.
Veröffentlicht: (2024)

Can Transformers Learn to Verify During Backtracking Search?
von: Phua, Yin Jun, et al.
Veröffentlicht: (2026)

Learning Explainable and Better Performing Representations of POMDP Strategies
von: Bork, Alexander, et al.
Veröffentlicht: (2024)

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

Inference of Abstraction for a Unified Account of Reasoning and Learning
von: Kido, Hiroyuki
Veröffentlicht: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
von: Brorholt, Asger Horn, et al.
Veröffentlicht: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
von: Kumarappan, Adarsh, et al.
Veröffentlicht: (2024)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
von: Li, Jinzhao, et al.
Veröffentlicht: (2026)

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

Learning Temporal Logic Predicates from Data with Statistical Guarantees
von: Soroka, Emi, et al.
Veröffentlicht: (2024)

PiShield: A PyTorch Package for Learning with Requirements
von: Stoian, Mihaela Cătălina, et al.
Veröffentlicht: (2024)

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