Neural logic programs and neural nets

Christian Antić
6/13/2024
cs.LOcs.AIcs.LG

No confident code implementation found for this paper. 1 possible match can be shown below.

Abstract

Neural-symbolic integration aims to combine the connectionist subsymbolic with the logical symbolic approach to artificial intelligence. In this paper, we first define the answer set semantics of (boolean) neural nets and then introduce from first principles a class of neural logic programs and show that nets and programs are equivalent.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 1 weaker match is hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System

84% match2023

NeurASP: Embracing Neural Networks into Answer Set Programming

82% match1 repo572023

Neuro-symbolic Learning Yielding Logical Constraints

82% match1 repo102024

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

82% match2025

Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better

81% match2025

A short Survey: Exploring knowledge graph-based neural-symbolic system from application perspective

81% match2024

Cite this paper

@article{anti2024neural,
  title  = {Neural logic programs and neural nets},
  author = {Christian Antić},
  year   = {2024},
  eprint = {2406.11888},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2406.11888v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2406.11888.svg)](https://codeofpaper.com/paper/2406.11888)

Discussion