84 citations · 85 across the 4 of their papers we have counts for
4 papers
On some algorithmic aspects of hypergraphic matroids
Mourad Baiou, Francisco Barahona
Hypergraphics matroids were studied first by Lorea and later by Frank et al. They can be seen as generalizations of graphic matroids. Here we show that several algorithms developed…
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…
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…
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…