Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C E F G I K L M O P S V W

A
Answer Set Programming (ASP)	Approximated Probabilistic Answer Set Programming
Approximate inference	An OpenCL implementation of a forward sampling algorithm for CP-logic
B
Bayesian model selection	Exploring probabilistic grammars of symbolic music using PRISM
C
Constraints	cProbLog: Restricting the Possible Worlds of Probabilistic Logic Programs
CP-logic	An OpenCL implementation of a forward sampling algorithm for CP-logic
E
Exact Inference	Compiling Probabilistic Logic Programs into Sentential Decision Diagrams
F
first order logic	cProbLog: Restricting the Possible Worlds of Probabilistic Logic Programs
G
GPGPU programming	An OpenCL implementation of a forward sampling algorithm for CP-logic
I
infix probability	Prefix and infix probability computation in PRISM
K
knowledge compilation	Compiling Probabilistic Logic Programs into Sentential Decision Diagrams Lifted Inference for Probabilistic Logic Programs
L
Lifted inference	Lifted Inference for Probabilistic Logic Programs
logic programming	Approximated Probabilistic Answer Set Programming
M
mapping probabilistic logic languages	PageRank, ProPPR and Stochastic Logic Programs
Music	Exploring probabilistic grammars of symbolic music using PRISM
O
OpenCL	An OpenCL implementation of a forward sampling algorithm for CP-logic
P
PCFG	Prefix and infix probability computation in PRISM
personalized PageRank	PageRank, ProPPR and Stochastic Logic Programs
prefix probability	Prefix and infix probability computation in PRISM
PRISM	Exploring probabilistic grammars of symbolic music using PRISM
Probabilistic grammar	Exploring probabilistic grammars of symbolic music using PRISM
probabilistic logic	Approximated Probabilistic Answer Set Programming
Probabilistic Logic Programming	Lifted Inference for Probabilistic Logic Programs cProbLog: Restricting the Possible Worlds of Probabilistic Logic Programs
Probabilistic Logic Programs	Compiling Probabilistic Logic Programs into Sentential Decision Diagrams
probabilistic satisfiability (PSAT)	Approximated Probabilistic Answer Set Programming
ProbLog	cProbLog: Restricting the Possible Worlds of Probabilistic Logic Programs
ProPPR	PageRank, ProPPR and Stochastic Logic Programs
S
session log	Prefix and infix probability computation in PRISM
Skolemization	Lifted Inference for Probabilistic Logic Programs
Statistical Relational Learning	Lifted Inference for Probabilistic Logic Programs
Stochastic Logic Programs	PageRank, ProPPR and Stochastic Logic Programs
V
Variational Bayes	Exploring probabilistic grammars of symbolic music using PRISM
W
Weighted Model Counting	Lifted Inference for Probabilistic Logic Programs