Researcher profile
Luciano Serafini
2 papers in the PaperMetrix corpus
Publications
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 …
-
Planning for Learning Object Properties
2023 · arXiv (Cornell University)
Autonomous agents embedded in a physical environment need the ability to recognize objects and their properties from sensory data. Such a perceptual ability is often implemented by supervised machine learning models, which are pre-trained using …