×

NeurASP

swMATH ID: 43631
Software Authors: Yang, Zhun; Ishay, Adam; Lee, Joohyung
Description: NeurASP is a simple extension of answer set programs by embracing neural networks. By treating the neural network output as the probability distribution over atomic facts in answer set programs, NeurASP provides a simple and effective way to integrate sub-symbolic and symbolic computation. This repository includes examples to show: how NeurASP can make use of pretrained neural networks in symbolic computation and how it can improve the perception accuracy of a neural network by applying symbolic reasoning in answer set programming; and how NeurASP is used to train a neural network better by training with rules so that a neural network not only learns from implicit correlations from the data but also from the explicit complex semantic constraints expressed by ASP rules.
Homepage: https://www.ijcai.org/proceedings/2020/0243.pdf
Source Code:  https://github.com/azreasoners/NeurASP
Dependencies: Python
Related Software: DeepProbLog; ProbLog; Adam; CLEVR; CLEVR dataset; SMProbLog; DL2; NeuroSAT; PRISM; Clingo; ASSAT; Metagol; VQA; TensorLog; InfoGAN; AI2; IMLI; MLIC; GamePad; HOList
Cited in: 13 Documents
all top 5

Cited by 47 Authors

2 De Raedt, Luc
2 Dhami, Devendra Singh
2 Kersting, Kristian
2 Kiesel, Rafael
2 Manhaeve, Robin
2 Marra, Giuseppe
2 Yang, Zhun
1 Alviano, Mario
1 Baaj, Ismaïl
1 Bartoli, Francesco
1 Botta, Marco
1 Bouraoui, Zied
1 Cornuéjols, Antoine
1 Cunnington, Daniel
1 Denœux, Thierry
1 Derkinderen, Vincent
1 Destercke, Sébastien
1 Dubois, Didier
1 Dumančić, Sebastijan
1 Eiter, Thomas
1 Esposito, Roberto
1 Giordano, Laura
1 Hecher, Markus
1 Inoue, Katsumi
1 Jung, Peter
1 Kimmig, Angelika
1 Kuželka, Ondřej
1 Law, Mark M.
1 Lee, Joohyung
1 Lesot, Marie-Jeanne
1 Lobo, Jorge
1 Marques-Silva, João P.
1 Mengin, Jérôme
1 Ochs, Daniel
1 Pfanschilling, Viktor
1 Prade, Henri M.
1 Russo, Alessandra M.
1 Schockaert, Steven
1 Serrurier, Mathieu
1 Shindo, Hikaru
1 Skryagin, Arseny
1 Strauss, Olivier
1 Takemura, Akihiro
1 Theseider Dupré, Daniele
1 Totis, Pietro
1 Vrain, Christel
1 Zuidberg Dos Martires, Pedro

Cited in 5 Serials

4 International Journal of Approximate Reasoning
2 Artificial Intelligence
2 Machine Learning
1 The Journal of Artificial Intelligence Research (JAIR)
1 Theory and Practice of Logic Programming

Cited in 2 Fields

13 Computer science (68-XX)
1 Statistics (62-XX)

Citations by Year