Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A C D E F H L M P S U W

A
activity recognition systems	Online Reasoning under Uncertainty with the Event Calculus
C
Causal Bayesian Networks	Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming
causality	Explainability, causality and computational and-or graphs
computational and-or graphs	Explainability, causality and computational and-or graphs
Counterfactual Reasoning	Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming
CP-Logic	Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming
D
Distribution semantics	Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming
E
Event Calculus	Online Reasoning under Uncertainty with the Event Calculus
Explainability	Explainability, causality and computational and-or graphs
F
Functional Causal Models	Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming
H
Hybrid Programs	Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
L
Lifted Inference	On Projectivity in Markov Logic Networks
M
Markov Logic Networks	On Projectivity in Markov Logic Networks
P
Probabilistic Logic Programming	Statistical Statements in Probabilistic Logic Programming Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming
Projectivitiy	On Projectivity in Markov Logic Networks
S
semantics	Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
Statistical relational artificial intelligence	Statistical Statements in Probabilistic Logic Programming
Statistical Relational Learning	On Projectivity in Markov Logic Networks
Statistical Statements	Statistical Statements in Probabilistic Logic Programming
U
Uncertainty Reasoning	Online Reasoning under Uncertainty with the Event Calculus
W
Weighted First Order Model Counting	On Projectivity in Markov Logic Networks