Michael Kohlhase

Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban: The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reasoning 50(2): 191-202 (2013)

Manfred Kerber, Michael Kohlhase: Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics 22(4): 295-317 (2012)

Michael Kohlhase, Florian Rabe: Semantics of OpenMath and MathML3. Mathematics in Computer Science 6(3): 235-260 (2012)

Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase: Semantic Alliance: A Framework for Semantic Allies. AISC/MKM/Calculemus 2012: 49-64

Fulya Horozal, Michael Kohlhase, Florian Rabe: Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus 2012: 65-80

Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu: MathWebSearch 0.5: Scaling an Open Formula Search Engine. AISC/MKM/Calculemus 2012: 342-357

Michael Kohlhase: The Planetary Project: Towards eMath3.0. AISC/MKM/Calculemus 2012: 448-452

Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset. AISC/MKM/Calculemus 2012: 458-462

Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification. ESWC 2012: 763-777

Michael Kohlhase: The Flexiformalist Manifesto. SYNASC 2012: 30-35

Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou: Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset. CoRR abs/1204.5086 (2012)

Michael Kohlhase: The Planetary Project: Towards eMath3.0. CoRR abs/1206.5048 (2012)

Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Web 3.0 & Active Documents for STEM. Procedia CS 4: 598-607 (2011)

Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Executable Science, Technology, Engineering and Math Papers. ESWC (2) 2011: 471-475

Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea: A Framework for Semantic Publishing of Modular Content Objects. SePublica 2011

Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122

Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban: Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179

Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe: Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291

Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase: The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM 2011: 292-294

Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev: The Planetary System: Executable Science, Technology, Engineering and Math Papers. CoRR abs/1103.1482 (2011)

Florian Rabe, Michael Kohlhase: A Scalable Module System. CoRR abs/1105.0548 (2011)

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. CoRR abs/1105.2392 (2011)

Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems. CoRR abs/1105.2725 (2011)

Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane: Licensing the Mizar Mathematical Library. CoRR abs/1107.3212 (2011)

Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller: Transforming Large Collections of Scientific Publications to XML. Mathematics in Computer Science 3(3): 299-307 (2010)

Constantin Jucovschi, Michael Kohlhase: sTeXIIS: An Integrated Development Environment for sTeX Collections. AISC/MKM/Calculemus 2010: 336-344

Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus 2010: 355-369

Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. AISC/MKM/Calculemus 2010: 370-384

Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. ESWC (2) 2010: 370-375

Andrea Kohlhase, Michael Kohlhase, Christoph Lange: S^TE^X+: a system for flexible formalization of linked data. I-SEMANTICS 2010

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159

Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. CoRR abs/1004.3390 (2010)

Andrea Kohlhase, Michael Kohlhase, Christoph Lange: Dimensions of Formality: A Case Study for MKM in Software Engineering. CoRR abs/1004.5071 (2010)

Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. CoRR abs/1005.5232 (2010)

Constantin Jucovschi, Michael Kohlhase: sTeXIDE: An Integrated Development Environment for sTeX Collections. CoRR abs/1005.5489 (2010)

Andrea Kohlhase, Michael Kohlhase, Christoph Lange: sTeX+ - a System for Flexible Formalization of Linked Data. CoRR abs/1006.4474 (2010)

Andrea Kohlhase, Michael Kohlhase: What we understand is what we get: Assessment in Spreadsheets. CoRR abs/1009.2797 (2010)

Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity. Logical Methods in Computer Science 5(1) (2009)

Christine Müller, Michael Kohlhase: Context-Aware Adaptation: A Case Study On Mathematical Notations. IS Management 26(3): 215-230 (2009)

Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase: Applying Semantic Techniques to Search and Analyze Bug Tracking Data. J. Network Syst. Manage. 17(3): 285-308 (2009)

Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz: Formal Management of CAD/CAM Processes. FM 2009: 223-238

Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase: An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus. GI Jahrestagung 2009: 3162-3176

James H. Davenport, Michael Kohlhase: Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM 2009: 263-278

Andrea Kohlhase, Michael Kohlhase: Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. Calculemus/MKM 2009: 341-356

Andrea Kohlhase, Michael Kohlhase: Compensating the Computational Bias of Spreadsheets with MKM Techniques. Calculemus/MKM 2009: 357-372

Christoph Lange, Michael Kohlhase: A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM 2009: 389-404

Andrea Kohlhase, Michael Kohlhase: Semantic transparency in user assistance systems. SIGDOC 2009: 89-96

Andrea Kohlhase, Michael Kohlhase: Modeling task experience in user assistance systems. SIGDOC 2009: 135-142

Michael Kohlhase: Using as a Semantic Markup Format. Mathematics in Computer Science 2(2): 279-304 (2008)

Michael Kohlhase, Christine Müller, Florian Rabe: Notations for Living Mathematical Documents. AISC/MKM/Calculemus 2008: 504-519

Heinrich Stamerjohanns, Michael Kohlhase: Transforming the arXiv to XML. AISC/MKM/Calculemus 2008: 574-582

Florian Rabe, Michael Kohlhase: An Exchange Format for Modular Knowledge. LPAR Workshops 2008

Normen Müller, Michael Kohlhase: Fine-Granular Version Control & Redundancy Resolution. LWA 2008: 1-8

Andrea Kohlhase, Michael Kohlhase: Compensating the Semantic Bias of Spreadsheets. LWA 2008: 49-58

Christine Müller, Michael Kohlhase: Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. WSKS (1) 2008: 41-50

Christine Müller, Michael Kohlhase: panta rhei. LWA 2007: 318-323

Michael Kohlhase, Achim Mahnke, Christine Müller: Managing Variants in Document Content and Narrative Structures. LWA 2007: 324-329

Andrea Kohlhase, Michael Kohlhase: Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. Calculemus/MKM 2007: 313-326

Immanuel Normann, Michael Kohlhase: Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. Calculemus/MKM 2007: 356-370

Christian Freksa, Michael Kohlhase, Kerstin Schill (Eds.): KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings. Lecture Notes in Computer Science 4314, Springer 2007, isbn 978-3-540-69911-8

Michael Kohlhase: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. Lecture Notes in Computer Science 4180, Springer 2006, isbn 3-540-37897-9

Michael Kohlhase, Ioan Sucan: A Search Engine for Mathematical Formulae. AISC 2006: 241-253

Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234

Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns: Capturing the Content of Physics: Systems, Observables, and Experiments. MKM 2006: 165-178

Andrea Kohlhase, Michael Kohlhase: Communities of Practice in MKM: An Extensional Model. MKM 2006: 179-193

Christoph Lange, Michael Kohlhase: A Semantic Wiki for Mathematical Knowledge Management. SemWiki 2006

Michael Kohlhase (Ed.): Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3863, Springer 2006, isbn 3-540-31430-X

Andrea Kohlhase, Michael Kohlhase: An Exploration in the Space of Mathematical Knowledge. MKM 2005: 17-32

Patrick Blackburn, Michael Kohlhase: Inference and Computational Semantics. Journal of Logic, Language and Information 13(2): 117-120 (2004)

Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (2004)

Andrea Kohlhase, Michael Kohlhase: CPoint: Dissolving the Author's Dilemma. MKM 2004: 175-189

Johan Bos, Michael Kohlhase: Editorial. Logic Journal of the IGPL 11(4): 381-384 (2003)

Michael Kohlhase, Alexander Koller: Resource-Adaptive Model Generation as a Performance Model. Logic Journal of the IGPL 11(4): 435-456 (2003)

Michael Kohlhase, Romeo Anghelache: Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. MKM 2003: 147-161

Jürgen Zimmer, Michael Kohlhase: System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. CADE 2002: 139-143

Jörg H. 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. CADE 2002: 144-149

Michael Kohlhase, Andreas Franke: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. J. Symb. Comput. 32(4): 365-402 (2001)

Dieter Hutter, Michael Kohlhase: Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reasoning 25(2): 123-164 (2000)

Manfred Pinkal, Michael Kohlhase: Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. ACL 2000

Michael Kohlhase: OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. AISC 2000: 32-52

Andreas Franke, Michael Kohlhase: System Description: MBASE, an Open Mathematical Knowledge Base. CADE 2000: 455-459

Andreas Franke, Michael Kohlhase: MBase: Representing mathematical knowledge in a relational data base. Electr. Notes Theor. Comput. Sci. 23(3): 451-468 (1999)

Jörg H. 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. Formal Asp. Comput. 11(3): 326-342 (1999)

Michael Kohlhase, Ortwin Scheja: Higher Order Multi-Valued Resolution. Journal of Applied Non-Classical Logics 9(4): 455-477 (1999)

Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge: Agent-Oriented Integration of Distributed Mathematical Services. J. UCS 5(3): 156-187 (1999)

Andreas Franke, Michael Kohlhase: System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. CADE 1999: 217-221

Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)

Jörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)

Markus Egg, Claire Gardent, Michael Kohlhase: Steuerung der Inferenz in der Diskursverarbeitung. Kognitionswissenschaft 7(3): 106-110 (1998)

Christoph Benzmüller, Michael Kohlhase: Extensional Higher-Order Resolution. CADE 1998: 56-71

Christoph Benzmüller, Michael Kohlhase: System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144

Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255

Dieter Hutter, Michael Kohlhase: A Colored Version of the Lambda-Calculus. CADE 1997: 291-305

Claire Gardent, Michael Kohlhase: Computing Parallelism in Discourse. IJCAI (2) 1997: 1016-1021

Manfred Kerber, Michael Kohlhase: Mechanising Partiality With Re-implementation. KI 1997: 123-134

Claire Gardent, Michael Kohlhase: Computing Parallelism in Discourse. CoRR cmp-lg/9705004 (1997)

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)

Michael Kohlhase: Sorten für das automatische Beweisen höherer Stufe. KI 10(2): 23-26 (1996)

Claire Gardent, Michael Kohlhase: Higher-Order Coloured Unification and Natural Language Semantics. ACL 1996: 1-9

Claire Gardent, Michael Kohlhase: Focus and Higher-Order Unification. COLING 1996: 430-435

Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215

Manfred Kerber, Michael Kohlhase: A Resolution Calculus for Presuppositions. ECAI 1996: 375-379

Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification. KONVENS 1996: 268-279

Claire Gardent, Michael Kohlhase: Higher-Order Coloured Unification and Natural Language Semantics. CoRR cmp-lg/9605004 (1996)

Claire Gardent, Michael Kohlhase: Focus and Higher-Order Unification. CoRR cmp-lg/9605005 (1996)

Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification. CoRR cmp-lg/9609001 (1996)

Michael Kohlhase: Higher-Order Tableaux. TABLEAUX 1995: 294-309

Manfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385

Patricia Johann, Michael Kohlhase: Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE 1994: 620-634

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810

Michael Kohlhase: Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. KI 1994: 331-342

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390

Michael Kohlhase, Frank Pfenning: Unification in a Lambda-Calculus with Intersection Types. ILPS 1993: 488-505

Michael Kohlhase: Unification in Order-Sorted Type Theory. LPAR 1992: 421-432