84 citations · 85 across the 3 of their papers we have counts for
3 papers
cs.AI2021★ 1 cited
Logical Credal Networks
Haifeng Qian, Radu Marinescu, Alexander Gray +5
This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. Given imprecise information…
math.OC2021
Training Neural Networks with an algorithm for piecewise linear functions
Francisco Barahona, Joao Goncalves
We present experiments on training neural networks with an algorithm that was originally designed as a subgradient method, namely the Volume Algorithm. We compare with two of the m…
cs.AI2020★ 84 cited
Logical Neural Networks
Ryan Riegel, Alexander Gray, Francois Luus +12
We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a compon…