English
Related papers

Related papers: NeSyA: Neurosymbolic Automata

200 papers

In this paper, we present our position for a neuralsymbolic integration strategy, arguing in favor of a hybrid representation to promote an effective integration. Such description differs from others fundamentally, since its entities aim at…

Artificial Intelligence · Computer Science 2019-12-19 Marcio Moreno , Daniel Civitarese , Rafael Brandao , Renato Cerqueira

We explore neuro-symbolic approaches to generalize actionable knowledge, enabling embodied agents to tackle complex tasks more effectively in open-domain environments. A key challenge for embodied agents is the generalization of knowledge…

Artificial Intelligence · Computer Science 2025-03-10 Wonje Choi , Jinwoo Park , Sanghyun Ahn , Daehee Lee , Honguk Woo

Neurosymbolic integration (NeSy) blends neural-network learning with symbolic reasoning. The field can be split between methods injecting hand-crafted rules into neural models, and methods inducing symbolic rules from data. We introduce…

Machine Learning · Computer Science 2026-05-18 Davide Bizzaro , Alessandro Daniele

Current advances in Artificial Intelligence (AI) and Machine Learning (ML) have achieved unprecedented impact across research communities and industry. Nevertheless, concerns about trust, safety, interpretability and accountability of AI…

Artificial Intelligence · Computer Science 2020-12-18 Artur d'Avila Garcez , Luis C. Lamb

Neuro-Symbolic Artificial Intelligence (AI) is an emerging and quickly advancing field that combines the subsymbolic strengths of (deep) neural networks and explicit, symbolic knowledge contained in knowledge graphs to enhance…

Computers and Society · Computer Science 2023-08-07 Aritran Piplai , Anantaa Kotal , Seyedreza Mohseni , Manas Gaur , Sudip Mittal , Anupam Joshi

Neurosymbolic (NeSy) artificial intelligence describes the combination of logic or rule-based techniques with neural networks. Compared to neural approaches, NeSy methods often possess enhanced interpretability, which is particularly…

Artificial Intelligence · Computer Science 2025-01-13 Lauren Nicole DeLong , Yojana Gadiya , Paola Galdi , Jacques D. Fleuriot , Daniel Domingo-Fernández

Large Language Models (LLMs) have shown promising results across various tasks, yet their reasoning capabilities remain a fundamental challenge. Developing AI systems with strong reasoning capabilities is regarded as a crucial milestone in…

Artificial Intelligence · Computer Science 2025-08-20 Xiao-Wen Yang , Jie-Jing Shao , Lan-Zhe Guo , Bo-Wen Zhang , Zhi Zhou , Lin-Han Jia , Wang-Zhou Dai , Yu-Feng Li

A large class of Neural-Symbolic (NeSy) methods employs a machine learner to process the input entities, while relying on a reasoner based on First-Order Logic to represent and process more complex relationships among the entities. A…

Artificial Intelligence · Computer Science 2025-10-28 Rodrigo Castellano Ontiveros , Francesco Giannini , Marco Gori , Giuseppe Marra , Michelangelo Diligenti

Current advances in Artificial Intelligence and machine learning in general, and deep learning in particular have reached unprecedented impact not only across research communities, but also over popular media channels. However, concerns…

Artificial Intelligence · Computer Science 2019-05-16 Artur d'Avila Garcez , Marco Gori , Luis C. Lamb , Luciano Serafini , Michael Spranger , Son N. Tran

Recent years have witnessed the rapid development of Neuro-Symbolic (NeSy) AI systems, which integrate symbolic reasoning into deep neural networks. However, most of the existing benchmarks for NeSy AI fail to provide long-horizon reasoning…

Neurosymbolic AI combines neural network adaptability with symbolic reasoning, promising an approach to address the complex regulatory, operational, and safety challenges in Advanced Air Mobility (AAM). This survey reviews its applications…

Robotics · Computer Science 2025-08-12 Kamal Acharya , Iman Sharifi , Mehul Lad , Liang Sun , Houbing Song

In this paper we argue that Neuro-Symbolic AI (NeSy-AI) should be applied for patient monitoring. In this context, we introduce patient monitoring as a special case of Human Activity Recognition and derive concrete requirements for this…

Human-Computer Interaction · Computer Science 2024-07-18 Ole Fenske , Sebastian Bader , Thomas Kirste

We present a neuro-symbolic (NeSy) workflow combining a symbolic-based learning technique with a large language model (LLM) agent to generate synthetic data for code comment classification in the C programming language. We also show how…

Software Engineering · Computer Science 2024-05-27 Hanna Abi Akl

Neurosymbolic (NeSy) AI aims to combine the strengths of neural architectures and symbolic reasoning to improve the accuracy, interpretability, and generalization capability of AI models. While logic inference on top of subsymbolic modules…

This paper presents NeSyPack, a neuro-symbolic framework for bimanual logistics packing. NeSyPack combines data-driven models and symbolic reasoning to build an explainable hierarchical system that is generalizable, data-efficient, and…

Robotics · Computer Science 2025-06-10 Bowei Li , Peiqi Yu , Zhenran Tang , Han Zhou , Yifan Sun , Ruixuan Liu , Changliu Liu

Knowledge about space and time is necessary to solve problems in the physical world: An AI agent situated in the physical world and interacting with objects often needs to reason about positions of and relations between objects; and as soon…

Artificial Intelligence · Computer Science 2023-01-16 Jae Hee Lee , Michael Sioutis , Kyra Ahrens , Marjan Alirezaie , Matthias Kerzel , Stefan Wermter

In recent years, the Neurosymbolic framework has attracted a lot of attention in various applications, from recommender systems and information retrieval to healthcare and finance. This success is due to its stellar performance combined…

Artificial Intelligence · Computer Science 2022-09-27 Djallel Bouneffouf , Charu C. Aggarwal

LLMs have demonstrated highly effective learning, human-like response generation,and decision-making capabilities in high-risk sectors. However, these models remain black boxes because they struggle to ensure transparency in responses. The…

Artificial Intelligence · Computer Science 2025-10-27 Maneeha Rani , Bhupesh Kumar Mishra , Dhavalkumar Thakker

The remarkable advancements in artificial intelligence (AI), primarily driven by deep neural networks, are facing challenges surrounding unsustainable computational trajectories, limited robustness, and a lack of explainability. To develop…

The emergence of Large Code Models (LCMs) has transformed software engineering (SE) automation, driving significant advancements in tasks such as code generation, source code documentation, code review, and bug fixing. However, these…

Software Engineering · Computer Science 2025-05-06 Antonio Mastropaolo , Denys Poshyvanyk