default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Kohlhase
Person information
- affiliation: Friedrich Alexander University of Erlangen-Nuremberg, Erlangen, Germany
- affiliation (former): Jacobs University, Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[i32]Dominic Lohr, Marc Berges, Michael Kohlhase, Florian Rabe:
The Potential of Answer Classes in Large-scale Written Computer-Science Exams - Vol. 2. CoRR abs/2501.10368 (2025)- 2024
- [c165]Theresa Kruse
, Dominic Lohr, Marc Berges, Michael Kohlhase, Halimeh Moghbeli, Marcel Schütz:
Term Extraction for Domain Modeling. DeLFI 2024 - [c164]Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schröder, Verena Stürmer:
DIREGA - Building Decision Support for German Register Law. JURIX 2024: 360-362 - [c163]Michael Kohlhase, Marcel Schütz:
Reusing Learning Objects via Theory Morphisms. CICM 2024: 165-182 - [e11]Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova:
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I. Communications in Computer and Information Science 1947, Springer 2024, ISBN 978-3-031-50395-5 [contents] - [e10]Slawomir Nowaczyk, Przemyslaw Biecek, Neo Christopher Chung, Mauro Vallati, Pawel Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomás Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova:
Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II. Communications in Computer and Information Science 1948, Springer 2024, ISBN 978-3-031-50484-6 [contents] - [e9]Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein:
Robust Argumentation Machines - First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings. Lecture Notes in Computer Science 14638, Springer 2024, ISBN 978-3-031-63535-9 [contents] - [i31]Dominic Lohr, Marc Berges, Abhishek Chugh, Michael Kohlhase, Dennis Müller:
Leveraging Large Language Models to Generate Course-specific Semantically Annotated Learning Objects. CoRR abs/2412.04185 (2024) - 2023
- [c162]Jonas Betzendahl, Michael Kohlhase, Dennis Müller:
Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects. ECAI Workshops (2) 2023: 397-408 - [c161]Dominic Lohr, Marc Berges, Michael Kohlhase, Dennis Müller, Max Rapp:
The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems. GECon 2023: 1-6 - [c160]Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller:
Learning with ALeA: Tailored experiences through annotated course material. GI-Jahrestagung 2023: 395-398 - [c159]Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller:
Learning Support Systems Based on Mathematical Knowledge Management. CICM 2023: 84-97 - [c158]Jan Frederik Schaefer, Michael Kohlhase:
Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. CICM 2023: 190-205 - [e8]Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. CEUR Workshop Proceedings 3377, CEUR-WS.org 2023 [contents] - 2022
- [c157]Dennis Müller, Michael Kohlhase:
Injecting Formal Mathematics Into LaTeX. CICM 2022: 168-183 - [c156]Michael Kohlhase, Dennis Müller:
System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. CICM 2022: 184-188 - 2021
- [j31]Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder:
Erratum zu: Editorial. Datenbank-Spektrum 21(2): 171 (2021) - [j30]Michael Kohlhase, Florian Rabe:
Experiences from Exporting Major Proof Assistant Libraries. J. Autom. Reason. 65(8): 1265-1298 (2021) - [c155]Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer:
System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). CICM Workshops 2021 - [c154]Takuto Asakura, Yusuke Miyao, Akiko Aizawa, Michael Kohlhase:
MioGatto: A Math Identifier-oriented Grounding Annotation Tool. CICM Workshops 2021 - [c153]James H. Davenport, Michael Kohlhase:
OpenMath Preface. CICM Workshops 2021 - [c152]Andrea Kohlhase, Michael Kohlhase:
A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking. CICM Workshops 2021 - [c151]Richard Marcus, Michael Kohlhase, Navid Roux, John Schihada:
Dynamic User Interfaces via Incremental Knowledge Management. CICM Workshops 2021 - 2020
- [j29]Philipp Cimiano, Gerhard Heyer, Michael Kohlhase, Benno Stein, Jürgen Ziegler, Theo Härder:
Editorial. Datenbank-Spektrum 20(2): 87-91 (2020) - [j28]Katja Bercic, Michael Kohlhase, Florian Rabe:
(Deep) FAIR mathematics. it Inf. Technol. 62(1): 7-17 (2020) - [c150]Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer:
Logic-Independent Proof Search in Logical Frameworks - (Short Paper). IJCAR (1) 2020: 395-401 - [c149]Max Rapp, Axel Adrian, Michael Kohlhase:
Context Graphs for Legal Reasoning and Argumentation. SAFA@COMMA 2020: 56-67 - [c148]Jan Frederik Schaefer, Kai Amann, Michael Kohlhase:
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ICMS 2020: 406-415 - [c147]Michael Kohlhase:
Deep FAIR - Knowledge Representation for Research Data about Complex Objects. FCR@KI 2020: 3 - [c146]Jan Frederik Schaefer, Michael Kohlhase:
GLIF: A Declarative Framework for Symbolic Natural Language Understanding. FCR@KI 2020: 4-11 - [c145]Katja Bercic, Michael Kohlhase, Florian Rabe:
Towards a Heterogeneous Query Language for Mathematical Knowledge. CICM 2020: 39-54 - [c144]Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger:
FrameIT: Detangling Knowledge Management from Game Design in Serious Games. CICM 2020: 173-189 - [c143]Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase:
Representing Structural Language Features in Formal Meta-languages. CICM 2020: 206-221 - [c142]Richard Marcus, Michael Kohlhase, Florian Rabe:
TGView3D: A System for 3-Dimensional Visualization of Theory Graphs. CICM 2020: 290-296 - [e7]Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen:
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. CEUR Workshop Proceedings 2634, CEUR-WS.org 2020 [contents] - [i30]Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda:
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR abs/2002.04955 (2020) - [i29]Michael Kohlhase, Florian Rabe:
Experiences from Exporting Major Proof Assistant Libraries. CoRR abs/2005.03089 (2020) - [i28]Michael Kohlhase, Florian Rabe, Makarius Wenzel:
Making Isabelle Content Accessible in Knowledge Representation Formats. CoRR abs/2005.08884 (2020) - [i27]Max Rapp, Axel Adrian, Michael Kohlhase:
Context Graphs for Legal Reasoning and Argumentation. CoRR abs/2007.00732 (2020)
2010 – 2019
- 2019
- [c141]Michael Kohlhase, Max Rapp:
Context Graphs for Argumentation Logics. LWDA 2019: 265-279 - [c140]Katja Bercic, Michael Kohlhase, Florian Rabe:
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. CICM 2019: 28-43 - [c139]Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel:
Relational Data Across Mathematical Libraries. CICM 2019: 61-76 - [c138]Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing:
Integrating Semantic Mathematical Documents and Dynamic Notebooks. CICM 2019: 275-290 - [c137]Michael Kohlhase, Florian Rabe, Makarius Wenzel:
Making Isabelle Content Accessible in Knowledge Representation Formats. TYPES 2019: 1:1-1:24 - [c136]Michael Kohlhase, Jan Frederik Schaefer:
GF + MMT = GLF - From Language to Semantics through LF. LFMTP@LICS 2019: 24-39 - [e6]Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - [i26]Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe:
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR abs/1904.10405 (2019) - [i25]Michael Kohlhase:
The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning. CoRR abs/1904.10414 (2019) - [i24]Richard Marcus, Michael Kohlhase, Florian Rabe:
TGView3D System Description: 3-Dimensional Visualization of Theory Graphs. CoRR abs/1905.07076 (2019) - 2018
- [c135]Dennis Müller, Florian Rabe, Michael Kohlhase:
Theories as Types. IJCAR 2018: 575-590 - [c134]Michael Kohlhase:
Towards Context Graphs for Argumentation Logics. LWDA 2018: 203-214 - [c133]Jonas Betzendahl, Michael Kohlhase:
Translating the IMPS Theory Library to MMT/OMDoc. CICM 2018: 7-22 - [c132]Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn:
Discourse Phenomena in Mathematical Documents. CICM 2018: 147-163 - [c131]Dennis Müller, Michael Kohlhase, Florian Rabe:
Automatically Finding Theory Morphisms for Knowledge Management. CICM 2018: 209-224 - [c130]Theresa Pollinger, Michael Kohlhase, Harald Köstler:
Knowledge Amalgamation for Computational Science and Engineering. CICM 2018: 232-247 - [c129]Jan Frederik Schaefer, Michael Kohlhase:
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). CICM Workshops 2018 - [c128]Tom Wiesing, Michael Kohlhase:
A Proposal for an OpenMath JSON Encoding. CICM Workshops 2018 - 2017
- [c127]Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe:
Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP 2017: 319-335 - [c126]Michael Kohlhase:
Math Object Identifiers - Towards Research Data in Mathematics. LWDA 2017: 241 - [c125]Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing:
Knowledge-Based Interoperability for Mathematical Software Systems. MACIS 2017: 195-210 - [c124]Tom Wiesing, Michael Kohlhase, Florian Rabe:
Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. MACIS 2017: 243-257 - [c123]Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe:
Classification of Alignments Between Concepts of Formal Mathematical Systems. CICM 2017: 83-98 - [c122]Michael Kohlhase, Wolfram Sperber:
Software Citations, Information Systems, and Beyond. CICM 2017: 99-114 - [c121]Andrea Kohlhase, Michael Kohlhase, Michael Fürsich:
Visual Structure in Mathematical Expressions. CICM 2017: 208-223 - [c120]Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow:
Mathematical Models as Research Data via Flexiformal Theory Graphs. CICM 2017: 224-238 - 2016
- [j27]Michael Kohlhase, Florian Rabe:
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. J. Formaliz. Reason. 9(1): 201-234 (2016) - [c119]Ion Toloaca, Michael Kohlhase:
Notation-based Semantification. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 73-81 - [c118]Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe:
A Standard for Aligning Mathematical Concepts. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 229-244 - [c117]Denis Rochau, Michael Kohlhase, Dennis Müller:
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 245-259 - [c116]Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing:
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. ICMS 2016: 451-457 - [c115]Enxhell Luzhnica, Michael Kohlhase:
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. ICMS 2016: 467-475 - [c114]Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing:
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM 2016: 117-131 - [c113]Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, Kenny Davila:
NTCIR-12 MathIR Task Overview. NTCIR 2016 - [e5]Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa:
Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Lecture Notes in Computer Science 9791, Springer 2016, ISBN 978-3-319-42546-7 [contents] - [i23]Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry:
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CoRR abs/1603.06424 (2016) - 2015
- [c112]Alexandru Toader, Andrea Kohlhase, Michael Kohlhase:
Assessment for Spreadsheets. SEMS@ICSE 2015: 14-20 - [c111]Andrea Kohlhase, Michael Kohlhase, Ana Guseva:
Context in Spreadsheet Comprehension. SEMS@ICSE 2015: 21-27 - [c110]Radu Hambasan, Michael Kohlhase:
Faceted Search for Mathematics. LWA 2015: 33-44 - [c109]Enxhell Luzhnica, Mihnea Iancu, Michael Kohlhase:
Importing the OEIS Library Into OMDoc. LWA 2015: 296-303 - [c108]Radu Hambasan, Michael Kohlhase:
Faceted Search for Mathematics. MACIS 2015: 406-420 - [c107]Mihnea Iancu, Michael Kohlhase:
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. CICM 2015: 137-152 - [c106]Mihnea Iancu, Michael Kohlhase:
Math Literate Knowledge Management via Induced Material. CICM 2015: 187-202 - [i22]Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber:
The SMGloM Project and System. CICM (Work in Progress) 2015: 25-28 - 2014
- [c105]Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOMI@FOIS 2014 - [c104]Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. FOIS 2014: 427-432 - [c103]Mihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu:
Representing, Archiving, and Searching the Space of Mathematical Knowledge. ICMS 2014: 26-30 - [c102]Michael Kohlhase, Mihnea Iancu:
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. ICMS 2014: 36-40 - [c101]Michael Kohlhase:
Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier. LWA 2014: 8 - [c100]Carmela Acevedo, Michael Kohlhase:
OpenMathMap: Interaction. CICM Workshops 2014 - [c99]Michael Kohlhase:
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. CICM 2014: 169-183 - [c98]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM 2014: 252-266 - [c97]Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase:
Flexary Operators for Formalized Mathematics. CICM 2014: 312-327 - [c96]Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing:
System Description: MathHub.info. CICM 2014: 431-434 - [c95]Michael Kohlhase:
Extension Proposal: Records in Pragmatic OpenMath. CICM Workshops 2014 - [c94]Michael Kohlhase:
OpenMath Language Extensions. CICM Workshops 2014 - [c93]Lukas Kohlhase, Michael Kohlhase:
System Description: A Semantics-Aware LaTeX-to-Office Converter. CICM 2014: 440-443 - [c92]Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Moritz Schubotz:
NTCIR-11 Math-2 Task Overview. NTCIR 2014 - [c91]Radu Hambasan, Michael Kohlhase, Corneliu-Claudiu Prodescu:
MathWebSearch at NTCIR-11. NTCIR 2014 - [e4]Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents] - [i21]Michael Kohlhase, Corneliu-Claudiu Prodescu, Christian Liguda:
XLSearch: A Search Engine for Spreadsheets. CoRR abs/1401.7584 (2014) - [i20]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR abs/1405.5956 (2014) - 2013
- [j26]Andrea Kohlhase, Michael Kohlhase:
Spreadsheets with a Semantic Layer. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [j25]Florian Rabe, Michael Kohlhase:
A scalable module system. Inf. Comput. 230: 1-54 (2013) - [j24]Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban:
The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reason. 50(2): 191-202 (2013) - [c90]Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader:
Full Semantic Transparency: Overcoming Boundaries of Applications. INTERACT (3) 2013: 406-423 - [c89]Jan Wilken Dörrie, Michael Kohlhase:
OpenMathMap: Accessing Math via Interactive Maps. LWA 2013: 277-279 - [c88]Jan Wilken Dörrie, Michael Kohlhase:
OpenMathMap: accessing math via interactive maps. CICM Workshops 2013 - [c87]Michael Kohlhase, Felix Mance, Florian Rabe:
A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML 2013: 82-97 - [c86]Akiko Aizawa, Michael Kohlhase, Iadh Ounis:
NTCIR-10 Math Pilot Task Overview. NTCIR 2013 - [c85]Michael Kohlhase, Corneliu-Claudiu Prodescu:
MathWebSearch at NTCIR-10. NTCIR 2013 - [e3]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger:
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013 [contents] - [i19]Michael Kohlhase, Felix Mance, Florian Rabe:
A Universal Machine for Biform Theory Graphs. CoRR abs/1306.3198 (2013) - [i18]Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack:
Towards Ontological Support for Principle Solutions in Mechanical Engineering. CoRR abs/1312.2359 (2013) - 2012
- [j23]Manfred Kerber, Michael Kohlhase:
Reasoning without believing: on the mechanisation of presuppositions and partiality. J. Appl. Non Class. Logics 22(4): 295-317 (2012) - [j22]Michael Kohlhase, Florian Rabe:
Semantics of OpenMath and MathML3. Math. Comput. Sci. 6(3): 235-260 (2012) - [c84]Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase:
Semantic Alliance: A Framework for Semantic Allies. AISC/MKM/Calculemus 2012: 49-64 - [c83]Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe:
Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus 2012: 65-80 - [c82]Michael Kohlhase, Bogdan Matican, Corneliu-Claudiu Prodescu:
MathWebSearch 0.5: Scaling an Open Formula Search Engine. AISC/MKM/Calculemus 2012: 342-357 - [c81]Michael Kohlhase:
The Planetary Project: Towards eMath3.0. AISC/MKM/Calculemus 2012: 448-452 - [c80]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 - [c79]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 - [c78]Michael Kohlhase:
The Flexiformalist Manifesto. SYNASC 2012: 30-35 - [i17]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) - [i16]Michael Kohlhase:
The Planetary Project: Towards eMath3.0. CoRR abs/1206.5048 (2012) - 2011
- [c77]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 - [c76]Catalin David, Deyan Ginev, Michael Kohlhase, Bogdan Matican, Stefan Mirea:
A Framework for Semantic Publishing of Modular Content Objects. SePublica 2011 - [c75]Deyan Ginev, Heinrich Stamerjohanns, Michael Kohlhase:
The LaTeXML Daemon: Editable Math on the Collaborative Web. LWA 2011: 255-256 - [c74]Corneliu-Claudiu Prodescu, Michael Kohlhase:
MathWebSearch 0.5 An Open Formula Search Engine. LWA 2011: 257-264 - [c73]Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen:
A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122 - [c72]Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban:
Licensing the Mizar Mathematical Library. Calculemus/MKM 2011: 149-163 - [c71]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 - [c70]Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe:
Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227 - [c69]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291 - [c68]Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase:
The LaTeXML Daemon: Editable Math on the Collaborative Web. Calculemus/MKM 2011: 292-294 - [c67]Andrea Kohlhase, Michael Kohlhase:
Maintaining islands of consistency via versioned links. SIGDOC 2011: 167-174 - [c66]Andrea Kohlhase, Michael Kohlhase:
Towards a flexible notion of document context. SIGDOC 2011: 181-188 - [c65]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. ICCS 2011: 598-607 - [i15]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) - [i14]Florian Rabe, Michael Kohlhase:
A Scalable Module System. CoRR abs/1105.0548 (2011) - [i13]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) - [i12]Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen:
A Foundational View on Integration Problems. CoRR abs/1105.2725 (2011) - [i11]Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane:
Licensing the Mizar Mathematical Library. CoRR abs/1107.3212 (2011) - 2010
- [j21]Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller:
Transforming Large Collections of Scientific Publications to XML. Math. Comput. Sci. 3(3): 299-307 (2010) - [c64]Constantin Jucovschi, Michael Kohlhase:
sTeXIIS: An Integrated Development Environment for sTeX Collections. AISC/MKM/Calculemus 2010: 336-344 - [c63]Andrea Kohlhase, Michael Kohlhase, Christoph Lange:
Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus 2010: 355-369 - [c62]Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev:
Towards MKM in the Large: Modular Representation and Scalable Software Architecture. AISC/MKM/Calculemus 2010: 370-384 - [c61]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev:
Publishing Math Lecture Notes as Linked Data. ESWC (2) 2010: 370-375 - [c60]Andrea Kohlhase, Michael Kohlhase, Christoph Lange:
STEX+: a system for flexible formalization of linked data. I-SEMANTICS 2010 - [c59]Anca Dumitrache, Christoph Lange, Michael Kohlhase, Nils Aschenbeck:
Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki. SemWiki@ESWC 2010 - [c58]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138 - [c57]Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159 - [i10]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev:
Publishing Math Lecture Notes as Linked Data. CoRR abs/1004.3390 (2010) - [i9]Andrea Kohlhase, Michael Kohlhase, Christoph Lange:
Dimensions of Formality: A Case Study for MKM in Software Engineering. CoRR abs/1004.5071 (2010) - [i8]Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev:
Towards MKM in the Large: Modular Representation and Scalable Software Architecture. CoRR abs/1005.5232 (2010) - [i7]Constantin Jucovschi, Michael Kohlhase:
sTeXIDE: An Integrated Development Environment for sTeX Collections. CoRR abs/1005.5489 (2010) - [i6]Andrea Kohlhase, Michael Kohlhase, Christoph Lange:
sTeX+ - a System for Flexible Formalization of Linked Data. CoRR abs/1006.4474 (2010) - [i5]Andrea Kohlhase, Michael Kohlhase:
What we understand is what we get: Assessment in Spreadsheets. CoRR abs/1009.2797 (2010)
2000 – 2009
- 2009
- [j20]Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
Cut-Simulation and Impredicativity. Log. Methods Comput. Sci. 5(1) (2009) - [j19]Christine Müller, Michael Kohlhase:
Context-Aware Adaptation: A Case Study On Mathematical Notations. Inf. Syst. Manag. 26(3): 215-230 (2009) - [j18]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. Netw. Syst. Manag. 17(3): 285-308 (2009) - [c56]Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz:
Formal Management of CAD/CAM Processes. FM 2009: 223-238 - [c55]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 - [c54]Andrea Kohlhase, Michael Kohlhase:
What you understand is what you get: Assessment in Spreadsheets. LWA 2009: FGWM:22-29 - [c53]Christoph Lange, Michael Kohlhase:
A Mathematical Approach to Ontology Authoring and Documentation. LWA 2009: FGWM:30 - [c52]James H. Davenport, Michael Kohlhase:
Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM 2009: 263-278 - [c51]Andrea Kohlhase, Michael Kohlhase:
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. Calculemus/MKM 2009: 341-356 - [c50]Andrea Kohlhase, Michael Kohlhase:
Compensating the Computational Bias of Spreadsheets with MKM Techniques. Calculemus/MKM 2009: 357-372 - [c49]Christoph Lange, Michael Kohlhase:
A Mathematical Approach to Ontology Authoring and Documentation. Calculemus/MKM 2009: 389-404 - [c48]Andrea Kohlhase, Michael Kohlhase:
Semantic transparency in user assistance systems. SIGDOC 2009: 89-96 - [c47]Andrea Kohlhase, Michael Kohlhase:
Modeling task experience in user assistance systems. SIGDOC 2009: 135-142 - 2008
- [j17]Michael Kohlhase:
Using as a Semantic Markup Format. Math. Comput. Sci. 2(2): 279-304 (2008) - [j16]Andrea Kohlhase, Michael Kohlhase:
Semantic Knowledge Management for Education. Proc. IEEE 96(6): 970-989 (2008) - [c46]Michael Kohlhase, Christine Müller, Florian Rabe:
Notations for Living Mathematical Documents. AISC/MKM/Calculemus 2008: 504-519 - [c45]Heinrich Stamerjohanns, Michael Kohlhase:
Transforming the arXiv to XML. AISC/MKM/Calculemus 2008: 574-582 - [c44]Florian Rabe, Michael Kohlhase:
An Exchange Format for Modular Knowledge. LPAR Workshops 2008 - [c43]Normen Müller, Michael Kohlhase:
Fine-Granular Version Control & Redundancy Resolution. LWA 2008: 1-8 - [c42]Andrea Kohlhase, Michael Kohlhase:
Compensating the Semantic Bias of Spreadsheets. LWA 2008: 49-58 - [c41]Christine Müller, Michael Kohlhase:
Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. WSKS (1) 2008: 41-50 - 2007
- [c40]Christine Müller, Michael Kohlhase:
panta rhei. LWA 2007: 318-323 - [c39]Michael Kohlhase, Achim Mahnke, Christine Müller:
Managing Variants in Document Content and Narrative Structures. LWA 2007: 324-329 - [c38]Andrea Kohlhase, Michael Kohlhase:
Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. Calculemus/MKM 2007: 313-326 - [c37]Immanuel Normann, Michael Kohlhase:
Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. Calculemus/MKM 2007: 356-370 - [e2]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. Lecture Notes in Computer Science 4314, Springer 2007, ISBN 978-3-540-69911-8 [contents] - 2006
- [b2]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 - [c36]Michael Kohlhase, Ioan Sucan:
A Search Engine for Mathematical Formulae. AISC 2006: 241-253 - [c35]Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234 - [c34]Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns:
Capturing the Content of Physics: Systems, Observables, and Experiments. MKM 2006: 165-178 - [c33]Andrea Kohlhase, Michael Kohlhase:
Communities of Practice in MKM: An Extensional Model. MKM 2006: 179-193 - [c32]Christoph Lange, Michael Kohlhase:
A Semantic Wiki for Mathematical Knowledge Management. SemWiki 2006 - [e1]Michael Kohlhase:
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 [contents] - 2005
- [c31]Andrea Kohlhase, Michael Kohlhase:
An Exploration in the Space of Mathematical Knowledge. MKM 2005: 17-32 - 2004
- [j15]Patrick Blackburn, Michael Kohlhase:
Inference and Computational Semantics. J. Log. Lang. Inf. 13(2): 117-120 (2004) - [j14]Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (2004) - [c30]Andrea Kohlhase, Michael Kohlhase:
CPoint: Dissolving the Author's Dilemma. MKM 2004: 175-189 - 2003
- [j13]Johan Bos, Michael Kohlhase:
Editorial. Log. J. IGPL 11(4): 381-384 (2003) - [j12]Michael Kohlhase, Alexander Koller:
Resource-Adaptive Model Generation as a Performance Model. Log. J. IGPL 11(4): 435-456 (2003) - [c29]Michael Kohlhase, Romeo Anghelache:
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. MKM 2003: 147-161 - 2002
- [c28]Jürgen Zimmer, Michael Kohlhase:
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. CADE 2002: 139-143 - [c27]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
- [j11]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
- [j10]Michael Kohlhase:
OMDoc: an infrastructure for OpenMath content dictionary information. SIGSAM Bull. 34(2): 43-48 (2000) - [j9]Dieter Hutter, Michael Kohlhase:
Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reason. 25(2): 123-164 (2000) - [c26]Manfred Pinkal, Michael Kohlhase:
Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. ACL 2000: 521-528 - [c25]Michael Kohlhase:
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. AISC 2000: 32-52 - [c24]Michael Kohlhase:
Using Deduction Techniques for Natural Language Understanding. ARW 2000 - [c23]Andreas Franke, Michael Kohlhase:
System Description: MBASE, an Open Mathematical Knowledge Base. CADE 2000: 455-459
1990 – 1999
- 1999
- [j8]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 Aspects Comput. 11(3): 326-342 (1999) - [j7]Michael Kohlhase, Ortwin Scheja:
Higher Order Multi-Valued Resolution. J. Appl. Non Class. Logics 9(4): 455-477 (1999) - [j6]Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge:
Agent-Oriented Integration of Distributed Mathematical Services. J. Univers. Comput. Sci. 5(3): 156-187 (1999) - [c22]Andreas Franke, Michael Kohlhase:
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. CADE 1999: 217-221 - [c21]Andreas Franke, Michael Kohlhase:
MBase: Representing mathematical knowledge in a relational data base. Calculemus 1999: 451-468 - 1998
- [j5]Manfred Kerber, Michael Kohlhase, Volker Sorge:
Integrating Computer Algebra into Proof Planning. J. Autom. Reason. 21(3): 327-355 (1998) - [j4]Jörg H. Siekmann, Michael Kohlhase, Erica Melis:
<Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998) - [j3]Markus Egg, Claire Gardent, Michael Kohlhase:
Steuerung der Inferenz in der Diskursverarbeitung. Kognitionswissenschaft 7(3): 106-110 (1998) - [c20]Christoph Benzmüller, Michael Kohlhase:
Extensional Higher-Order Resolution. CADE 1998: 56-71 - [c19]Christoph Benzmüller, Michael Kohlhase:
System Description: LEO - A Higher-Order Theorem Prover. CADE 1998: 139-144 - 1997
- [c18]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 - [c17]Dieter Hutter, Michael Kohlhase:
A Colored Version of the Lambda-Calculus. CADE 1997: 291-305 - [c16]Claire Gardent, Michael Kohlhase:
Computing Parallelism in Discourse. IJCAI (2) 1997: 1016-1021 - [c15]Manfred Kerber, Michael Kohlhase:
Mechanising Partiality With Re-implementation. KI 1997: 123-134 - [i4]Claire Gardent, Michael Kohlhase:
Computing Parallelism in Discourse. CoRR cmp-lg/9705004 (1997) - 1996
- [j2]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) - [j1]Michael Kohlhase:
Sorten für das automatische Beweisen höherer Stufe. Künstliche Intell. 10(2): 23-26 (1996) - [c14]Claire Gardent, Michael Kohlhase:
Higher-Order Coloured Unification and Natural Language Semantics. ACL 1996: 1-9 - [c13]Claire Gardent, Michael Kohlhase:
Focus and Higher-Order Unification. COLING 1996: 430-435 - [c12]Manfred Kerber, Michael Kohlhase, Volker Sorge:
Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215 - [c11]Manfred Kerber, Michael Kohlhase:
A Resolution Calculus for Presuppositions. ECAI 1996: 375-379 - [c10]Claire Gardent, Michael Kohlhase, Noor van Leusen:
Corrections and Higher-Order Unification. KONVENS 1996: 268-279 - [i3]Claire Gardent, Michael Kohlhase:
Higher-Order Coloured Unification and Natural Language Semantics. CoRR cmp-lg/9605004 (1996) - [i2]Claire Gardent, Michael Kohlhase:
Focus and Higher-Order Unification. CoRR cmp-lg/9605005 (1996) - [i1]Claire Gardent, Michael Kohlhase, Noor van Leusen:
Corrections and Higher-Order Unification. CoRR cmp-lg/9609001 (1996) - 1995
- [c9]Michael Kohlhase:
Higher-Order Tableaux. TABLEAUX 1995: 294-309 - 1994
- [b1]Michael Kohlhase:
A mechanization of sorted higher-order logic based on the resolution principle. Saarland University, Saarbrücken, Germany, 1994, pp. 1-156 - [c8]Manfred Kerber, Michael Kohlhase:
A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385 - [c7]Patricia Johann, Michael Kohlhase:
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE 1994: 620-634 - [c6]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 - [c5]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 - [c4]Michael Kohlhase:
Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. KI 1994: 331-342 - [c3]Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts:
Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390 - 1993
- [c2]Michael Kohlhase, Frank Pfenning:
Unification in a Lambda-Calculus with Intersection Types. ILPS 1993: 488-505 - 1992
- [c1]Michael Kohlhase:
Unification in Order-Sorted Type Theory. LPAR 1992: 421-432
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-13 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
