default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th NeSy 2025, Santa Cruz, CA, USA
- Leilani H. Gilpin, Eleonora Giunchiglia, Pascal Hitzler, Emile van Krieken:
Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 8-10 September 2025, Santa Cruz, CA, USA. Proceedings of Machine Learning Research 284, PMLR 2025 - Alexandre Monnier Weil, Vitor A. C. Horta, Hamza Qadeer, Alessandra Mileo:
Adapting Graph-Based Analysis for Knowledge Extraction from Transformer Models. 1-14 - Tom Pelletreau-Duris, Ruud van Bakel, Michael Cochez:
Do Graph Neural Network States Contain Graph Properties? 15-51 - Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio:
A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification. 52-69 - Ivo Amador, Nina Gierasimczuk:
SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning. 70-85 - Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali:
Bridging Neural and Symbolic Computation: A Learnability Study of RNNs on Counter and Dyck Languages. 86-115 - Yifan Zhang, Yasir White, Dean Clark, Joseph Sanchez, Jevon Lipsey, Ashely Hirst, Jeff Heflin:
High Quality Embeddings for Horn Logic Reasoning. 116-129 - Richard Thompson, Adam Pease, Mathias Kölsch, Angelos Toutsios:
Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need. 130-136 - Rushitha Santhoshi Mamidala, Anshuman Chhabra, Ankur Mali:
Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond CoT and ICL. 137-159 - Adrita Barua, Pascal Hitzler:
Description Logic Concept Learning using Large Language Models. 160-178 - Sania Sinha, Tanawan Premsri, Parisa Kordjamshidi:
Toward a Clearer Characterization of Neuro-Symbolic Frameworks: A Brief Comparative Analysis. 179-217 - Francesco S. Carzaniga, Michael Hersche, Kaspar Schindler, Abbas Rahimi:
Practical Lessons on Vector-Symbolic Architectures in Deep Learning-Inspired Environments. 218-236 - Manuel de Sousa Ribeiro, Afonso Leote, João Leite:
Concept Probing: Where to Find Human-Defined Concepts. 237-251 - Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani:
T-ILR: a Neurosymbolic Integration for LTLf. 252-265 - Ali Baheri, Cecilia O. Alm:
Hierarchical Neuro-Symbolic Decision Transformer. 266-284 - Emile van Krieken, Pasquale Minervini, Edoardo M. Ponti, Antonio Vergari:
Neurosymbolic Reasoning Shortcuts under the Independence Assumption. 285-302 - Mena Leemhuis, Oliver Kutz:
Understanding the Expressive Capabilities of Knowledge Base Embeddings under Box Semantics. 303-321 - Connor Pryor, Lise Getoor:
Neural-Symbolic Architectural Axioms of Integration: A Manifesto. 322-342 - Zhou Chen, Joe Lin, Sathyanarayanan N. Aakur:
CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance Grounding. 343-352 - Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung:
Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification. 353-378 - Audun D. Myers, Max Vargas, Sinan G. Aksoy, Cliff A. Joslyn, Benjamin Wilson, Lee Burke, Tom Grimes:
Talking to GDELT Through Knowledge Graphs. 379-391 - Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth:
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations. 392-419 - François Olivier, Zied Bouraoui:
Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations. 420-438 - Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya:
Exploring Verification Frameworks for Social Choice Alignment. 439-446 - Michael K. Chen:
A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning. 447-462 - Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo:
Disentangling Neural Disjunctive Normal Form Models. 463-493 - Daniel Romero Schellhorn, Till Mossakowski:
mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework. 494-518 - Yannick Brunink, Michael Cochez, Jacopo Urbani:
The ART of Link Prediction with KGEs. 519-539 - Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song:
SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing. 540-564 - Erkan Karabulut, Paul Groth, Victoria Degeler:
Neurosymbolic Association Rule Mining from Tabular Data. 565-588 - Minghao Liu, Zeyu Cheng, Shen Sang, Jing Liu, James Davis:
Neurosymbolic Tag-Based Annotation for Interpretable Avatar Creation. 589-624 - Margherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi:
Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs. 625-646 - Kaizhi Zheng, Kaiwen Zhou, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang:
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents. 647-673 - Guillaume Delplanque, Luisa Werner, Nabil Layaïda, Pierre Genevès:
A Comparative Analysis of Neurosymbolic Methods for Link Prediction. 674-696 - Yuqicheng Zhu, Nico Potyka, Daniel Hernández, Yuan He, Zifeng Ding, Bo Xiong, Dongzhuoran Zhou, Evgeny Kharlamov, Steffen Staab:
ArgRAG: Explainable Retrieval Augmented Generation using Quantitative Bipolar Argumentation. 697-718 - Márcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, João Marcos Flach, Luís C. Lamb, Moshe Y. Vardi:
Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models. 719-735 - Rodrigo Castellano Ontiveros, Francesco Giannini, Michelangelo Diligenti:
Distilling KGE black boxes into interpretable NeSy models. 736-749 - Giacomo Camposampiero, Michael Hersche, Roger Wattenhofer, Abu Sebastian, Abbas Rahimi:
Can Large Reasoning Models do Analogical Reasoning under Perceptual Uncertainty? 750-776 - Panagiotis Lymperopoulos, Liping Liu:
Act-to-Ground: A Framework for Symbol Grounding in Planning Domains. 777-795 - Rasul Kairgeldin, Miguel Á. Carreira-Perpiñán:
Neurosymbolic models based on hybrids of convolutional neural networks and decision trees. 796-813 - Balaji Rao, William Eiers, Carlo Lipizzi:
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification. 814-829 - Mohammad Saeid Mahdavinejad, Peyman Adibi, Amirhassan Monajemi, Pascal Hitzler:
Towards Explainable Depression Detection: A Neurosymbolic Approach to Uncover Social Media Signals with Generative AI. 830-853 - Octavio Arriaga, Rebecca Adam, Melvin Laux, Lisa Gutzeit, Marco Ragni, Jan Peters, Frank Kirchner:
Bayesian Inverse Physics for Neuro-Symbolic Robot Learning. 854-872 - Jingyuan Sha, Hikaru Shindo, Kristian Kersting, Devendra Singh Dhami:
Gestalt Vision: A Dataset for Evaluating Gestalt Principles in Visual Perception. 873-890 - Filip Kronström, Daniel Brunnsåker, Ievgeniia A. Tiukova, Ross D. King:
Ontology-based box embeddings and knowledge graphs for predicting phenotypic traits in Saccharomyces cerevisiae. 891-912 - Oliver Deane, Oliver Ray:
Neuro-Symbolic Inverse Constrained Reinforcement Learning. 913-925 - Sopam Dasgupta, Sadaf Md. Halim, Joaquín Arias, Elmer Salazar, Gopal Gupta:
MC3G: Model Agnostic Causally Constrained Counterfactual Generation. 926-937 - Ole Fenske, Sebastian Bader, Thomas Kirste:
Neurosymbolic Learning in Structured Probability Spaces: A Case Study. 938-956 - Aniruddha Chattopadhyay, Raj Dandekar, Kaushik Roy:
Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems. 957-976 - Thomas Eiter, Jan Hadl, Nelson Higuera Ruiz, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strötgen:
Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning. 977-991 - Giulia Murtas, Veselka Boeva, Elena Tsiporkova:
An evidence-based neuro-symbolic framework for ambiguous image scene classification. 992-1003 - Xenia Heilmann, Chiara Manganini, Mattia Cerrato, Vaishak Belle:
A Neurosymbolic Approach to Counterfactual Fairness. 1004-1025 - Celeste Veronese, Daniele Meli, Alessandro Farinelli:
Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time. 1026-1040 - Reilly Haskins, Benjamin Adams:
KEA Explain: Explanations of Hallucinations using Graph Kernel Analysis. 1041-1058 - Sina Bagheri Nezhad, Ameeta Agrawal:
Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks. 1059-1076 - Abdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni:
Object-Centric Neuro-Argumentative Learning. 1077-1089 - Adam Gould, Francesca Toni:
Neuro-Argumentative Learning with Case-Based Reasoning. 1090-1106 - Ruipeng Liu, Qinru Qiu, Simon Khan, Garrett Ethan Katz:
Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products. 1107-1118 - Oualid Bougzime, Samir Jabbar, Christophe Cruz, Frédéric Demoly:
Evaluating Neuro-Symbolic AI Architectures: Design Principles, Qualitative Benchmark, Comparative Analysis and Results. 1119-1143
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-17 00:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
