Video recording
Session title:
Best Paper
Session chair:
Guido Governatori
Talks
A Flat Histogram Method for Computing the Density of States of Combinatorial ProblemsStefano Ermon, Carla Gomes, Bart Selman
Lower Bounds for Width-Restricted Clause Learning on Formulas of Small WidthEli Ben-Sasson, Jan Johannsen
Norm Compliance of Rule-Based Cognitive AgentsAntonino Rotolo
Reasoning and Proofing Services for Semantic Web AgentsKalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades
RuleML for Object-Relational Knowledge Representation on the WebHarold Boley
 
Video
 
Video also available for download here. We recommend VLC for playing