139 citations · 139 across the 8 of their papers we have counts for
4 papers
Logical Boltzmann Machines
Son N. Tran, Artur d'Avila Garcez
The idea of representing symbolic knowledge in connectionist systems has been a long-standing endeavour which has attracted much attention recently with the objective of combining…
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
Luciano Serafini, Artur d'Avila Garcez
We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whe…
Runtime Verification Through Forward Chaining
Alan Perotti, Guido Boella, Artur d'Avila Garcez
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication f…
A Hybrid Recurrent Neural Network For Music Transcription
Siddharth Sigtia, Emmanouil Benetos, Nicolas Boulanger-Lewandowski +3
We investigate the problem of incorporating higher-level symbolic score-like information into Automatic Music Transcription (AMT) systems to improve their performance. We use recur…