Ihlemann, C.; Sofronie-Stokkermans, V.: On Hierarchical Reasoning in Combinations of Theories (AVACS Technical Report, 60). SFB/TR 14 AVACS (2010), 26 pp.

Ihlemann, C.; Sofronie-Stokkermans, V.: System Description: H-PILoT (Version 1.9) (AVACS Technical Report, 61). SFB/TR 14 AVACS (2010), 45 pp.

Preda, N.; Suchanek, F.; Yuan, W.; Weikum, G.: Query Evaluation with Asymmetric Web Services. Max-Planck-Institut für Informatik, Saarbrücken (2010), 31 pp.

Seufert, S.; Bedathur, S.; Mestre, J.; Weikum, G.: Bonsai: Growing Interesting Small Trees. Max-Planck-Institut für Informatik, Saarbrücken (2010), 32 pp.

Suda, M.; Weidenbach, C.; Wischnewski, P.: On the saturation of YAGO. Max-Planck-Institut für Informatik, Saarbrücken (2010), 50 pp.

Tevs, A.; Wand, M.; Ihrke, I.; Seidel, H.-P.: A Bayesian Approach to Manifold Topology Reconstruction. Max-Planck-Institut für Informatik, Saarbrücken (2010), 23 pp.

Theobald, M.; Sozio, M.; Suchanek, F.; Nakashole, N.: URDF: Efficient Reasoning in Uncertain RDF Knowledge Bases with Soft and Hard Rules. Max-Planck-Institut für Informatik, Saarbrücken (2010), 48 pp.

Valgaerts, L.; Bruhn, A.; Mainberger, M.; Weickert, J.: Dense versus Sparse Approaches for Estimating the Fundamental Matrix. FR 6.1 – Mathematik, Universität des Saarlandes, Saarbrücken (2010)