We are currently updating this section. More videos are comming very soon. All the sessions are recorded with domestic cameras by volunteers. Sessions recorded at the CCIB venue have better sound quality. You will find the videos of the conference browsing the program at /program/conference. T1: Lifted Inference in Probabilistic Logical Models

T2: Cooperative Games in Multi-Agent Systemss

T4: Answer Set Solving in Practice

T6: Satisfiability Modulo Theories

T8: Constraint Processing from the Graphical Model Perspective

T9: Graphical Languages for Preference Representation and Applications

T10: Algorithms for Classical Planning

T11: Advanced Introduction to Planning: Models and Methods

T13: Enhancing OWL Ontologies via Formal Concept Analysis

T14: Logic-Based Event Recognition

T15: Parallel Data Mining on Multicores