Video recording
Session title:
Best Paper
Session chair:
Guido Governatori
Talks
| A Flat Histogram Method for Computing the Density of States of Combinatorial Problems | Stefano Ermon, Carla Gomes, Bart Selman | |
| Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width | Eli Ben-Sasson, Jan Johannsen | |
| Norm Compliance of Rule-Based Cognitive Agents | Antonino Rotolo | |
| Reasoning and Proofing Services for Semantic Web Agents | Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades | |
| RuleML for Object-Relational Knowledge Representation on the Web | Harold Boley |
Video