Image de couverture de livre

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Majkic, Zoran
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
par: Majkic, Zoran
Publié: (2025)

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

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

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

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

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

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

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
par: Baaj, Ismaïl, et autres
Publié: (2025)

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

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

Constrained Assumption-Based Argumentation Frameworks
par: De Angelis, Emanuele, et autres
Publié: (2026)

Lattice Deduction Transformers
par: Davis, Liam, et autres
Publié: (2026)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
par: Hamilton, Kyle, et autres
Publié: (2026)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
par: D'Asaro, Fabio Aurelio, et autres
Publié: (2022)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
par: Cramer, Marcos, et autres
Publié: (2026)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
par: Sigloch, Paul, et autres
Publié: (2026)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
par: Xu, Yang, et autres
Publié: (2025)

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

Enhancing Symbolic Machine Learning by Subsymbolic Representations
par: Roth, Stephen, et autres
Publié: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
par: De Angelis, Emanuele, et autres
Publié: (2024)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
par: Vompa, Enrico, et autres
Publié: (2026)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
par: Meli, Daniele, et autres
Publié: (2025)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
par: Gilda, Sankalp, et autres
Publié: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
par: Defresne, Marianne, et autres
Publié: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
par: Li, Jinzhao, et autres
Publié: (2023)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
par: Balakrishnan, Anand, et autres
Publié: (2022)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
par: Rehan, Zainab, et autres
Publié: (2026)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
par: Agarwal, Shubham, et autres
Publié: (2026)

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

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

Proceedings 14th International Conference on Automated Deduction in Geometry
par: Quaresma, Pedro, et autres
Publié: (2024)

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

A Neuro-Symbolic Framework for Accountability in Public-Sector AI
par: Sunny, Allen Daniel, et autres
Publié: (2025)

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

Structured d-DNNF Is Not Closed Under Negation
par: Vinall-Smeeth, Harry
Publié: (2024)

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

Knowledge and Common Knowledge of Strategies
par: Miranda, Borja Sierra, et autres
Publié: (2025)

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

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
par: Fandinno, Jorge, et autres
Publié: (2024)