Some model theory of Guarded Negation by Barany, V, Benedikt, M, Ten Cate, B

Effective interpolation and preservation in guarded logics by Benedikt, M, Ten Cate, B, Vanden Boom, M

Querying visible and invisible information by Benedikt, M, Bourhis, P, ten Cate, B, Puppis, G

Declarative probabilistic programming with Datalog by Barany, V, Ten Cate, B, Kimelfeld, b, Olteanu, D, Vagena, Z

Inference from visible information and background knowledge by Benedikt, M, Bourhis, P, ten Cate, B, Puppis, G, Vanden Boom, M

The design and implementation of the LogicBlox system by Aref, M, ten Cate, B, Green, T, Kimelfeld, B, Olteanu, D, Pasalic, E, Veldhuizen, T, Washburn, G