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
- 2024
[c164]Theresa Kruse, Dominic Lohr, Marc Berges, Michael Kohlhase, Halimeh Moghbeli, Marcel Schütz:
Term Extraction for Domain Modeling. DeLFI 2024- [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] - 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