Information
| Name | Szymon Klarman |
| Group | Knowledge Representation & Reasoning |
List of presentations
| Date | Title |
|---|---|
| 20 September 2010 | Knowledge in context: a model-theoretic perspective |
| 16 May 2011 | Metadata-driven integration of object-level knowledge. |
| 06 February 2012 | Formal verification of data provenance records |