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
Chair:
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
Chair:
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
Chair:
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
Chair:
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)
Chair:
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 | TBA (abstract) |
| 18:00 | TBA (abstract) |
| 18:30 | Discussion on the implementation of PLP systems. (abstract) |
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter