Researcher profile

Luciano Serafini

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …

  2. 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 …