Showing 1–10 of 10 results
/ Date/ Name
Nov 11, 2025DeepProofLog: Efficient Proving in Deep Stochastic Logic ProgramsJul 10, 2025Grounding Methods for Neural-Symbolic AIApr 27, 2023Interpretable Neural-Symbolic Concept ReasoningMar 23, 2023Enhancing Embedding Representations of Biomedical Data using Logic KnowledgeJun 1, 2021Relational Reasoning NetworksFeb 6, 2020Relational Neural MachinesJul 26, 2019T-Norms Driven Loss Functions for Machine LearningMar 18, 2019LYRICS: a General Interface Layer to Integrate Logic Inference and Deep LearningJan 14, 2019Integrating Learning and Reasoning with Deep Logic ModelsJul 16, 2018Constraint-Based Visual Generation