Publication
-
Formal Approaches to Social Procedures Book Chapter
January 2014 -
LDBC: benchmarks for graph and RDF data management In Proceedings
January 2014
-
Epistemic Probability Logic Simplified Book Chapter
January 2014 -
Advances in Large-Scale RDF Data Management Book Chapter
January 2014
-
Logic in Action Book
January 2014
-
January 2014
-
Logic, Languages and Programming Presentation
January 2014 -
Programming for DEL Tutorial Day Presentation
January 2014