KWARC » publications » MKohlhase

Michael Kohlhase

Table of Contents

Articles in Journals

  1. Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce Miller. Transforming large collections of scientific publications to XML; pp. 299–307 in Serge Autexier, Petr Sojka, Masakazu Suzuki, eds.: Mathematics in Computer Science (3:3) (Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge); Birkhäuser 2010.
  2. Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase. Conversion d'articles en LaTeX vers XML avec MathML : une étude comparative; pp. 7–28 in Cahiers GUTenberg (51); 2010.
  3. Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase. Applying Semantic Techniques to Search and Analyze Bug Tracking Data; pp. 285–308 in Journal of Network and Systems Management (17:3) (Special Issue on Ontologies for Network and Service Management); May 2009.
  4. Christoph E. Benzmueller, Chad E. Brown, Michael Kohlhase. Cut-Simulation and Impredicativity; pp. 1–21 in Logical Methods in Computer Science (5:1); 2009.
  5. Andrea Kohlhase, Michael Kohlhase. Semantic Knowledge Management for Education; pp. 970–989 in Proceedings of the IEEE; Special Issue on Educational Technology (96:6); IEEE June 2008.
  6. Michael Kohlhase. Using LaTeX as a Semantic Markup Format; pp. 279–304 in Mathematics in Computer Science (2:2); Birkhäuser 2008.
  7. Christoph Benzmüller, Chad Brown, Michael Kohlhase. Higher Order Semantics and Extensionality; pp. 1027–1088 in Journal of Symbolic Logic (69); 2004.
  8. Patrick Blackburn, Michael Kohlhase. Inference and Computational Semantics; pp. 117–120 in Journal of Logic, Language and Information (13:2); 2004.
  9. Johan Bos, Michael Kohlhase. Editorial; pp. 381-384 in Logic Journal of the IGPL (11:4); 2003.
  10. Michael Kohlhase, Alexander Koller. Resource-Adaptive Model Generation as a Performance Model; pp. 435–456 in Logic Journal of the IGPL (11:4); 2003.
  11. Michael Kohlhase, Andreas Franke. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems; pp. 365–402 in Journal of Symbolic Computation; Special Issue on the Integration of Computer Algebra and Deduction Systems (32:4); 2001.
  12. Michael Kohlhase. textscOMDoc: An Infrastructure for textscOpenMath Content Dictionary Information; pp. 43–48 in Bulletin of the ACM Special Interest Group on Symbolic and Automated Mathematics (SIGSAM) (34:2); 2000.
  13. Dieter Hutter, Michael Kohlhase. Managing Structural Information by Higher-Order Colored Unification; pp. 123–164 in Journal of Automated Reasoning (25:2); 2000.
  14. Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge. Agent-Oriented Integration of Distributed Mathematical Services; pp. 156–187 in Journal of Universal Computer Science (5); 1999.
  15. Claire Gardent, Michael Kohlhase, Karsten Konrad. Higher-Order Colored Unification: A Linguistic Application; pp. 1–28 in Téchniqe et Sciences Informatiques, special issue for JFPLC-UNIF'97 (18:2); 1999.
  16. Michael Kohlhase, Ortwin Scheja. Higher-Order Multi-Valued Resolution; in Journal of Applied Non-Classical Logics (9); 1999.
  17. Jörg Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge. L$Omega$UI: Lovely $Omega$mega User Interface; pp. 326–342 in Formal Aspects of Computing (3:11); 1999.
  18. Markus Egg, Claire Gardent, Michael Kohlhase. Steuerung der Inferenz in der Diskursverarbeitung; pp. 106–110 in Kognitionswissenschaft (7:3); 1998.
  19. Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra Into Proof Planning; pp. 327–355 in Journal of Automated Reasoning (21:3); 1998.
  20. Jörg Siekmann, Michael Kohlhase, Erica Melis. $Omega$mega, Ein mathematisches Assistenzsystem; pp. 101–105 in Kognitionswissenschaft (7:3); 1998.
  21. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann. Die Beweisentwicklungsumgebung $Omega$mega; pp. 20–26 in Informatik – Forschung und Entwicklung (11); Springer Verlag 1996.
  22. Manfred Kerber, Michael Kohlhase. A Tableau Calculus for Partial Functions; pp. 21–49 in Collegium Logicum: Annals of the Kurt-Gödel-Society (2); Springer Verlag 1996.
  23. Michael Kohlhase. Sorten für das automatische Beweisen höherer Stufe; in Künstliche Intelligenz; Scientec Publishing 1996.

Articles in Collections

  1. Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz. Formal Management of CAD/CAM Processes; in Berthold Hoffmann, Bernd Gersdorf, Christoph Lüth, Till Mossakowski, Thomas Röfer, Lutz Schröder, Shi Hui, Mattias Werner, eds.: Festschrift in Honour of Bernd Krieg-Brückner's 60th Birthday; DFKI 2009.
  2. Andrea Kohlhase, Michael Kohlhase. Compensating the Computational Bias of Spreadsheets; in Berthold Hoffmann, Bernd Gersdorf, Christoph Lüth, Till Mossakowski, Thomas Röfer, Lutz Schröder, Shi Hui, Mattias Werner, eds.: Festschrift in Honour of Bernd Krieg-Brückner's 60th Birthday; DFKI 2009.
  3. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; pp. 47–68 in Jörg Rech, Björn Decker, Eric Ras, eds.: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications; IGI Global April 2008.
  4. Michael Kohlhase. Wissensrepräsentation für computerunterstützte Lehre; pp. 248–251 in Veronika Hornung-Prähauser, Michaela Luckmann, Marco Kalz, eds.: Selbstorganisiertes Lernen im Internet; Studienverlag 2008.
  5. Christoph Benzmüller, Chad Brown, Michael Kohlhase. Cut Elimination with Xi-Functionality; in Christoph Benzmüller, Chad Brown, Jörg Siekmann, Rick Statman, eds.: ; College Publications 2008.
  6. Grzegorz Bancerek, Michael Kohlhase. Towards a Mizar Mathematical Library in OMDoc Format; pp. 265–275 in R. Matuszewski, A. Zalewska, eds.: From Insight to Proof: Festschrift in Honour of Andrzej Trybulec; Studies in Logic, Grammar and Rhetoric (10:23), University of Białystok 2007.
  7. Andreas Franke, Michael Kohlhase. MBase, an Open Mathematical Knowledge Base; chap. 26.4 in OMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006.
  8. Christoph Lange, Michael Kohlhase. SWiM – An OMDoc-based Semantic Wiki; chap. 26.10 in OMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006.
  9. Michael Kohlhase. sTeX: A LaTeX-Based Workflow for OMDoc; chap. 26.15 in OMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006.
  10. Michael Kohlhase. Standardizing Context in System Interoperability; chap. 26.18 in OMDoc – An open markup format for mathematical documents [Version 1.2]; LNAI 4180, Springer Verlag August 2006.
  11. Michael Kohlhase. Artificial Intelligence: Automated Reasoning; pp. 247–250 in Van Nostrand's Scientific Encyclopedia; Van Nostrand 2003.
  12. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Inference and Computational Semantics; pp. 11–28 in Harry Bunt, Leen Kievit, Reinhard Muskens, Margriet Verlinden, eds.: Computing Meaning (Volume 2); Kluwer Academic Publishers 2001.
  13. Michael Kohlhase, Erica Melis, Jörg Siekmann. $Omega$MEGA – A Mathematical Assistant; pp. 248–251 in Jelle Gerbrandy, Maarten Marx, Maarten Rijke, Yde Venema, eds.: Liber Amicorum for the Fiftieth Birthday of Johan van Benthem; ILLC 1999.
  14. Michael Kohlhase. Higher-Order Automated Theorem Proving; pp. 431–462 in Wolfgang Bibel, Peter Schmitt, eds.: Automated Deduction – A Basis for Applications; Kluwer 1998.
  15. Michael Kohlhase. Automated Theorem Proving in Mathematics; pp. 3–7 in Wolfgang Bibel, Peter Schmitt, eds.: Automated Deduction – A Basis for Applications; Kluwer 1998.
  16. Michael Kohlhase. Beweissysteme mit Logiken höherer Stufe; pp. 213–238 (chap. 6) in Karl Hans Bläsius, Hans-Jürgen Bürckert, eds.: Deduktionssysteme, Automatisierung des Logischen Denkens; R. Oldenbourg Verlag 1992.

Conference and Workshop Contributions

  1. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev. Publishing Math Lecture Notes as Linked Data; pp. 370–375 in Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache, eds.: ESWC; Lecture Notes in Computer Science 6089, Springer Verlag June 2010.
  2. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Vyacheslav Zholudev. JOBAD/MMT – Interactive Mathematics; in Adrian Giurca, Brigitte Endres-Niggemeyer, Christoph Lange, Lutz Maicher, Pascal Hitzler, eds.: AI Mashup Challenge 2010, ESWC; June 2010.
  3. Anca Dumitrache, Christoph Lange, Michael Kohlhase, Nils Aschenbeck. Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki; in Christoph Lange, Jochen Reutelshöfer, Sebastian Schaffert, Hala Skaf-Molli, eds.: 5th Workshop on Semantic Wikis; CEUR Workshop Proceedings, May 2010.
  4. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. Dimensions of Formality: A Case Study for MKM in Software Engineering; pp. 355–369 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010.
  5. Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev. Towards MKM in the Large: Modular Representation and Scalable Software Architecture; pp. 370–384 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010.
  6. Constantin Jucovschi, Michael Kohlhase. sTeXIDE: An Integrated Development Environment for sTeX Collections; in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010.
  7. Andrea Kohlhase, Michael Kohlhase, Christoph Lange. sTeX – A System for Flexible Formalization of Linked Data; in Nicola Henze, Adrian Paschke, Andreas Blumauer, Richard Cyganiak, Tassilo Pellegrini, eds.: Proceedings of I-Semantics 2010; ACM 2010.
  8. Vyacheslav Zholudev, Michael Kohlhase. Scripting Documents with XQuery: Virtual Documents in TNTBase; in Proceedings of Balisage: The Markup Conference 2010; Balisage Series on Markup Technologies, Mulberry Technologies, Inc. 2010.
  9. Vyacheslav Zholudev, Michael Kohlhase. Scripting Documents with XQuery: Virtual Documents in TNTBase; in Proceedings of Balisage: The Markup Conference 2010; Balisage Series on Markup Technologies, Mulberry Technologies, Inc. 2010.
  10. Andrea Kohlhase, Michael Kohlhase. What we understand is we get: Assessment in Spreadsheets; in Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010); 2010.
  11. Mihai Grigore, Magdalena Wolska, Michael Kohlhase. Towards Context-Based Disambiguation of Mathematical Expressions; pp. 262–271 in Masakazu Suzuki, Hoon Hong, Hirokazu Anai, Chee Yap, Yousuke Sato, Hiroshi Yoshida, eds.: The Joint Conference of ASCM 2009 and MACIS 2009: Asian Symposium on Computer Mathematics and Mathematical Aspects of Computer and Information Sciences; COE Lecture Notes (22), Faculty of Mathematics, Kyushu University December 14, 2009.
  12. Michael Kohlhase, Jana Giceva, Christoph Lange, Vyacheslav Zholudev. JOBAD – Interactive Mathematical Documents; in Brigitte Endres-Niggemeyer, Valentin Zacharias, Pascal Hitzler, eds.: AI Mashup Challenge 2009, KI Conference; September 2009.
  13. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; in Christoph Lange, Jochen Reutelshöfer, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM09; September 2009.
  14. Andrea Kohlhase, Michael Kohlhase. What you get is what you understand: Assessment in SACHS; pp. 22–29 in Christoph Lange, Jochen Reutelshöfer, eds.: Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM09; September 2009.
  15. James H. Davenport, Michael Kohlhase. Unifying Math Ontologies: A tale of two standards; pp. 263–278 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus 2009 Proceedings; LNAI 5625, Springer Verlag July 2009.
  16. James H. Davenport, Michael Kohlhase. Quantifiers in OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009.
  17. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009.
  18. Florian Rabe, Michael Kohlhase. A better Role System for OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009.
  19. Christoph Lange, Michael Kohlhase. A Mathematical Approach to Ontology Authoring and Documentation; pp. 389–404 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus 2009 Proceedings; LNAI 5625, Springer Verlag July 2009.
  20. Andrea Kohlhase, Michael Kohlhase. Spreadsheet Interaction with Frames: Exploring a Mathematical Practice; pp. 341–256 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus 2009 Proceedings; LNAI 5625, Springer Verlag July 2009.
  21. Andrea Kohlhase, Michael Kohlhase. Compensating the Computational Bias of Spreadsheets with MKM Techniques; pp. 357–372 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus 2009 Proceedings; LNAI 5625, Springer Verlag July 2009.
  22. Christoph Lange, Michael Kohlhase. Documenting Ontologies the Mathematical Way; in Poster Proceedings of the 6rd European Semantic Web Conference, ESWC 2009; June 2009.
  23. Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase. An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus; in Applications of Semantic Technologies (AST) Workshop at Informatik 2009; 2009.
  24. Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase. MathML-aware article conversion from LaTeX, A comparison study; in Petr Sojka, ed.: Towards Digital Mathematics Library, DML 2009 workshop; Masaryk University, Brno 2009.
  25. Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz. Formal Management of CAD/CAM Processes; in 16th International Symposium on Formal Methods (FM 2009); LNCS, Springer Verlag 2009.
  26. Vyacheslav Zholudev, Michael Kohlhase. TNTBase: a Versioned Storage for XML; in Proceedings of Balisage: The Markup Conference 2009; Balisage Series on Markup Technologies, Mulberry Technologies, Inc. 2009.
  27. Andrea Kohlhase, Michael Kohlhase. Semantic Transparency in User Assistance Systems; pp. 89–96 in Brad Mehlenbacher, Aristidis Protopsaltis, Ashley Williams, Shaun Slatterey, eds.: Proceedings of the 27th annual ACM international conference on Design of communication; ACM Press 2009.
  28. Andrea Kohlhase, Michael Kohlhase. Modeling Task Experience in User Assistance Systems; pp. 135–142 in Brad Mehlenbacher, Aristidis Protopsaltis, Ashley Williams, Shaun Slatterey, eds.: Proceedings of the 27th annual ACM international conference on Design of communication; ACM Press 2009.
  29. Andrea Kohlhase, Michael Kohlhase. Compensating the Semantic Bias of Spreadsheets; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008.
  30. Normen Müller, Michael Kohlhase. Fine-Granular Version Control & Redundancy Resolution; in Joachim Baumeister, Martin Atzmüller, eds.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings; October 2008.
  31. Christine Müller, Michael Kohlhase. Towards A Community of Practice Toolkit; in Christine Müller, ed.: Proceedings of the 2nd SCooP Workshop; June 2008.
  32. Florian Rabe, Michael Kohlhase. An Exchange Format for Modular Knowledge; pp. 50–68 in G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, S. Schulz, eds.: Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics; CEUR Workshop Proceedings 418, 2008.
  33. Christine Müller, Michael Kohlhase. Communities of Practice in Mathematical eLearning; pp. 34–35 in In proceedings of the Workshop in Mathematical and Scientific eContent; 2008.
  34. Christine Müller, Michael Kohlhase. Towards A Community of Practice Toolkit Based On Semantically Marked Up Artifacts; pp. 41–50 in M. D. Lytras, Others, eds.: Proceedings of the 1st World Summit of the Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society; LNAI 5288, Springer-Verlag Berlin Heidelberg 2008.
  35. Michael Kohlhase, Christine Müller, Florian Rabe. Notations for Living Mathematical Documents; pp. 504–519 in Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, eds.: Intelligent Computer Mathematics, 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 – August 1, 2008, Proceedings; LNAI 5144, Springer Verlag 2008.
  36. Heinrich Stamerjohanns, Michael Kohlhase. Transforming the ar$chi$iv to XML; pp. 574–582 in Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, eds.: Intelligent Computer Mathematics, 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 – August 1, 2008, Proceedings; LNAI 5144, Springer Verlag 2008.
  37. Michael Kohlhase, Christine Müller, Normen Müller. Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge; in Paul Libbrecht, ed.: Mathematical User Interfaces Workshop 2007; June 2007.
  38. Michael Kohlhase, Christoph Lange, Florian Rabe. Presenting Mathematical Content With Flexible Elisions; in Olga Caprotti, Michael Kohlhase, Paul Libbrecht, eds.: OpenMath/JEM Workshop 2007; June 2007.
  39. Immanuel Normann, Michael Kohlhase. Extended Formula Normalization for $epsilon$-Retrieval and Sharing of Mathematical Knowledge; pp. 266–279 in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds.: Towards Mechanized Mathematical Assistants. MKM/Calculemus 2007; LNAI 4573, Springer Verlag 2007.
  40. Andrea Kohlhase, Michael Kohlhase. Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch; pp. 266–279 in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds.: Towards Mechanized Mathematical Assistants. MKM/Calculemus 2007; LNAI 4573, Springer Verlag 2007.
  41. Christine Müller, Michael Kohlhase. panta rhei; pp. 318–323 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007.
  42. Michael Kohlhase, Achim Mahnke, Christine Müller. Managing Variants in Document Content and Narrative Structures; pp. 324–229 in Alexander Hinneburg, ed.: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings; Martin-Luther-University Halle-Wittenberg 2007.
  43. Christoph Lange, Michael Kohlhase. A Semantic Wiki for Mathematical Knowledge Management; in Max Völkel, Sebastian Schaffert, Stefan Decker, eds.: 1st Workshop on Semantic Wikis; CEUR Workshop Proceedings 206, June 2006.
  44. Christoph E. Benzmueller, Chad E. Brown, Michael Kohlhase. Cut-Simulation in Impredicative Logics; pp. 220–234 in Ulrich Furbach, Natarajan Shankar, eds.: Automated Reasoning — Third International Joint Conference, IJCAR 2006; LNAI 4130, Springer Verlag 2006.
  45. Michael Kohlhase, Ioan Şucan. A Search Engine for Mathematical Formulae; pp. 241–253 in Tetsuo Ida, Jacques Calmet, Dongming Wang, eds.: Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006; LNAI 4120, Springer Verlag 2006.
  46. Andrea Kohlhase, Michael Kohlhase. Communities of Practice in MKM: An Extensional Model; pp. 179–193 in Jon Borwein, William M. Farmer, eds.: Mathematical Knowledge Management, MKM'06; LNAI 4108, Springer Verlag 2006.
  47. Eberhard Hilf, Michael Kohlhase, Heinrich Stamerjohanns. Capturing the Content of Physics: Systems, Observables, and Experiments; pp. 165–178 in Jon Borwein, William M. Farmer, eds.: Mathematical Knowledge Management, MKM'06; LNAI 4108, Springer Verlag 2006.
  48. Andrea Kohlhase, Michael Kohlhase. An Exploration in the Space of Mathematical Knowledge; pp. 17–32 in Michael Kohlhase, ed.: Mathematical Knowledge Management, MKM'05; LNAI 3863, Springer Verlag 2006.
  49. Michael Kohlhase. OMDoc: Open Mathematical Documents; pp. 137–143 in Fred Vries, Graham Attwell, Raymond Elferink, Alexandra Tödt, eds.: Open Source for Education in Europe: Research and Practise; Open Universiteit Nederland November 2005.
  50. Andrea Kohlhase, Michael Kohlhase. CPoint: Dissolving the Author's Dilemma; pp. 175–189 in Andrea Asperti, Grzegorz Bancerek, Andrej Trybulec, eds.: Mathematical Knowledge Management, MKM'04; LNAI 3119, Springer Verlag 2004.
  51. Michael Kohlhase. Semantic Markup for TeX/LaTeX; in Paul Libbrecht, ed.: Mathematical User Interfaces; 2004.
  52. Edmund Clarke, Michael Kohlhase, Joël Ouaknine, Klaus Sutner. System Description: Analytica 2; pp. 69–74 in Thérèse Hardin, Renaud Rioboo, eds.: Proceedings of the 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2003); September 2003.
  53. Edmund Clarke, Michael Kohlhase, Joël Ouaknine, Klaus Sutner. Resurrecting the Analytica Theorem Prover; in First QPQ Workshop on Deductive Software Components; 2003.
  54. Michael Kohlhase, Romeo Anghelache. Towards Collaborative Content Management And Version Control For Structured Mathematical Knowledge; pp. 147–161 in Andrea Asperti, Bruno Buchberger, James Harold Davenport, eds.: Mathematical Knowledge Management, MKM'03; LNCS 2594, Springer Verlag 2003.
  55. Benjamin Han, Michael Kohlhase. A time calculus for natural language; pp. 113–127 in Patrick Blackburn, Johan Bos, eds.: Proceedings of Inference in Computational Semantics ICoS-4; LORIA, Nancy 2003.
  56. Michael Kohlhase. Applying Unification Techniques to XML Document Management?; in $17^th$ Workshop on Unification; 2003.
  57. Andrea Asperti, Michael Kohlhase. MathML in the scMoWGLI Project; in Second International Conference on MathML and Technologies for Math on the Web; 2002.
  58. Michael Kohlhase, Klaus Sutner, Peter Jansen, Andrea Kohlhase, Peter Lee, Dana Scott, Matthew Szudzik. Acquisition of Math Content in an Academic Setting; in Second International Conference on MathML and Technologies for Math on the Web; 2002.
  59. Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer. Proof Development with $Omega$mega; pp. 144–149 in Andrei Voronkov, ed.: Automated Deduction — CADE-18; LNAI 2392, Springer Verlag 2002.
  60. Michael Kohlhase. OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge; pp. 32–52 in Eugenio Roanes Lozano, ed.: Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2000; LNAI 1930, Springer Verlag 2001.
  61. Michael Kohlahse. Formal Representation Issues in an Open Mathematical Knowledge Base; in Bruno Buchberger, Olga Caprotti, eds.: Electronic Proceedings of the First International Workshop on Mathematical Knowledge Management: MKM'2001; 2001.
  62. Alessandro Armando, Michael Kohlhase, Silvio Ranise. Communication Protocols for mathematical Services based on KQML and OMRS; pp. 34–48 in Manfred Kerber, Michael Kohlhase, eds.: Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2000); AKPeters 2000.
  63. Michael Kohlhase, Alexander Koller. Towards A Tableaux Machine for Language Understanding; pp. 57–88 in Johan Bos, Michael Kohlhase, eds.: Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2000.
  64. Andreas Franke, Michael Kohlhase. System Description: MBase, an Open Mathematical Knowledge Base; pp. 455–459 in David McAllester, ed.: Automated Deduction – CADE-17; LNAI 1831, Springer Verlag 2000.
  65. Michael Kohlhase. Model Generation for Discourse Representation Theory; pp. 441–445 in Werner Horn, ed.: Proceedings of of the 14th European Conference on Artifical Intelligence; John Wiley & Sons, Chichester, UK 2000.
  66. Manfred Pinkal, Michael Kohlhase. Feature Logic for Dotted Types: A Formalism for Complex Word Meanings; pp. 521–528 in Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics; 2000.
  67. Jörg Siekmann, Christoph BenzMüller, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge, Carsten Ullrich, Jürgen Zimmer. Adaptive Course Generation and Presentation; in P. Brusilovski, Chrisoph Peylo, eds.: Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems; 2000.
  68. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Inference and Computational Semantics; pp. 5–19 in Harry Bunt, Leen Kievit, Reinhard Muskens, Margriet Verlinden, eds.: Proceedings of IWCS III (Third International Workshop on Computational Semantics); 1999.
  69. Andreas Franke, Michael Kohlhase. System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving; pp. 217–221 in Harald Ganzinger, ed.: Automated Deduction — CADE-16; LNAI 1632, Springer Verlag 1999.
  70. Stefan Hess, Christoph Jung, Michael Kohlhase, Volker Sorge. An Implementation of Distributed Mathematical Services; in Arjeh Cohen, Henk Barendregt, eds.: 6th CALCULEMUS and TYPES Workshop; July 1998.
  71. Christoph Benzmüller, Michael Kohlhase. Extensional Higher Order Resolution; pp. 56–72 in Claude Kirchner, Hélène Kirchner, eds.: Proceedings of the 15th Conference on Automated Deduction; LNAI 1421, Springer Verlag 1998.
  72. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Automated Theorem Proving for Natural Language Understanding; in Peter Baumgartner, Ulrich Furbach, Michael Kohlhase, William McCune, Wolfgang Reif, Mark Stickel, Tomàs Uribe, eds.: CADE-15 Workshop “Problem-solving Methodologies with Automated Deduction”; 1998.
  73. Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge. A Distributed Graphical User Interface for the Interactive Proof System OMEGA; pp. 130–138 in Roland C. Backhouse, ed.: User Interfaces for Theorem Provers; Computing Science Reports 98-08, 1998.
  74. Christoph Benzmüller, Michael Kohlhase. LEO – a Higher Order Theorem Prover; pp. 139–144 in Claude Kirchner, Hélène Kirchner, eds.: Proceedings of the 15th Conference on Automated Deduction; LNAI 1421, Springer Verlag 1998.
  75. Jörg Siekmann, Stephan Hess, Christoph BenzMüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge. LOUI: A Distributed Graphical User Interface for the Interactive Proof System OMEGA; in Proceedings of the International Workshop “User Interfaces for Theorem Provers 1998” (UITP'98); 1998.
  76. Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Erica Melis, Andreas Meier, Wolfgang Schaarschmidt, Jörg Siekmann, Volker Sorge. $Omega$mega: Towards a mathematical assistant; pp. 252–255 in William McCune, ed.: Proceedings of the 14th Conference on Automated Deduction; LNAI 1249, Springer Verlag 1997.
  77. Dieter Hutter, Michael Kohlhase. A Coloured Version of the $lambda$-Calculus; pp. 291–305 in William McCune, ed.: Proceedings of the 14th Conference on Automated Deduction; LNAI 1249, Springer Verlag 1997.
  78. Manfred Kerber, Michael Kohlhase. Mechanising Partiality without Re-Implementation; pp. 123–134 in Gerd Brewka, Cristopher Habel, Bernhard Nebel, eds.: Proceedings of the 18.th Annual German Conference on Artificial Intelligence KI'97; LNAI 1303, 1997.
  79. Markus Egg, Michael Kohlhase. Dynamic Control of Quantifier Scope; pp. 109–114 in Paul Dekker, ed.: Proceedings of the 11th Amsterdam Colloquium; ILLC 1997.
  80. Markus Egg, Michael Kohlhase. Underspecification of quantifier scope; in Proceedings der 6. Fachtagung der Sektion Computerlinguistik der DGfS; 1997.
  81. Claire Gardent, Michael Kohlhase. Computing parallelism in Discourse; pp. 1016–1021 in Martha E. Pollack, ed.: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI); Morgan Kaufmann 1997.
  82. Dieter Hutter, Michael Kohlhase. A Coloured Version of the $lambda$-Calculus; pp. 291–305 in Proceedings of CADE'97; 1997.
  83. Michael Kohlhase, Susanna Kuschert. Dynamic Lambda Calculus; pp. 85–92 in Proceedings of the 5th Meeting on Mathematics of Language – MOL5; 1997.
  84. Manfred Kerber, Michael Kohlhase. A Resolution Calculus for Presuppositions; pp. 375–379 in Wolfgang Wahlster, ed.: Proceedings of the 12th European Conference on Artificial Intelligence; John Wiley & Sons, Chichester, UK August 1996.
  85. Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra with Proof Planning; pp. 204–215 in Jacques Calmet, Carla Limogelli, eds.: Design and Implementation of Symbolic Computation Systems, DISCO'96; LNCS 1128, Springer Verlag 1996.
  86. Manfred Kerber, Michael Kohlhase. Partiality without the Cost; in Workshop on “Mechanization of Partial Functions” at CADE-13; 1996.
  87. Claire Gardent, Michael Kohlhase. Focus and Higher–Order Unification; pp. 268–279 in Proceedings of the 16th International Conference on Computational Linguistics; 1996.
  88. Claire Gardent, Michael Kohlhase. Higher–Order Coloured Unification and Natural Language Semantics; pp. 1–9 in Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics; ACL 1996.
  89. Claire Gardent, Michael Kohlhase, Noor Leusen. Corrections and Higher-Order Unification; pp. 268–279 in Proceedings of KONVENS'96; De Gruyter 1996.
  90. Michael Kohlhase, Susanna Kuschert, Manfred Pinkal. A type-theoretic semantics for $lambda$-DRT; pp. 479–498 in P. Dekker, M. Stokhof, eds.: Proceedings of the 10th Amsterdam Colloquium; 1996.
  91. Michael Kohlhase. Higher-Order Tableaux; pp. 294–309 in Proceedings of the Tableau Workshop; 1995.
  92. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Daniel Nesmith, Jörn Richts. Guaranteeing Correctness through the Communication of Checkable Proofs (or: Would You Really Trust an Automated Reasoning System?); in CADE-14 Workshop; 1994.
  93. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann. KEIM: A Toolkit for Automated Deduction; pp. 807–810 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994.
  94. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Wolfgang Reif. A Test for Evaluating the Practical Usefulness of Deduction Systems; pp. 12–12 in Christoph Walther Bibel, ed.: Informal Proc. of the 11th Annual Meeting of the “GI-Fachgruppe Deduktionssysteme”; Forschungsbericht, FB Informatik, TH Darmstadt AIDA-94-06, 1994.
  95. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts. Adapting Methods to Novel Tasks in Proof Planning; pp. 379–390 in Bernhard Nebel, Leonie Dreschler-Fischer, eds.: 18th Annual German Conference on Aritificial Intelligence; LNAI 861, Springer Verlag 1994.
  96. Patricia Johann, Michael Kohlhase. Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading; pp. 620–634 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994.
  97. Michael Kohlhase. Unification in a $lambda$-calculus with term declarations and function sorts; pp. 331–342 in Bernhard Nebel, Leonie Dreschler-Fischer, eds.: 18th Annual German Conference on Aritificial Intelligence; LNAI 861, Springer Verlag 1994.
  98. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Daniel Nesmith, Jörn Richts, Jörg Siekmann. $Omega$-MKRP A Proof Development Environment; pp. 788–792 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994.
  99. Manfred Kerber, Michael Kohlhase. A Mechanization of Strong Kleene Logic for Partial Functions; pp. 371–385 in Alan Bundy, ed.: Proceedings of the 12th Conference on Automated Deduction; LNAI 814, Springer Verlag 1994.
  100. Michael Kohlhase. Higher-Order Resolution with Combinators; pp. 15 in J. Avenhaus, J. Denzinger, eds.: Informal Proceedings fo the Annual Meeting of “GI-Fachgruppe `Deduktionssysteme' ” in Kaiserslautern, 1993; SEKI-Report SR-93-11 (SFB), 1993.
  101. Michael Kohlhase, Frank Pfenning. Unification in a $lambda$-Calculus with Intersection Types; pp. 488–505 in Dale Miller, ed.: Proceedings of the International Logic Programming Sympsion ILPS'93; MIT Press 1993.
  102. Michael Kohlhase. Unification in Order-Sorted Type Theory; pp. 421–432 in Andrei Voronkov, ed.: Proceedings of the International Conference on Logic Programming and Automated Reasoning LPAR'92; LNAI 624, Springer Verlag 1992.

Monographs and Proceedings

  1. Olga Caprotti, Sebastian Xambó, Maria-Antonia Huertas, Michael Kohlhase, Mika Seppälä. 3rd JEM Workshop – Joining Educational Mathematics; 2008.
  2. Olga Caprotti, Michael Kohlhase, Paul Libbrecht. OpenMath/JEM Workshop 2007; June 2007.
  3. Michael Kohlhase, . OMDoc – An open markup format for mathematical documents [Version 1.2]; Springer Verlag August 2006.
  4. Christian Freksa, Michael Kohlhase, Kerstin Schill. Proceedings of the 29.th Annual German Conference on Artificial Intelligence KI'06; LNAI 4314, 2006.
  5. Michael Kohlhase. Mathematical Knowledge Management, MKM'05; LNAI 3863, Springer Verlag 2006.
  6. Peter Baumgartner, Paul A. Cairns, Michael Kohlhase, Erica Melis. Proceedings of the IJCAI 03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems; 2003.
  7. Patrick Blackburn, Michael Kohlhase. Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2001.
  8. Johan Bos, Michael Kohlhase. Proceedings of Inference in Computational Semantics ICoS-2; Computational Linguistics, Saarland University 2000.
  9. Manfred Kerber, Michael Kohlhase. Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2000); AKPeters 2000.
  10. Peter Baumgartner, Ulrich Furbach, Michael Kohlhase, William McCune, Wolfgang Reif, Mark Stickel, Tomàs Uribe. CADE-15 Workshop “Problem-solving Methodologies with Automated Deduction”; 1998.
  11. Jörg Denzinger, Michael Kohlhase, Bruce Spencer. CADE-15 Workshop “Using AI Methods in Deduction”; 1998.

Theses

  1. Michael Kohlhase. A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle; Ph.D. Thesis, Universität des Saarlandes 1994.
  2. Michael Kohlhase. Eine hinreichende Bedingung für die starke, homologische Minimalität von kompakten, $cal F$-extremalen Hyperflächen in glatten Mannigfaltigkeiten; Master's Thesis, Universität Bonn 1989.

Technical Reports

  1. Michael Kohlhase, Deyan Ginev, Rares Ambrus. modules.sty: Semantic Macros and Module Scoping in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  2. Michael Kohlhase. sTeX: Semantic Markup in TeX/LaTeX; Technical Report , Comprehensive TeX Archive Network (CTAN) 2010.
  3. Michael Kohlhase, Deyan Ginev. presentation.sty: An Infrastructure for Presenting Semantic Macros in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  4. Michael Kohlhase. sproof.sty: Structural Markup for Proofs; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  5. Michael Kohlhase. reqdoc.sty: Semantic Markup for Requirements Specification Documents; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  6. Michael Kohlhase. physml.sty: An Infrastructure for Marking Up PhysML in TeX/LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  7. Michael Kohlhase. dcm.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX documents; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  8. Michael Kohlhase. sref.sty: Semantic Crossreferencing in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  9. Michael Kohlhase. metakeys.sty: A generic framework for extensible Metadata in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  10. Michael Kohlhase. owl2onto.cls: Marking up OWL2 Ontologies in sTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  11. Michael Kohlhase. statements.sty: Structural Markup for Mathematical Statements; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  12. Michael Kohlhase. cmathml.sty: A TeX/LaTeX-based Syntax for Content MathML; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  13. Michael Kohlhase. CNXLaTeX: A LaTeX-based Syntax for Connexions Modules; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  14. Michael Kohlhase. omdoc.sty/cls: Semantic Markup for Open Mathematical Documents in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  15. Michael Kohlhase. omtext: Semantic Markup for Mathematical Text Fragments in LaTeX; Self-documenting LaTeX package , Comprehensive TeX Archive Network (CTAN) 2010.
  16. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Notations for Active Mathematical Documents; KWARC Report 2009-1, Jacobs University Bremen February 2009.
  17. Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase. A comparison study of MathML-aware LaTeX converters; KWARC Report , Jacobs University Bremen 2009.
  18. Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stéphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt. Mathematical Markup Language (MathML) Version 3.0; W3C Candidate Recommendation of 15 December 2009 , World Wide Web Consortium 2009.
  19. Christine Müller, Michael Kohlhase. Context Aware Adaptation: A Case Study on Mathematical Notations; Research Report , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland November 2008.
  20. Christine Müller, Michael Kohlhase. Communities of Practice in Mathematical E-Learning; Research Report , Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland November 2008.
  21. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Adaptation of Notations in Living Mathematical Documents; KWARC Report 2008-2, Jacobs University Bremen April 2008.
  22. Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, Michael Kohlhase. The Open Math Standard, Version 2.0; Technical Report , The Open Math Society 2004.
  23. Andrea Asperti, Michael Kohlhase, Claudio Coen. Prototype n. D2.b Document Type Descriptors: OMDoc Proofs; MoWGLI Deliverable , The MoWGLI Project 2003.
  24. Ron Ausbrooks, Stephen Buswell, David Carlisle, Stéphane Dalmas, Stan Devitt, Angel Diaz, Max Froumentin, Roger Hunter, Patrick Ion, Michael Kohlhase, Robert Miner, Nico Poppelier, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt. Mathematical Markup Language (MathML) Version 2.0 (second edition); W3C Recommendation , World Wide Web Consortium 2003.
  25. Serge Autexier, Frederick Eberhardt, Dieter Hutter, Michael Kohlhase, Romeo Anghelache. Distributed Knowledge Management and Version Control; Deliverable D5.a, The MoWGLI Project 2003.
  26. Christoph Benzmüller, Michael Kohlhase, Chad E. Brown. Higher Order Semantics and Extensionality.; Technical Report 03-001, Department of Mathematical Sciences, Carnegie Mellon University 2003.
  27. Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, Michael Kohlhase. The openmath Standard, Version 2.0 Public Draft 4; Technical Report , The openmath Society 2003.
  28. Michael Kohlhase, Mandy Simons. Interpreting Negatives in Discourse; Technical Report CMU-PHIL-127, Philosophy, Carnegie Mellon University 2002.
  29. Michael Kohlhase. OMDoc: Towards an OpenMath Representation of Mathematical Documents; Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes 2000.
  30. Michael Kohlhase, Karsten Konrad. Model Generation for Discourse Representation Theory; SEKI-Report SR-99-01, Dept. of Computer Science, Universität des Saarlandes, Germany 1999.
  31. Patrick Blackburn, Johan Bos, Michael Kohlhase, Hans Nivelle. Inference and Computational Semantics; CLAUS Report 99, University of the Saarland 1998.
  32. Michael Kohlhase, Karsten Konrad. Higher-Order Automated Theorem Proving for Natural Language Semantics; Seki Report SR-98-04, Fachbereich Informatik, Universität Saarbrücken 1998.
  33. Manfred Kerber, Michael Kohlhase. Reasoning without Believing: On the Mechanization of Presuppositions and Partiality; Technical Report CSRP-97-23, University of Birmingham, School of Computer Science September 1997.
  34. Christoph Benzmüller, Michael Kohlhase. Model Existence for Higher-Order Logic; SEKI-Report SR-97-09, Universität des Saarlandes 1997.
  35. Christoph Benzmüller, Michael Kohlhase. Resolution for Henkin Models; SEKI-Report SR-97-10, Universität des Saarlandes 1997.
  36. Claire Gardent, Michael Kohlhase, Karsten Konrad. Higher–Order Coloured Unification: a linguistic application; CLAUS Report 97, University of the Saarland 1997.
  37. Michael Kohlhase, Susanna Kuschert. Dynamic Lambda Calculus; Technical Report , Computer Linguistics, Saarland University 1997.
  38. Claire Gardent, Michael Kohlhase, Noor Leusen. Corrections and Higher-Order Unification; CLAUS Report 77, University of the Saarland 1996.
  39. Claire Gardent, Michael Kohlhase. Higher–Order Coloured Unification and Natural Language Semantics; CLAUS Report 76, University of the Saarland 1996.
  40. Claire Gardent, Michael Kohlhase. Focus and Higher–Order Coloured Unification; CLAUS Report 75, University of the Saarland 1996.
  41. Manfred Kerber, Michael Kohlhase, Volker Sorge. An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs; Seki Report SR-96-06, Fachbereich 14 Informatik, Universität des Saarlandes 1996.
  42. Michael Kohlhase. Higher-Order Tableaux with Combinators; SEKI Report SR-96-01, Dept. of Computer Science, Universitäat des Saarlandes, Germany 1996.
  43. Michael Kohlhase, Ortwin Scheja. Higher-Order Multi-Valued Resolution; SEKI Report SR-95-04, Fachbereich Informatik, Universität des Saarlandes 1995.
  44. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann. Omega-MKRP, ein mathematisches Assistenzsystem; SEKI Working Paper SWP-95-01, Fachbereich Informatik, Universität des Saarlandes 1995.
  45. Dieter Hutter, Michael Kohlhase. A Coloured Version of the $lambda$-Calculus; Technical Report SR-95-05, Fachbereich Informatik, Universität des Saarlandes 1995.
  46. Michael Kohlhase. A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle; SEKI Report SR-94-10, Fachbereich Informatik, Universität des Saarlandes 1994.
  47. Michael Kohlhase. Higher-Order Order-Sorted Resolution; Seki Report SR-94-1, Fachbereich Informatik, Universität des Saarlandes 1994.
  48. Michael Kohlhase. Higher-Order Order-Sorted Resolution; Seki Report SR-94-1, Fachbereich Informatik, Universität des Sarrlandes 1994.
  49. Patricia Johann, Michael Kohlhase. Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading; SEKI-Report SR-93-14, Universität des Saarlandes 1993.
  50. Manfred Kerber, Michael Kohlhase. A Mechanization of Strong Kleene Logic for Partial Functions; SEKI-Report SR-93-20 (SFB), Universität des Saarlandes, Saarbrücken 1993.
  51. Michael Kohlhase. A Unifying Principle for Extensional Higher-Order Logic; Technical Report 93--153, Dept. of Mathematics, Carnegie Mellon University 1993.
  52. Xiaorong Huang, Manfred Kerber, Michael Kohlhase. Methods — The Basic Unit for Planning and Verifying Proofs; SEKI-Report SR-92-20, Fachbereich Informatik, Universität des Saarlandes 1992.
  53. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Daniel Nesmith, Jörn Richts, Jörg Siekmann. $Omega$-MKRP – a proof development environment; Technical Report SR-92-22, Universität des Saarlandes 1992.
  54. Michael Kohlhase. Order-Sorted Type Theory I: Unification; SEKI-Report SR-91-18 (SFB), Universität des Saarlandes, Saarbrücken 1991.
  55. . ; Technical Report , Comprehensive TeX Archive Network (CTAN)

Unpublished

  1. Michael Kohlhase. An Open Markup Format for Mathematical Documents omdoc [Version 1.6 (pre-2.0)]; , 2010. Draft Specification
  2. Michael Kohlhase. An Open Markup Format for Mathematical Documents omdoc [Version 1.3]; , 2010. Draft Specification
  3. Fulya Horozal, Michael Kohlhase, Kristina Sojakova Rabe. Towards an Atlas of Logics; in . Proceedings of the Workshop on Logical Frameworks Meta-Theory and Practice (LFMTP); 2010.
  4. Florian Rabe, Michael Kohlhase. A Web-Scalable Module System for Mathematical Theories; , 2010. Manuscript, to be submitted to the Journal of Symbolic Computation
  5. Michael Kohlhase. omdoc: An Open Markup Format for Mathematical Documents; Language Specification, Primer, Projects, Applications [Version 1.6 (pre-2.0)]; , 2009. Draft Specification https://svn.omdoc.org/repos/omdoc/trunk/doc/spec/main.pdf
  6. Michael Kohlhase. An omdoc Primer [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/primer/main.pdf
  7. Michael Kohlhase. Processing omdoc [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/processing/main.pdf
  8. Michael Kohlhase. omdoc Projects and Applications [Version 1.6 (pre-2.0)]; , 2009. Draft https://svn.omdoc.org/repos/omdoc/trunk/doc/projects/main.pdf
  9. Normen Müller, Christine Müller, Michael Kohlhase. The math markup language toolkit (mmlkit); , June 2008.
  10. Michael Kohlhase, c Stefan Anca, Constantin Jucovschi, Alberto Palomo, Ioan A. Şucan. MathWebSearch 0.4, A Semantic Search Engine for Mathematics; , 2008. manuscript
  11. Manfred Kerber, Michael Kohlhase. Reasoning without Believing: On the mechanization of Presuppositions and partiality; , 1997. manuscript
  12. Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen. A Foundational View on Integration Problems;
  13. Andrea Kohlhase, Michael Kohlhase. Towards a Conceptual Model for Flexible Formalization;
  14. Michael Kohlhase. CodeML: An Open Markup Format the Content and Presentatation of Program Code; Internet Draft at https://svn.omdoc.org/repos/codeml/doc/spec/codeml.pdf

Miscellaneous

  1. James H. Davenport, Michael Kohlhase. Unifying Math Ontologies: A tale of two standards (full paper); , 2009.
  2. . General Computer Science; 320101: GenCS I Lecture Notes; , 2009. Online course notes at http://kwarc.info/teaching/GenCSI/notes.pdf
  3. . General Computer Science; Problems for 320101 GenCS I; , 2009. Problem Collection at http://kwarc.info/teaching/GenCSI/problems.pdf
  4. . General Computer Science; Problems and Solutions for 320101 GenCS I; , 2009. Collection of solved Problems at http://kwarc.info/teaching/GenCSI/solutions.pdf
  5. . General Computer Science: 320201 GenCS II Lecture Notes; , 2009. Online course notes at http://kwarc.info/teaching/GenCSII/notes.pdf
  6. . General Computer Science: Problems for 320201 GenCS II; , 2009. Problem Collection at http://kwarc.info/teaching/GenCSII/problems.pdf
  7. . General Computer Science: Problems and Solutions for 320201 GenCS II; , 2009. Collection of solved problems at http://kwarc.info/teaching/GenCSII/solutions.pdf
  8. Dieter Hutter, Michael Kohlhase. Ontology-Driven Management of Change; , 2006.
  9. Michael Kohlhase, David Carlisle. Guidelines for Graphics in MathML 2; , 2003.
  10. Michael Kohlhase, Stan Devitt. Bound Variables in MathML; , 2003.
  11. Michael Kohlhase, Stan Devitt. Structured Types in MathML 2.0; , 2003.
  12. W3C. Mathematical Markup Language (MathML) Version 2.0 (Second Edition); , 2003. Seen July 2007
  13. Michael Kohlhase. OMDoc: An Open Markup Format for Mathematical Documents (Version 1.1); , Open Specification, 2001.
  14. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Daniel Nesmith, Jörn Richts. A Test for Evaluating the Practical Usefulness of Deduction Systems; , 1994.

(last regeneration: 2010-09-09+02:00)

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package