| 2009 |
|---|
| 64 | EE | Christoph Benzmüller,
Chad E. Brown,
Michael Kohlhase:
Cut-Simulation and Impredicativity
CoRR abs/0902.0043: (2009) |
| 2008 |
|---|
| 63 | EE | Michael Kohlhase,
Christine Müller,
Florian Rabe:
Notations for Living Mathematical Documents.
AISC/MKM/Calculemus 2008: 504-519 |
| 62 | EE | Heinrich Stamerjohanns,
Michael Kohlhase:
Transforming the arXiv to XML.
AISC/MKM/Calculemus 2008: 574-582 |
| 61 | EE | Florian Rabe,
Michael Kohlhase:
An Exchange Format for Modular Knowledge.
LPAR Workshops 2008 |
| 60 | EE | Christine Müller,
Michael Kohlhase:
Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts.
WSKS (1) 2008: 41-50 |
| 2007 |
|---|
| 59 | | Christian Freksa,
Michael Kohlhase,
Kerstin Schill:
KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Springer 2007 |
| 58 | EE | Andrea Kohlhase,
Michael Kohlhase:
Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search.
Calculemus/MKM 2007: 313-326 |
| 57 | EE | Immanuel Normann,
Michael Kohlhase:
Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge.
Calculemus/MKM 2007: 356-370 |
| 56 | | Christine Müller,
Michael Kohlhase:
panta rhei.
LWA 2007: 318-323 |
| 55 | | Michael Kohlhase,
Achim Mahnke,
Christine Müller:
Managing Variants in Document Content and Narrative Structures.
LWA 2007: 324-329 |
| 2006 |
|---|
| 54 | | Michael Kohlhase:
Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Springer 2006 |
| 53 | | Michael Kohlhase:
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2].
Springer 2006 |
| 52 | EE | Michael Kohlhase,
Ioan Sucan:
A Search Engine for Mathematical Formulae.
AISC 2006: 241-253 |
| 51 | EE | Christoph Benzmüller,
Chad E. Brown,
Michael Kohlhase:
Cut-Simulation in Impredicative Logics.
IJCAR 2006: 220-234 |
| 50 | EE | Eberhard R. Hilf,
Michael Kohlhase,
Heinrich Stamerjohanns:
Capturing the Content of Physics: Systems, Observables, and Experiments.
MKM 2006: 165-178 |
| 49 | EE | Andrea Kohlhase,
Michael Kohlhase:
Communities of Practice in MKM: An Extensional Model.
MKM 2006: 179-193 |
| 48 | EE | Christoph Lange,
Michael Kohlhase:
A Semantic Wiki for Mathematical Knowledge Management.
SemWiki 2006 |
| 2005 |
|---|
| 47 | EE | Andrea Kohlhase,
Michael Kohlhase:
An Exploration in the Space of Mathematical Knowledge.
MKM 2005: 17-32 |
| 2004 |
|---|
| 46 | EE | Andrea Kohlhase,
Michael Kohlhase:
CPoint: Dissolving the Author's Dilemma.
MKM 2004: 175-189 |
| 45 | EE | Patrick Blackburn,
Michael Kohlhase:
Inference and Computational Semantics.
Journal of Logic, Language and Information 13(2): 117-120 (2004) |
| 2003 |
|---|
| 44 | EE | Michael Kohlhase,
Romeo Anghelache:
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.
MKM 2003: 147-161 |
| 43 | EE | Johan Bos,
Michael Kohlhase:
Editorial.
Logic Journal of the IGPL 11(4): 381-384 (2003) |
| 42 | EE | Michael Kohlhase,
Alexander Koller:
Resource-Adaptive Model Generation as a Performance Model.
Logic Journal of the IGPL 11(4): 435-456 (2003) |
| 2002 |
|---|
| 41 | EE | Jürgen Zimmer,
Michael Kohlhase:
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.
CADE 2002: 139-143 |
| 40 | EE | 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 |
| 2001 |
|---|
| 39 | | Michael Kohlhase,
Andreas Franke:
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
J. Symb. Comput. 32(4): 365-402 (2001) |
| 2000 |
|---|
| 38 | EE | Manfred Pinkal,
Michael Kohlhase:
Feature Logic for Dotted Types: A Formalism for Complex Word Meanings.
ACL 2000 |
| 37 | EE | Michael Kohlhase:
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge.
AISC 2000: 32-52 |
| 36 | | Andreas Franke,
Michael Kohlhase:
System Description: MBASE, an Open Mathematical Knowledge Base.
CADE 2000: 455-459 |
| 35 | | Dieter Hutter,
Michael Kohlhase:
Managing Structural Information by Higher-Order Colored Unification.
J. Autom. Reasoning 25(2): 123-164 (2000) |
| 1999 |
|---|
| 34 | EE | Andreas Franke,
Michael Kohlhase:
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
CADE 1999: 217-221 |
| 33 | EE | Andreas Franke,
Michael Kohlhase:
MBase: Representing mathematical knowledge in a relational data base.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 32 | EE | 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) |
| 31 | EE | 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) |
| 30 | | Michael Kohlhase,
Ortwin Scheja:
Higher Order Multi-Valued Resolution.
Journal of Applied Non-Classical Logics 9(4): (1999) |
| 1998 |
|---|
| 29 | EE | Christoph Benzmüller,
Michael Kohlhase:
System Description: LEO - A Higher-Order Theorem Prover.
CADE 1998: 139-144 |
| 28 | EE | Christoph Benzmüller,
Michael Kohlhase:
Extensional Higher-Order Resolution.
CADE 1998: 56-71 |
| 27 | | Manfred Kerber,
Michael Kohlhase,
Volker Sorge:
Integrating Computer Algebra into Proof Planning.
J. Autom. Reasoning 21(3): 327-355 (1998) |
| 26 | EE | Jörg H. Siekmann,
Michael Kohlhase,
Erica Melis:
<Omega>MEGA: Ein mathematisches Assistenzsystem.
Kognitionswissenschaft 7(3): 101-105 (1998) |
| 25 | EE | Markus Egg,
Claire Gardent,
Michael Kohlhase:
Steuerung der Inferenz in der Diskursverarbeitung.
Kognitionswissenschaft 7(3): 106-110 (1998) |
| 1997 |
|---|
| 24 | | 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 |
| 23 | | Dieter Hutter,
Michael Kohlhase:
A Colored Version of the Lambda-Calculus.
CADE 1997: 291-305 |
| 22 | | Claire Gardent,
Michael Kohlhase:
Computing Parallelism in Discourse.
IJCAI (2) 1997: 1016-1021 |
| 21 | | Manfred Kerber,
Michael Kohlhase:
Mechanising Partiality With Re-implementation.
KI 1997: 123-134 |
| 20 | EE | Claire Gardent,
Michael Kohlhase:
Computing Parallelism in Discourse
CoRR cmp-lg/9705004: (1997) |
| 1996 |
|---|
| 19 | | Claire Gardent,
Michael Kohlhase:
Higher-Order Coloured Unification and Natural Language Semantics.
ACL 1996: 1-9 |
| 18 | EE | Claire Gardent,
Michael Kohlhase:
Focus and Higher-Order Unification.
COLING 1996: 430-435 |
| 17 | | Manfred Kerber,
Michael Kohlhase,
Volker Sorge:
Integrating Computer Algebra with Proof Planning.
DISCO 1996: 204-215 |
| 16 | | Manfred Kerber,
Michael Kohlhase:
A Resolution Calculus for Presuppositions.
ECAI 1996: 375-379 |
| 15 | | Claire Gardent,
Michael Kohlhase,
Noor van Leusen:
Corrections and Higher-Order Unification.
KONVENS 1996: 268-279 |
| 14 | EE | Claire Gardent,
Michael Kohlhase:
Higher-Order Coloured Unification and Natural Language Semantics
CoRR cmp-lg/9605004: (1996) |
| 13 | EE | Claire Gardent,
Michael Kohlhase:
Focus and Higher-Order Unification
CoRR cmp-lg/9605005: (1996) |
| 12 | EE | Claire Gardent,
Michael Kohlhase,
Noor van Leusen:
Corrections and Higher-Order Unification
CoRR cmp-lg/9609001: (1996) |
| 11 | | 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) |
| 10 | | Michael Kohlhase:
Sorten für das automatische Beweisen höherer Stufe.
KI 10(2): 23-26 (1996) |
| 1995 |
|---|
| 9 | | Michael Kohlhase:
Higher-Order Tableaux.
TABLEAUX 1995: 294-309 |
| 1994 |
|---|
| 8 | | Manfred Kerber,
Michael Kohlhase:
A Mechanization of Strong Kleene Logic for Partial Functions.
CADE 1994: 371-385 |
| 7 | | Patricia Johann,
Michael Kohlhase:
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.
CADE 1994: 620-634 |
| 6 | | 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 |
| 5 | | 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 |
| 4 | | Michael Kohlhase:
Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts.
KI 1994: 331-342 |
| 3 | | Xiaorong Huang,
Manfred Kerber,
Michael Kohlhase,
Jörn Richts:
Adapting Methods to Novel Tasks in Proof Planning.
KI 1994: 379-390 |
| 1993 |
|---|
| 2 | | Michael Kohlhase,
Frank Pfenning:
Unification in a Lambda-Calculus with Intersection Types.
ILPS 1993: 488-505 |
| 1992 |
|---|
| 1 | | Michael Kohlhase:
Unification in Order-Sorted Type Theory.
LPAR 1992: 421-432 |
