Linstädter, Jörg; Kehl, Martin; Broich, Manuel et al.
Chronostratigraphy, site formation processes and pollen record of Ifri n'Etsedda, NE MoroccoQuaternary International : The journal of the International Union for Quaternary Research. Bd. 410. H. Part A. Amsterdam: Elsevier 2016 S. 6 - 29
Holy, Peter; Krapf, Regula; Lücke, Philipp et al.
Class forcing, the forcing theorem and Boolean completionsJournal of Symbolic Logic. Bd. 81. H. 4. Cambridge: Cambridge University Press 2016 S. 1500 - 1530
Kille, Benjamin; Lommatzsch, Andreas; Hopfgartner, Frank et al.
CLEF NewsREEL 2016: Comparing Multi-Dimensional Offline and Online Evaluation of News Recommender SystemsKrisztian Balog; Linda Cappellato; Nicola Ferro; Craig Macdonald (Hrsg). Working Notes of CLEF 2016 - Conference and Labs of the Evaluation Forum: Évora, Portugal, 5-8 September, 2016. Aachen: CEUR/RWTH 2016 S. 593 - 605
Boehm, Friederike; Brueckner, Judith; Eichhorn, Danny et al.
Cloud cover but not artificial light pollution affects the morning activity of Wood PigeonsOrnis Fennica. Bd. 93. H. 4. Helsinki: BirdLife Finland 2016 S. 246 - 252
Meuschke, Monique; Lawonn, Kai; Köhler, Benjamin et al.
Clustering of Aortic Vortex Flow in Cardiac 4D PC- MRI DataThomas Tolxdorff; Thomas Martin Deserno; Heinz Handels; Hans-Peter Meinzer (Hrsg). Bildverarbeitung für die Medizin 2016 : Algorithmen – Systeme – Anwendungen : Proceedings des Workshops vom 13. bis 15. März 2016 in Berlin. Berlin; Heidelberg: Springer 2016 S. 182 - 187
Furbach, Ulrich; Schon, Claudia
Commonsense Reasoning Meets Theorem ProvingMatthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokahr; Sebastian Ahrndt (Hrsg). Multiagent System Technologies: 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 3 - 17
Furbach, Ulrich; Schon, Claudia
Commonsense Reasoning meets Theorem Proving2016 S. 1 - 42
Furbach, Ulrich; Schon, Claudia
Commonsense Reasoning meets Theorem ProvingFederico Chesani; Paola Mello; Michela Milano (Hrsg). Proceedings of the AI*IA Workshop on URANIA 2016 Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence AIxIA 2016: Genova, Italy, November 28th, 2016. Aachen: CEUR/RWTH 2016 S. 1 - 12
Jürjens, Jan
Compliance in CloudsSan Murugesan;Irena Bojanova (Hrsg). Encyclopedia of Cloud Computing. Hoboken, NJ: Wiley 2016 S. 275 - 290
Breuker, Dominic; Matzner, Martin; Delfmann, Patrick et al.
Comprehensible Predictive Models for Business ProcessesMIS Quarterly. Bd. 40. H. 4. Minneapolis: Management Information Systems Research Center of the University of Minnesota 2016 S. 1009 - 1034