|
1003-2039 |
TaxBridge-Bench: A Neurosymbolic Benchmark for Spreadsheet-to-Ledger Reasoning in Tax Compliance |
Reject (Pre-Screening) |
|
|
1002-2038 |
When LLMs Default to Traffic: Systematic Domain Bias in Causal Mechanism Generation |
Reject (Pre-Screening) |
|
|
994-2028 |
A Minimal κ–τ Logic for Risk-Sensitive Abduction |
Reject (Pre-Screening) |
|
|
992-2026 |
Enforcing Interpretability using Concept Bottleneck Transformer Layers for Time Series |
Major Revision |
Guest Editors X-NeSy |
|
991-2025 |
A Mathematical Framework and a Suite of Learning Techniques for Neural-Symbolic Systems |
Accept |
Benedikt Wagner |
|
989-2022 |
Neurosymbolic Architectures for Algorithmic Fairness |
Accept |
Guest Editors Trustworthy Regulated |
|
984-2016 |
Operability as Structural Grounding: Conditions for Epistemic Appropriation in LLMs |
Major Revision |
Guest Editors X-NeSy |
|
983-2015 |
A Survey of Neurosymbolic Answer Set Programming |
Accept |
Luc De Raedt |
|
982-2014 |
Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems |
Accept |
Artur Garcez |
|
981-2012 |
A survey of neurosymbolic artificial intelligence: foundations, advances, and future trajectories |
Accept |
Pascal Hitzler |
|
979-2009 |
Mapping the Neuro-Symbolic Landscape: A Formal, Unified Framework for Design and Comparison |
Major Revision |
Artur Garcez |
|
975-2005 |
Logically Constrained Latent Geometry: Entailment-Modulated Metric Preconditioning and Sherman-Morrison Matrix-Free Retraction |
Reject (Pre-Screening) |
|
|
972-2002 |
Learning While Reasoning: Pattern-Based Crystallization and the Gap-Detect-Crystallize-Retrieve Loop for Neurosymbolic AI |
Reject (Pre-Screening) |
|
|
969-1999 |
Neuro-Symbolic Relation Extraction in Agglutinative Languages: A Morphology-Aware Graph-Based Framework |
Major Revision |
Guest Editors X-NeSy |
|
967-1997 |
NeSyCat: A Monad-Based Categorical Semanticsof the Neurosymbolic ULLER Framework |
Accept |
Guest Editors NeSy 2025 |
|
966-1995 |
A Neurosymbolic Benchmark for Temporal Knowledge-Graph Memory in Partially Observable Environments |
Major Revision |
Guest Editors Benchmarks 2026 |
|
962-1991 |
Neurosymbolic Architectures for Algorithmic Fairness |
Minor Revision |
Guest Editors Trustworthy Regulated |
|
961-1989 |
Neuro-LENS: a neuro-symbolic framework integrating incomplete background knowledge and deep learning |
Accept |
Guest Editors NeSy 2025 |
|
960-1987 |
Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception |
Accept |
Guest Editors NeSy 2025 |
|
959-1986 |
Trustworthy Knowledge Base Embeddings: A Foundational Study of Box Semantics |
Accept |
Guest Editors NeSy 2025 |
|
958-1985 |
A Mathematical Framework and a Suite of Learning Techniques for Neural-Symbolic Systems |
Minor Revision |
Benedikt Wagner |
|
956-1983 |
Neuro-Symbolic Architectures: Formalizing, Extending, Evaluating, and Empowering Generative AI |
Accept |
Guest Editors NeSy 2025 |
|
953-1980 |
Neurosymbolic Theory Revision through Predicate Invention |
Major Revision |
Federico Bianchi |
|
952-1979 |
Empirical Analysis of Chain-of-Thought and Solver-Augmented Large Language Models for Deductive Reasoning |
Accept |
Guest Editors Trustworthy Regulated |
|
951-1977 |
Neuro-Symbolic methods for Trustworthy AI: a systematic review with a focus on interpretability |
Accept |
Guest Editors Trustworthy Neurosymbolic AI 2024 |
|
950-1975 |
A Scoping Review of Neurosymbolic Reasoning over Ontologies and Knowledge Graphs: Datasets, Evaluation Practices, and Open Challenges |
Major Revision |
Pascal Hitzler |
|
949-1973 |
A Survey of Neurosymbolic Answer Set Programming |
Minor Revision |
Luc De Raedt |
|
948-1972 |
ReasonX: Declarative Reasoning on Explanations |
Major Revision |
Guest Editors X-NeSy |
|
946-1970 |
Integrating Neurosymbolic Systems in Advanced Product Design: A Comprehensive Review |
Minor Revision |
Raghava Mutharaju |
