VSL 2014: VIENNA SUMMER OF LOGIC 2014
PLP PROGRAM
Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 62G: Invited Talk & Welcome
Location: FH, Seminarraum 134
08:45
Welcome (abstract)
08:55
First-order representations for integer programming (abstract)
09:50
PageRank, ProPPR and Stochastic Logic Programs (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 66AX: Algorithms & Semantics
Location: FH, Seminarraum 134
10:45
Prefix and infix probability computation in PRISM (abstract)
11:15
Compiling Probabilistic Logic Programs into Sentential Decision Diagrams (abstract)
11:45
cProbLog: Restricting the Possible Worlds of Probabilistic Logic Programs (abstract)
12:15
Approximated Probabilistic Answer Set Programming (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 75AY: Applications & Implementation
Location: FH, Seminarraum 134
14:30
Exploring probabilistic grammars of symbolic music using PRISM (abstract)
15:00
An OpenCL implementation of a forward sampling algorithm for CP-logic (abstract)
15:30
Lifted Inference for Probabilistic Logic Programs (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
16:30-19:00 Session 80P: Perspectives - Invited Perspectives (joint with CICLOPS-WLPE)
Location: FH, Hörsaal 7
16:30
A unified approach to generative and discriminative modeling (abstract)
17:00
Inference and learning for PLP (abstract)
17:30
18:00
18:30
Discussion on the implementation of PLP systems. (abstract)