Image de couverture de livre

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baaj, Ismaïl, Marquis, Pierre
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

NeSy-Edge: Neuro-Symbolic Trustworthy Self-Healing in the Computing Continuum
par: Ye, Peihan, et autres
Publié: (2026)

Approximate matrices of systems of max-min fuzzy relational equations
par: Baaj, Ismaïl
Publié: (2025)

Probabilistic classification from possibilistic data: computing Kullback-Leibler projection with a possibility distribution
par: Baaj, Ismaïl, et autres
Publié: (2026)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
par: He, Haoyuan, et autres
Publié: (2022)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
par: Rothkopf, Raven, et autres
Publié: (2024)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
par: Cornelio, Cristina, et autres
Publié: (2024)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
par: Baugh, Kexin Gu, et autres
Publié: (2025)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
par: Sharifi, Iman, et autres
Publié: (2023)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
par: Shahid, Mahnoor, et autres
Publié: (2026)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
par: Shahid, Mahnoor, et autres
Publié: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
par: Sharifi, Iman, et autres
Publié: (2026)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
par: Ciatto, Giovanni, et autres
Publié: (2025)

NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
par: Yang, Ming, et autres
Publié: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2025)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
par: Alhessi, Yousef, et autres
Publié: (2025)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
par: Hsia, Yung-Shen, et autres
Publié: (2026)

RLSF: Fine-tuning LLMs via Symbolic Feedback
par: Jha, Piyush, et autres
Publié: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
par: Nunn, Pierre, et autres
Publié: (2024)

What are the Right Symmetries for Formal Theorem Proving?
par: Olejniczak, Krzysztof, et autres
Publié: (2026)

Magnushammer: A Transformer-Based Approach to Premise Selection
par: Mikuła, Maciej, et autres
Publié: (2023)

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines
par: Kinateder, Calvin
Publié: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
par: Majkic, Zoran
Publié: (2026)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
par: Aljaafari, Nura, et autres
Publié: (2026)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
par: Miya, Shinobu
Publié: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

SMLP: Symbolic Machine Learning Prover
par: Brauße, Franz, et autres
Publié: (2024)

A Neurosymbolic Approach to Natural Language Formalization and Verification
par: Bayless, Sam, et autres
Publié: (2025)

Neuro-Symbolic Predictive Process Monitoring
par: Mezini, Axel, et autres
Publié: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
par: Brauße, Franz, et autres
Publié: (2024)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
par: Yan, Rui, et autres
Publié: (2022)

A Compositional Atlas for Algebraic Circuits
par: Wang, Benjie, et autres
Publié: (2024)

Formal Mathematical Reasoning: A New Frontier in AI
par: Yang, Kaiyu, et autres
Publié: (2024)

MARS: A neurosymbolic approach for interpretable drug discovery
par: DeLong, Lauren Nicole, et autres
Publié: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
par: DeLong, Lauren Nicole, et autres
Publié: (2023)

Can Transformers Reason Logically? A Study in SAT Solving
par: Pan, Leyan, et autres
Publié: (2024)

PiShield: A PyTorch Package for Learning with Requirements
par: Stoian, Mihaela Cătălina, et autres
Publié: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
par: Luo, Ziyan, et autres
Publié: (2023)