VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: ABCEFGIKLMOPSVW
A
Answer Set Programming (ASP)
Approximate inference
B
Bayesian model selection
C
Constraints
CP-logic
E
Exact Inference
F
first order logic
G
GPGPU programming
I
infix probability
K
knowledge compilation
L
Lifted inference
logic programming
M
mapping probabilistic logic languages
Music
O
OpenCL
P
PCFG
personalized PageRank
prefix probability
PRISM
Probabilistic grammar
probabilistic logic
Probabilistic Logic Programming
Probabilistic Logic Programs
probabilistic satisfiability (PSAT)
ProbLog
ProPPR
S
session log
Skolemization
Statistical Relational Learning
Stochastic Logic Programs
V
Variational Bayes
W
Weighted Model Counting