Neural Probabilistic Logic Programming in DeepProbLog

18 July 2019

Papers citing "Neural Probabilistic Logic Programming in DeepProbLog"

50 / 87 papers shown

Title
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Luca Salvatore Lorello Marco Lippi S. Melacci 43 0 0 08 May 2025
Independence Is Not an Issue in Neurosymbolic AI Håkan Karlsson Faronius Pedro Zuidberg Dos Martires 33 0 0 10 Apr 2025
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 57 0 0 25 Mar 2025
Logic-RAG: Augmenting Large Multimodal Models with Visual-Spatial Knowledge for Road Scene Understanding Imran Kabir Md. Alimoor Reza Syed Masum Billah ReLM VLM LRM 78 0 0 16 Mar 2025
Toward Foundation Models for Online Complex Event Detection in CPS-IoT: A Case Study Liying Han Gaofeng Dong Xiaomin Ouyang Lance M. Kaplan Federico Cerutti Mani B. Srivastava 55 0 0 15 Mar 2025
A Smooth Transition Between Induction and Deduction: Fast Abductive Learning Based on Probabilistic Symbol Perception Lin Jia Si-Yu Han Lan-Zhe Guo Zhi Zhou Zhao-Long Li Yu-Feng Li Zhi-Hua Zhou 50 0 0 18 Feb 2025
Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens Samuele Bortolotti Emanuele Marconato Paolo Morettin Andrea Passerini Stefano Teso 61 2 0 16 Feb 2025
Neuro-Symbolic Contrastive Learning for Cross-domain Inference Mingyue Liu Ryo Ueda Zhen Wan Katsumi Inoue Chris G. Willcocks NAI 72 0 0 13 Feb 2025
On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms Luke E. Richards Jessie Yaros Jasen Babcock Coung Ly Robin Cosbey Timothy Doster Cynthia Matuszek NAI 66 0 0 13 Feb 2025
Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy Chen Wang Kaiyi Ji Junyi Geng Zhongqiang Ren Taimeng Fu ... Yi Du Qihang Li Yuqing Yang Xiao Lin Zhipeng Zhao SSL 86 9 0 28 Jan 2025
Understanding the Logic of Direct Preference Alignment through Logic Kyle Richardson Vivek Srikumar Ashish Sabharwal 85 2 0 23 Dec 2024
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 161 1 0 14 Oct 2024
Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning Aaditya Naik Jason Liu Claire Wang Saikat Dutta Mayur Naik Mayur Naik Eric Wong 37 1 0 04 Oct 2024
MARS: A neurosymbolic approach for interpretable drug discovery L. Delong Yojana Gadiya Paola Galdi Jacques D. Fleuriot Daniel Domingo-Fernández 129 2 0 02 Oct 2024
On the Independence Assumption in Neurosymbolic Learning Emile van Krieken Pasquale Minervini E. Ponti Antonio Vergari 48 11 0 12 Apr 2024
Credibility-Aware Multi-Modal Fusion Using Probabilistic Circuits Sahil Sidheekh Pranuthi Tenali Saurabh Mathur Erik Blasch Kristian Kersting S. Natarajan 34 1 0 05 Mar 2024
Simple and Effective Transfer Learning for Neuro-Symbolic Integration Alessandro Daniele Tommaso Campari Sagar Malhotra Luciano Serafini 27 1 0 21 Feb 2024
Semirings for Probabilistic and Neuro-Symbolic Logic Programming Vincent Derkinderen Robin Manhaeve Pedro Zuidberg Dos Martires Luc de Raedt NAI 35 5 0 21 Feb 2024
TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs Siheng Xiong Yuan Yang Faramarz Fekri J. C. Kerce 46 49 0 19 Feb 2024
Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning Charles Dickens Changyu Gao Connor Pryor Stephen J. Wright Lise Getoor 37 3 0 17 Jan 2024
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints Kareem Ahmed Kai-Wei Chang Guy Van den Broeck 28 10 0 06 Dec 2023
ProtoArgNet: Interpretable Image Classification with Super-Prototypes and Argumentation [Technical Report] Hamed Ayoobi Nico Potyka Francesca Toni 36 2 0 26 Nov 2023
A Unified Approach to Count-Based Weakly-Supervised Learning Vinay Shukla Zhe Zeng Kareem Ahmed Guy Van den Broeck SSL 52 5 0 22 Nov 2023
Learning Reliable Logical Rules with SATNet Zhaoyu Li Jinpei Guo Yuhe Jiang Xujie Si LRM NAI 27 2 0 03 Oct 2023
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications Enrico Saccon Ahmet Tikna Davide De Martini Edoardo Lamon Marco Roveri Luigi Palopoli LM&Ro 25 2 0 26 Sep 2023
A Novel Neural-symbolic System under Statistical Relational Learning Dongran Yu Xueyan Liu Shirui Pan Anchen Li Bo Yang AI4CE NAI 14 1 0 16 Sep 2023
Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem Paul Tarau 15 0 0 30 Aug 2023
Efficient Learning of Discrete-Continuous Computation Graphs David Friede Mathias Niepert 13 3 0 26 Jul 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 35 9 0 10 Jul 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators Zhun Yang Joohyung Lee Chi-youn Park 22 19 0 10 Jul 2023
Learning Differentiable Logic Programs for Abstract Visual Reasoning Hikaru Shindo Viktor Pfanschilling Devendra Singh Dhami Kristian Kersting NAI 32 6 0 03 Jul 2023
Scalable Neural-Probabilistic Answer Set Programming Arseny Skryagin Daniel Ochs Devendra Singh Dhami Kristian Kersting 32 5 0 14 Jun 2023
SNeL: A Structured Neuro-Symbolic Language for Entity-Based Multimodal Scene Understanding Silvan Ferreira Allan Martins Ivanovitch Silva 30 0 0 09 Jun 2023
Interpretable Multimodal Misinformation Detection with Logic Reasoning Hui Liu Wenya Wang Haoliang Li 40 22 0 10 May 2023
Continual Reasoning: Non-Monotonic Reasoning in Neurosymbolic AI using Continual Learning Sofoklis Kyriakopoulos Artur Garcez NAI LRM 21 0 0 03 May 2023
LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision Jiani Huang Ziyang Li Mayur Naik Ser-Nam Lim 37 3 0 15 Apr 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 29 2 0 02 Mar 2023
Learning Modulo Theories Matt Fredrikson Kaiji Lu Saranya Vijayakumar S. Jha Vijay Ganesh Zifan Wang NAI OffRL 43 0 0 26 Jan 2023
A Scalable Technique for Weak-Supervised Learning with Domain Constraints Sudhir Agarwal A. Sreepathy Lalla Mouatadid 13 0 0 12 Jan 2023
GEDI: GEnerative and DIscriminative Training for Self-Supervised Learning Emanuele Sansone Robin Manhaeve SSL 20 9 0 27 Dec 2022
A Probabilistic-Logic based Commonsense Representation Framework for Modelling Inferences with Multiple Antecedents and Varying Likelihoods Shantanu Jaiswal Liu Yan Dongkyu Choi Kenneth Kwok 22 0 0 30 Nov 2022
Neural Meta-Symbolic Reasoning and Learning Zihan Ye Hikaru Shindo Devendra Singh Dhami Kristian Kersting NAI LRM 23 1 0 21 Nov 2022
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) D. Warren P. V. Roy Yanhong A. Liu LRM 11 0 0 17 Nov 2022
Neural Bayesian Network Understudy Paloma Rabaey Cedric De Boom Thomas Demeester BDL CML 33 0 0 15 Nov 2022
RulE: Knowledge Graph Reasoning with Rule Embedding Xiaojuan Tang Song-Chun Zhu Yitao Liang Muhan Zhang 15 2 0 24 Oct 2022
SIMPLE: A Gradient Estimator for $k$ -Subset Sampling Kareem Ahmed Zhe Zeng Mathias Niepert Guy Van den Broeck BDL 42 24 0 04 Oct 2022
Greybox XAI: a Neural-Symbolic learning framework to produce interpretable predictions for image classification Adrien Bennetot Gianni Franchi Javier Del Ser Raja Chatila Natalia Díaz Rodríguez AAML 32 29 0 26 Sep 2022
Scalable Regularization of Scene Graph Generation Models using Symbolic Theories Davide Buffelli Efthymia Tsamoura 19 2 0 06 Sep 2022
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning Haoyuan He Wang-Zhou Dai Ming Li AI4CE 34 2 0 14 Aug 2022
Neuro-Symbolic Learning: Principles and Applications in Ophthalmology Muhammad Hassan Haifei Guan Aikaterini Melliou Yuqi Wang Qianhui Sun ... Qi Huang Jiefu Tan Qinwang Xing Peiwu Qin Dongmei Yu NAI 36 14 0 31 Jul 2022