Professur für Wissensrepräsentation und -verarbeitung

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 Workflows for the management of change in science, technologies, engineering and mathematics (2011) Autexier S, David C, Kohlhase M, Zholudev V Conference contribution, Original article The planetary system: Executable science, technology, engineering and math papers (2011) Lange-Bever C, Kohlhase M, David C, Ginev D, Kohlhase A, Matican B, Zholudev V Conference contribution, Original article Mathwebsearch 0.5 an open formula search engine (2011) Prodescu CC, Kohlhase M Conference contribution, Original article Licensing the Mizar mathematical library (2011) Kohlhase M, Urban J Conference contribution, Original article The LaTeXML daemon: Editable math on the collaborative web (2011) Ginev D, Stamerjohanns H, Kohlhase M, Miller B Conference contribution, Original article The planetary system: Web 3.0 & active documents for STEM (2011) Kohlhase M, Corneli J, David C, Ginev D, Jucovschi C, Kohlhase A, Lange-Bever C, et al. Conference contribution, Original article Using discourse context to interpret object-denoting mathematical expressions (2011) Kohlhase M Conference contribution, Conference Contribution Combining source, content, presentation, narration, and relational representation (2011) Horozal F, Iacob A, Jucovschi C, Kohlhase M, Rabe F Conference contribution, Original article