:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hinnerichs, Tilman, Manhaeve, Robin, Marra, Giuseppe, Dumancic, Sebastijan
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2405.09521
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
by: Marra, Giuseppe, et al.
Published: (2021)

Modelling Program Spaces in Program Synthesis with Constraints
by: Hinnerichs, Tilman, et al.
Published: (2025)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Herb.jl: A Unifying Program Synthesis Library
by: Hinnerichs, Tilman, et al.
Published: (2025)

Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
by: Hanou, Issa, et al.
Published: (2025)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

DeepGraphLog for Layered Neurosymbolic AI
by: Kikaj, Adem, et al.
Published: (2025)

Learning Logical Rules using Minimum Message Length
by: Sharma, Ruben, et al.
Published: (2025)

A Divide-Align-Conquer Strategy for Program Synthesis
by: Witt, Jonas, et al.
Published: (2023)

VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning
by: Liang, Yichao, et al.
Published: (2024)

The DeepLog Neurosymbolic Machine
by: Derkinderen, Vincent, et al.
Published: (2025)

Grounding Methods for Neural-Symbolic AI
by: Ontiveros, Rodrigo Castellano, et al.
Published: (2025)

Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language
by: Faghihi, Hossein Rajaby, et al.
Published: (2024)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
by: Kohaut, Simon, et al.
Published: (2024)

ULLER: A Unified Language for Learning and Reasoning
by: van Krieken, Emile, et al.
Published: (2024)

Neuro-Symbolic Decoding of Neural Activity
by: Wang, Yanchen, et al.
Published: (2026)

Softened Symbol Grounding for Neuro-symbolic Systems
by: Li, Zenan, et al.
Published: (2024)

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

Federated Neuro-Symbolic Learning
by: Xing, Pengwei, et al.
Published: (2023)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
by: He, Baoding, et al.
Published: (2026)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
by: Jia, Lin-Han, et al.
Published: (2025)

ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
by: Merler, Matteo, et al.
Published: (2025)

Interpretable Neural-Symbolic Concept Reasoning
by: Barbiero, Pietro, et al.
Published: (2023)

Neuro-Symbolic AI for Military Applications
by: Hagos, Desta Haileselassie, et al.
Published: (2024)

Assured Autonomy with Neuro-Symbolic Perception
by: Hallyburton, R. Spencer, et al.
Published: (2025)

Neuro-Symbolic Rule Lists
by: Xu, Sascha, et al.
Published: (2024)

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
by: Adriaensen, Rik, et al.
Published: (2025)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)

AI4S-SDS: A Neuro-Symbolic Solvent Design System via Sparse MCTS and Differentiable Physics Alignment
by: Chen, Jiangyu
Published: (2026)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

An Agentic Framework for Neuro-Symbolic Programming
by: Nafar, Aliakbar, et al.
Published: (2026)

Neuro-Symbolic Entity Alignment via Variational Inference
by: Chen, Shengyuan, et al.
Published: (2024)

Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
by: Wang, Zekun, et al.
Published: (2025)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
by: Zhang, Xuan, et al.
Published: (2025)

Neuro-Symbolic AI in 2024: A Systematic Review
by: Colelough, Brandon C., et al.
Published: (2025)

A Challenge to Build Neuro-Symbolic Video Agents
by: Shah, Sahil, et al.
Published: (2025)

AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems
by: Kwon, Jiyong, et al.
Published: (2026)