|
931-1953 |
Neurosymbolic Inference, Reasoning and Proving in Propositional Logic: A Survey |
01/Mar/2026 |
|
916-1934 |
Tensor Logic: The Language of AI |
28/Feb/2026 |
|
942-1965 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations |
27/Feb/2026 |
|
933-1956 |
A survey of neurosymbolic artificial intelligence: foundations, advances, and future trajectories |
27/Feb/2026 |
|
911-1927 |
Neuro-Symbolic Architectures: Formalizing, Extending, Evaluating, and Empowering Generative AI |
27/Feb/2026 |
|
937-1960 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
27/Feb/2026 |
|
927-1949 |
Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems |
27/Feb/2026 |
|
945-1969 |
Robust Long-Context Multilingual Retrieval and Reasoning Enabled by Combined Neural and Symbolic Techniques |
27/Feb/2026 |
|
946-1970 |
Integrating Neurosymbolic Systems in Advanced Product Design: A Comprehensive Review |
27/Feb/2026 |
|
886-1896 |
mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework |
26/Feb/2026 |
|
914-1931 |
Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception |
25/Feb/2026 |
|
915-1933 |
Neuro-LENS: a neuro-symbolic framework integrating incomplete background knowledge and deep learning |
25/Feb/2026 |
|
922-1942 |
Algorithmic ersatz for VSA: Towards macroscopic simulation of Vector Symbolic Architecture |
24/Feb/2026 |
|
925-1947 |
Graph Neural Network based Hierarchy-Aware Embeddings of Knowledge Graphs: Applications to Yeast Phenotype Prediction |
23/Feb/2026 |
|
923-1943 |
Metrizable symbolic data structure for ill-defined problem solving |
21/Feb/2026 |
|
932-1955 |
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations |
19/Feb/2026 |
|
926-1948 |
A Neurosymbolic Approach to Counterfactual Fairness |
19/Feb/2026 |
|
943-1967 |
NSORN: Designing a Benchmark Dataset for Neurosymbolic Ontology Reasoning with Noise |
16/Feb/2026 |