Professur für Wissensrepräsentation und -verarbeitung

The Planetary project: Towards eMath3.0 (2012) Kohlhase M Conference contribution, Original article Semantic alliance: A framework for semantic allies (2012) David C, Jucovschi C, Kohlhase A, Kohlhase M Conference contribution, Original article MathWebSearch 0.5: Scaling an open formula search engine (2012) Kohlhase M, Matican B, Prodescu CC Conference contribution, Original article Extending MKM formats at the statement level (2012) Horozal F, Kohlhase M, Rabe F Conference contribution, Original article A proof theoretic interpretation of model theoretic hiding (2012) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article Semantics of OpenMath and MathML3 (2012) Kohlhase M, Rabe F Journal article, Original article The flexiformalist manifesto (2012) Kohlhase M Conference contribution, Original article Reasoning without believing: On the mechanisation of presuppositions and partiality (2012) Kerber M, Kohlhase M Journal article, Original article Project abstract: Logic atlas and integrator (LATIN) (2011) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article A foundational view on integration problems (2011) Rabe F, Kohlhase M, Sacerdoti Coen C Conference contribution, Original article