PLP 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

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