Artur d’Avila Garcez
4 papers in the PaperMetrix corpus
Papers by this author
-
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
2016 · arXiv (Cornell University)
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 whereby formulas have truth-value in the interval [0,1] and …
-
Linear-Time Sequence Classification using Restricted Boltzmann Machines
2017 · arXiv (Cornell University)
Classification of sequence data is the topic of interest for dynamic Bayesian models and Recurrent Neural Networks (RNNs). While the former can explicitly model the temporal dependencies between class variables, the latter have a capability …
-
Towards Symbolic Reinforcement Learning with Common Sense
2018 · arXiv (Cornell University)
Deep Reinforcement Learning (deep RL) has made several breakthroughs in recent years in applications ranging from complex control tasks in unmanned vehicles to game playing. Despite their success, deep RL still lacks several important capacities …
-
On the Transferability of VAE Embeddings using Relational Knowledge with Semi-Supervision
2020 · arXiv (Cornell University)
We propose a new model for relational VAE semi-supervision capable of balancing disentanglement and low complexity modelling of relations with different symbolic properties. We compare the relative benefits of relation-decoder complexity and latent space structure …