Concepedia
Statistics
Publications
40
Citations
1.2K
H-Index
21
Active since
1992
Affiliations
Constructor University(Current)
Saarland University
German Research Centre for Artificial Intelligence
Michael Kohlhase is an author at Constructor University specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringSemanticsComputer ScienceAutomated ReasoningSemantic WebFormal MethodsLanguageInformation RetrievalLinguisticsComputational Linguistics
Publications per year
1992–2020
Higher-order semantics and extensionality
Christoph Benzmüller, Chad E. Brown, Michael Kohlhase · Journal of Symbolic Logic · 2004 · 110 citations
Formal Semantics, Boolean Extensionality, Non-classical Logic +15
A scalable module system
Florian Rabe, Michael Kohlhase · Information and Computation · 2013 · 95 citations
Engineering, Distributed Computing, Module Design +7
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
Michael Kohlhase, Andreas Franke · Journal of Symbolic Computation · 2001 · 75 citations
Engineering, Modeling Notation, Software Systems +17
Integrating Computer Algebra into Proof Planning
Manfred Kerber, Michael Kohlhase, Volker Sorge · Journal of Automated Reasoning · 1998 · 59 citations
Inference and Computational Semantics
Hans de Nivelle, Patrick Blackburn, Johan Bos et al. · Max Planck Institute for Plasma Physics · 2001 · 57 citations
Formal Semantics, Automated Reasoning, Computational Linguistics +4
1–5 of 40