markov logic network

R^2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning ICLR 2025 Improving Out-of-Distribution Detection with Markov Logic Networks ICML 2025 SafeAuto: Knowledge-Enhanced Safe Autonomous Driving with Multimodal Foundation Models ICML 2025 LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints ICLR 2024 NeoMaPy: A Framework for Computing MAP Inference on Temporal Knowledge Graphs IJCAI 2023 A Probabilistic Graphical Model Based on Neural-Symbolic Reasoning for Visual Relationship Detection CVPR 2022 Complex Video Action Reasoning via Learnable Markov Logic Network CVPR 2022 Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022 Improving Certified Robustness via Statistical Learning with Logical Reasoning NeurIPS 2022 Neural markov logic networks UAI 2021 Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry IJCAI 2020 Complex Markov Logic Networks: Expressivity and Liftability UAI 2020 Domain-Liftability of Relational Marginal Polytopes AISTATS 2020 Efficient Probabilistic Logic Reasoning with Graph Neural Networks ICLR 2020 Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models (Extended Abstract) IJCAI 2020 Domain-Size Aware Markov Logic Networks AISTATS 2019 Learning Interpretable Relational Structures of Hinge-loss Markov Random Fields IJCAI 2019 Lifted Message Passing for Hybrid Probabilistic Inference IJCAI 2019 Lifted Weight Learning of Markov Logic Networks Revisited AISTATS 2019 Markov Logic Networks for Knowledge Base Completion: A Theoretical Analysis Under the MCAR Assumption UAI 2019 On Lifted Inference Using Neural Embeddings AAAI 2019 Probabilistic Logic Neural Networks for Reasoning NeurIPS 2019 Efficient Weight Learning in High-Dimensional Untied MLNs AISTATS 2018 Identification of Alias Links among Participants in Narratives ACL 2018 Lifted Weighted Mini-Bucket NeurIPS 2018