|
960-1987 |
Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception |
10/Apr/2026 |
|
953-1980 |
Neurosymbolic Theory Revision through Predicate Invention |
10/Apr/2026 |
|
950-1975 |
A Scoping Review of Neurosymbolic Reasoning over Ontologies and Knowledge Graphs: Datasets, Evaluation Practices, and Open Challenges |
10/Apr/2026 |
|
927-1949 |
Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems |
10/Apr/2026 |
|
948-1972 |
ReasonX: Declarative Reasoning on Explanations |
10/Apr/2026 |
|
916-1934 |
Tensor Logic: The Language of AI |
09/Apr/2026 |
|
942-1965 |
Neuro-symbolic AI for Predictive Maintenance (PdM) - review and recommendations |
08/Apr/2026 |
|
956-1983 |
Neuro-Symbolic Architectures: Formalizing, Extending, Evaluating, and Empowering Generative AI |
08/Apr/2026 |
|
933-1956 |
A survey of neurosymbolic artificial intelligence: foundations, advances, and future trajectories |
08/Apr/2026 |
|
946-1970 |
Integrating Neurosymbolic Systems in Advanced Product Design: A Comprehensive Review |
07/Apr/2026 |
|
931-1953 |
Neurosymbolic Inference, Reasoning and Proving in Propositional Logic: A Survey |
07/Apr/2026 |
|
949-1973 |
A Survey of Neurosymbolic Answer Set Programming |
07/Apr/2026 |
|
943-1967 |
NSORN: Designing a Benchmark Dataset for Neurosymbolic Ontology Reasoning with Noise |
06/Apr/2026 |
|
937-1960 |
A Survey on Neuro-Symbolic Auditing: A Framework for Verification, Traceability, and Correction in High-Stakes AI |
06/Apr/2026 |
|
952-1979 |
Empirical Analysis of Chain-of-Thought and Solver-Augmented Large Language Models for Deductive Reasoning |
05/Apr/2026 |
|
958-1985 |
A Mathematical Framework and a Suite of Learning Techniques for Neural-Symbolic Systems |
05/Apr/2026 |
|
962-1991 |
Neurosymbolic Architectures for Algorithmic Fairness |
05/Apr/2026 |
|
925-1947 |
Graph Neural Network based Hierarchy-Aware Embeddings of Knowledge Graphs: Applications to Yeast Phenotype Prediction |
03/Apr/2026 |
|
938-1961 |
Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition |
03/Apr/2026 |
|
923-1943 |
Metrizable symbolic data structure for ill-defined problem solving |
02/Apr/2026 |
|
959-1986 |
Trustworthy Knowledge Base Embeddings: A Foundational Study of Box Semantics |
29/Mar/2026 |
|
961-1989 |
Neuro-LENS: a neuro-symbolic framework integrating incomplete background knowledge and deep learning |
29/Mar/2026 |
