Logic Tensor Networks

2021/12/02 by Samy Badreddine, Artur d'Avila Garcez, Artur d’Avila Garcez +2 · 29 citations
Computer Science · #Topic Modeling #Bayesian Modeling and Causal Inference #Advanced Graph Neural Networks

paper · doi:10.1016/j.artint.2021.103649

Cited by

• Learning Structural Convergence: A Neuro-Symbolic Benchmark for Temporal Reasoning
• SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data
• Parallel Noising in Neural Markov Logic Networks
• Neurosymbolic Diffusion Models
• A Neuro-Symbolic Framework for Accountability in Public-Sector AI
• Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning
• Neurosymbolic Deep Learning Semantics
• Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI
• When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning
• Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties
• Norm-Q: Effective Compression Method for Hidden Markov Models in Neuro-Symbolic Applications
• Integrating Background Knowledge in Medical Semantic Segmentation with Logic Tensor Networks
• Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
• Grounding AI Explanations in Experience: A Reflective Cognitive Architecture for Clinical Decision Support
• A Fuzzy Rule-based Neuro-Symbolic Approach for Pipe Severity Prediction in Sewer Networks
• From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
• Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
• Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
• Neuro-Symbolic Predictive Process Monitoring
• T-ILR: a Neurosymbolic Integration for LTLf
• Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
• Reasoning in Computer Vision: Taxonomy, Models, Tasks, and Methodologies
• UbiQTree: Uncertainty Quantification in XAI with Tree Ensembles
• A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
• Zero-shot Compositional Action Recognition with Neural Logic Constraints
• Neuro-symbolic procedural semantics for explainable visual dialogue. [europepmc]
• NeSyDPP-4: discovering DPP-4 inhibitors for diabetes treatment with a neuro-symbolic AI approach. [europepmc]
• A digital twin model for grain enterprise financial shared service centers based on distributed deep learning and neural symbolic reasoning. [europepmc]
• Learning in Probabilistic Boolean Networks via Structural Policy Gradients. [europepmc]
• Neuro-symbolic NLP: taxonomy, assessment, and directions. [europepmc]