Skip to content
conftrace_

probabilistic logic

27 papers

Papers

Implicit Learning for Reasoning in First-Order Probabilistic Logic UAI 2026 On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint) AAAI 2026 Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields AAAI 2025 Abductive Reasoning in Logical Credal Networks NeurIPS 2024 A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference NeurIPS 2023 Logical Entity Representation in Knowledge-Graphs for Differentiable Rule Learning ICLR 2023 Parallel Neurosymbolic Integration with Concordia ICML 2023 Safe Reinforcement Learning via Probabilistic Logic Shields IJCAI 2023 Soft-Unification in Deep Probabilistic Logic NeurIPS 2023 Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022 Inference and Learning with Model Uncertainty in Probabilistic Logic Programs AAAI 2022 Logical Credal Networks NeurIPS 2022 Weakly Supervised Neural Symbolic Learning for Cognitive Tasks AAAI 2022 A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion AAAI 2021 Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic IJCAI 2021 Self-Supervised Self-Supervision by Combining Deep Learning and Probabilistic Logic AAAI 2021 Temporal Logics Over Finite Traces with Uncertainty AAAI 2020 A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019 A Probabilistic Logic for Resource-Bounded Multi-Agent Systems IJCAI 2019 Probabilistic Alternating-Time µ-Calculus AAAI 2019 Probabilistic-Logic Bots for Efficient Evaluation of Business Rules Using Conversational Interfaces AAAI 2019 Deep Probabilistic Logic: A Unifying Framework for Indirect Supervision EMNLP 2018 Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018 A Unifying Framework for Probabilistic Belief Revision IJCAI 2017 Estimating Accuracy from Unlabeled Data: A Probabilistic Logic Approach NeurIPS 2017