Luciano Serafini

1. Logic Tensor Networks
   2021/12/02 by Samy Badreddine, Artur d’Avila Garcez, Artur d'Avila Garcez +2 · 34 citations
   Computer Science · #Topic Modeling #Bayesian Modeling and Causal Inference #Advanced Graph Neural Networks
2. Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning
   2019/05/15 by Artur d’Avila Garcez, Marco Gori, Garcez, Artur d'Avila +9 · 21 citations
   Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Neural Networks and Applications #Neural Networks and Reservoir Computing #Stock Market Forecasting Methods
3. TANGO: Training-free Embodied AI Agents for Open-world Tasks
   2024/12/05 by Filippo Ziliotto, Tommaso Campari, Ziliotto, Filippo +5 · 10 citations
   Computer Science · #Reinforcement Learning in Robotics
4. Aligning Generalisation Between Humans and Machines
   2024/11/23 by Filip Ilievski, Ilievski, Filip, Barbara Hammer +47 · 5 voices · 1 citation
   #cs.AI
5. Refining neural network predictions using background knowledge
   2022/06/10 by Alessandro Daniele, Daniele, Alessandro, Emile van Krieken +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Machine Learning and Data Classification
6. logLTN: Differentiable Fuzzy Logic in the Logarithm Space
   2023/06/26 by Samy Badreddine, Badreddine, Samy, Luciano Serafini +3 · 1 citation
   Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fuzzy Logic and Control Systems #Neural Networks and Applications #Tensor decomposition and applications
7. LTNtorch: PyTorch Implementation of Logic Tensor Networks
   2024/09/24 by Tommaso Carraro, Carraro, Tommaso, Luciano Serafini +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems
8. IMPRINT: Image-Conditioned Query Enrichment for Long-Tail Object Goal Navigation
   2026/07/27 by Jelin Raphael Akkara, Filippo Ziliotto, Luciano Serafini +2
   #cs.CV