# Neural logic programs and neural nets

arXiv: https://arxiv.org/abs/2406.11888 · HTML: https://mlsanity.com/paper/2406.11888/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 6 of its 51 references that are in the map.
- First posted on arXiv 13 Jun 2024.

## Builds on (most cited first, 6 of 6)

- [DeepStochLog: Neural Stochastic Logic Programming](https://mlsanity.com/paper/2106.12574/) (2021)
- [Logic program proportions](https://mlsanity.com/paper/1809.09938/) (2018)
- [Sequential composition of propositional logic programs](https://mlsanity.com/paper/2009.05774/) (2020)
- [Sequential composition of answer set programs](https://mlsanity.com/paper/2104.12156/) (2021)
- [Proportoids](https://mlsanity.com/paper/2210.01751/) (2022)
- [Fixed Point Semantics for Stream Reasoning](https://mlsanity.com/paper/2005.08384/) (2020)

## Abstract (arXiv)

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.