Co-occurring keywords · papers mentioning both
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