Logic tensor networks
From MaRDI portal
Publication:2667828
DOI10.1016/J.ARTINT.2021.103649OpenAlexW3216178672MaRDI QIDQ2667828FDOQ2667828
Authors: Samy Badreddine, Luciano Serafini, Michael Spranger, A. S. d'Avila Garcez 
Publication date: 2 March 2022
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2012.13635
Cites Work
- TensorLog: a probabilistic database implemented using deep-learning infrastructure
- Triangular norms
- Metamathematics of fuzzy logic
- Algorithms for Weighted Boolean Optimization
- Markov logic networks
- Perspectives of neural-symbolic integration.
- The many valued and nonmonotonic turn in logic
- Title not available (Why is that?)
- Neural-Symbolic Cognitive Reasoning
- Title not available (Why is that?)
- Meta-interpretive learning: application to grammatical inference
- Lifted relational neural networks: efficient learning of latent relational structures
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
- Learning and reasoning with logic tensor networks
- Analyzing differentiable fuzzy logic operators
- The harmonic mind--from neural computation to optimality-theoretic grammar. Volume 1. Cognitive architecture
- Neural probabilistic logic programming in DeepProbLog
- Learning explanatory rules from noisy data
- Semi-supervised learning using differentiable reasoning
Cited In (10)
- \(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements
- \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
- Conceptual orthospaces -- convexity meets negation
- Refining neural network predictions using background knowledge
- Neural logic rule layers
- Explainable and interpretable machine learning and data mining
- From statistical relational to neurosymbolic artificial intelligence: a survey
- Logical activation functions for training arbitrary probabilistic Boolean operations
- Declarative probabilistic logic programming in discrete-continuous domains
- Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones
Uses Software
This page was built for publication: Logic tensor networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2667828)
