dblp.uni-trier.dewww.uni-trier.de

Michael Kohlhase Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
72EEJames H. Davenport, Michael Kohlhase: Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM 2009: 263-278
71EEAndrea Kohlhase, Michael Kohlhase: Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. Calculemus/MKM 2009: 341-356
70EEAndrea Kohlhase, Michael Kohlhase: Compensating the Computational Bias of Spreadsheets with MKM Techniques. Calculemus/MKM 2009: 357-372
69EEChristoph Lange, Michael Kohlhase: A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM 2009: 389-404
68EEAndrea Kohlhase, Michael Kohlhase: Modeling task experience in user assistance systems. SIGDOC 2009: 135-142
67EEAndrea Kohlhase, Michael Kohlhase: Semantic transparency in user assistance systems. SIGDOC 2009: 89-96
66EEChristoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity Logical Methods in Computer Science 5(1): (2009)
2008
65EEMichael Kohlhase, Christine Müller, Florian Rabe: Notations for Living Mathematical Documents. AISC/MKM/Calculemus 2008: 504-519
64EEHeinrich Stamerjohanns, Michael Kohlhase: Transforming the arXiv to XML. AISC/MKM/Calculemus 2008: 574-582
63EEFlorian Rabe, Michael Kohlhase: An Exchange Format for Modular Knowledge. LPAR Workshops 2008
62 Normen Müller, Michael Kohlhase: Fine-Granular Version Control & Redundancy Resolution. LWA 2008: 1-8
61 Andrea Kohlhase, Michael Kohlhase: Compensating the Semantic Bias of Spreadsheets. LWA 2008: 49-58
60EEChristine 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
58EEAndrea Kohlhase, Michael Kohlhase: Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. Calculemus/MKM 2007: 313-326
57EEImmanuel 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
52EEMichael Kohlhase, Ioan Sucan: A Search Engine for Mathematical Formulae. AISC 2006: 241-253
51EEChristoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
50EEEberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns: Capturing the Content of Physics: Systems, Observables, and Experiments. MKM 2006: 165-178
49EEAndrea Kohlhase, Michael Kohlhase: Communities of Practice in MKM: An Extensional Model. MKM 2006: 179-193
48EEChristoph Lange, Michael Kohlhase: A Semantic Wiki for Mathematical Knowledge Management. SemWiki 2006
2005
47EEAndrea Kohlhase, Michael Kohlhase: An Exploration in the Space of Mathematical Knowledge. MKM 2005: 17-32
2004
46EEAndrea Kohlhase, Michael Kohlhase: CPoint: Dissolving the Author's Dilemma. MKM 2004: 175-189
45EEPatrick Blackburn, Michael Kohlhase: Inference and Computational Semantics. Journal of Logic, Language and Information 13(2): 117-120 (2004)
2003
44EEMichael Kohlhase, Romeo Anghelache: Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. MKM 2003: 147-161
43EEJohan Bos, Michael Kohlhase: Editorial. Logic Journal of the IGPL 11(4): 381-384 (2003)
42EEMichael Kohlhase, Alexander Koller: Resource-Adaptive Model Generation as a Performance Model. Logic Journal of the IGPL 11(4): 435-456 (2003)
2002
41EEJürgen Zimmer, Michael Kohlhase: System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. CADE 2002: 139-143
40EEJö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
38EEManfred Pinkal, Michael Kohlhase: Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. ACL 2000
37EEMichael Kohlhase: OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. AISC 2000: 32-52
36EEAndreas 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
34EEAndreas Franke, Michael Kohlhase: System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. CADE 1999: 217-221
33EEAndreas Franke, Michael Kohlhase: MBase: Representing mathematical knowledge in a relational data base. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
32EEJö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)
31EEAndreas 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
29EEChristoph Benzmüller, Michael Kohlhase: System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144
28EEChristoph 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)
26EEJörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
25EEMarkus Egg, Claire Gardent, Michael Kohlhase: Steuerung der Inferenz in der Diskursverarbeitung. Kognitionswissenschaft 7(3): 106-110 (1998)
1997
24EEChristoph 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
23EEDieter 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
20EEClaire 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
18EEClaire Gardent, Michael Kohlhase: Focus and Higher-Order Unification. COLING 1996: 430-435
17EEManfred 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
14EEClaire Gardent, Michael Kohlhase: Higher-Order Coloured Unification and Natural Language Semantics CoRR cmp-lg/9605004: (1996)
13EEClaire Gardent, Michael Kohlhase: Focus and Higher-Order Unification CoRR cmp-lg/9605005: (1996)
12EEClaire 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
8EEManfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385
7EEPatricia Johann, Michael Kohlhase: Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE 1994: 620-634
6EEXiaorong 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
5EEXiaorong 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
1EEMichael Kohlhase: Unification in Order-Sorted Type Theory. LPAR 1992: 421-432

Coauthor Index

1Romeo Anghelache [44]
2Christoph Benzmüller (Christoph Benzmueller) [24] [28] [29] [32] [40] [51] [66]
3Patrick Blackburn [45]
4Johan Bos [43]
5Vladimir Brezhnev [40]
6Chad E. Brown [51] [66]
7Lassaad Cheikhrouhou [24] [32] [40]
8James H. Davenport [72]
9Markus Egg [25]
10Detlef Fehrer [24]
11Armin Fiedler [24] [32] [40]
12Andreas Franke [31] [33] [34] [36] [39] [40]
13Christian Freksa [59]
14Claire Gardent [12] [13] [14] [15] [18] [19] [20] [22] [25]
15Stephan M. Hess [31] [32]
16Eberhard R. Hilf [50]
17Helmut Horacek [32] [40]
18Xiaorong Huang [3] [5] [6] [11] [24]
19Dieter Hutter [23] [35]
20Patricia Johann [7]
21Christoph G. Jung [31]
22Manfred Kerber [3] [5] [6] [8] [11] [16] [17] [21] [24] [27]
23Andrea Kohlhase [46] [47] [49] [58] [61] [67] [68] [70] [71]
24Alexander Koller [42]
25Karsten Konrad [24] [32]
26Christoph Lange [48] [69]
27Noor van Leusen [12] [15]
28Achim Mahnke [55]
29Andreas Meier [24] [32] [40]
30Erica Melis [5] [6] [11] [24] [26] [32] [40]
31Markus Moschner [40]
32Christine Müller [55] [56] [60] [65]
33Normen Müller [62]
34Daniel Nesmith (Dan Nesmith) [5] [6] [11]
35Immanuel Normann [40] [57]
36Frank Pfenning [2]
37Manfred Pinkal [38]
38Martin Pollet [32] [40]
39Florian Rabe [63] [65]
40Jörn Richts [3] [5] [6] [11]
41Wolf Schaarschmidt [24]
42Ortwin Scheja [30]
43Kerstin Schill [59]
44Jörg H. Siekmann [5] [6] [11] [24] [26] [32] [40]
45Volker Sorge [17] [24] [27] [31] [32] [40]
46Heinrich Stamerjohanns [50] [64]
47Ioan Sucan [52]
48Carsten Ullrich [40]
49Claus-Peter Wirth [40]
50Jürgen Zimmer [40] [41]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)