← Keywords

probabilistic logic

24 papers

Explore in graph

Also known as

LCN PCTL PL-BOT

Co-occurring keywords

first-order logic (168) model checking (105) probabilistic inference (310) symbolic reasoning (184) self-supervised learning (3751) deep learning (2111) probabilistic reasoning (50) lifted inference (46) knowledge compilation (40) bayesian network (378)

Papers

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 NIPS 2024
Soft-Unification in Deep Probabilistic Logic NIPS 2023
Parallel Neurosymbolic Integration with Concordia ICML 2023
Safe Reinforcement Learning via Probabilistic Logic Shields IJCAI 2023
A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference NIPS 2023
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs AAAI 2022
Weakly Supervised Neural Symbolic Learning for Cognitive Tasks AAAI 2022
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022
Logical Credal Networks NIPS 2022
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
A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion AAAI 2021
Temporal Logics Over Finite Traces with Uncertainty AAAI 2020
Probabilistic Alternating-Time ยต-Calculus AAAI 2019
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems IJCAI 2019
Probabilistic-Logic Bots for Efficient Evaluation of Business Rules Using Conversational Interfaces AAAI 2019
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019
Deep Probabilistic Logic: A Unifying Framework for Indirect Supervision EMNLP 2018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018
Estimating Accuracy from Unlabeled Data: A Probabilistic Logic Approach NIPS 2017
First-order Decomposition Trees NIPS 2013
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NIPS 2011