Michael Kohlhase
#24,078
Most Influential Person Now
German computer scientist
Michael Kohlhase's AcademicInfluence.com Rankings
Michael Kohlhasecomputer-science Degrees
Computer Science
#1383
World Rank
#1431
Historical Rank
Artificial Intelligence
#289
World Rank
#294
Historical Rank
Database
#7421
World Rank
#7691
Historical Rank
Download Badge
Computer Science
Why Is Michael Kohlhase Influential?
(Suggest an Edit or Addition)According to Wikipedia, Michael Kohlhase is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group . Academic Positions Michael Kohlhase is president of the OpenMath Society and a trustee of the Interest Group for Mathematical Knowledge Management . He was a trustee of the Conference on Automated Deduction and the CALCULEMUS Interest Group. He has been Conference Chair of CADE-21 and Program Chair of the KI-2006, MKM-2005, and CALCULEMUS-2000 conferences and has served on the Programme Committees of more than three dozen international conferences. Kohlhase holds an adjunct associate professorship at Carnegie Mellon University and was vice director of the Department of Safe and Secure Cognitive Systems at German Research Centre for Artificial Intelligence Lab Bremen.
Michael Kohlhase's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Mathematical Markup Language (MathML) Version 3.0 (2001) (301)
- OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] (2006) (285)
- MathDox : mathematical documents on the web (2006) (203)
- A Search Engine for Mathematical Formulae (2006) (160)
- Omega: Towards a Mathematical Assistant (1997) (148)
- Higher-order semantics and extensionality (2004) (128)
- A scalable module system (2011) (120)
- MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems (2001) (101)
- OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge (2000) (100)
- ΩMEGA : Towards a mathematical assistant (1997) (98)
- System Description: LEO - A Higher-Order Theorem Prover (1998) (96)
- NTCIR-12 MathIR Task Overview (2016) (96)
- Proof Development with OMEGA (2002) (84)
- NTCIR-11 Math-2 Task Overview (2014) (81)
- NTCIR-10 Math Pilot Task Overview (2013) (68)
- Inference and Computational Semantics (2004) (65)
- Transforming Large Collections of Scientific Publications to XML (2010) (63)
- Agent-Oriented Integration of Distributed Mathematical Services (1999) (61)
- Project Abstract: Logic Atlas and Integrator (LATIN) (2011) (58)
- System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning (2002) (58)
- A Mechanization of Strong Kleene Logic for Partial Functions (1994) (54)
- The Mizar Mathematical Library in OMDoc: Translation and Applications (2013) (54)
- System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving (1999) (52)
- An Open Markup Format for Mathematical Documents (2010) (47)
- The Planetary System: Web 3.0 & Active Documents for STEM (2011) (46)
- MathWebSearch 0.5: Scaling an Open Formula Search Engine (2012) (45)
- Using L A T E X as a Semantic Markup Format (2008) (44)
- OMDoc: an infrastructure for OpenMath content dictionary information (2000) (44)
- LΩUI: Lovely ΩMEGA User Interface (1999) (44)
- A mechanization of sorted higher-order logic based on the resolution principle (1994) (42)
- Higher-Order Coloured Unification and Natural Language Semantics (1996) (42)
- Notations for Living Mathematical Documents (2008) (42)
- System Description: MBASE, an Open Mathematical Knowledge Base (2000) (40)
- Integrating Computer Algebra into Proof Planning (1998) (40)
- Proof development with ΩMEGA (2002) (40)
- Publishing Math Lecture Notes as Linked Data (2010) (39)
- Omega-MKRP: A Proof Development Environment (1994) (38)
- Using as a Semantic Markup Format (2008) (38)
- TNTBase: Versioned Storage for XML (2009) (37)
- Higher-Order Tableaux (1995) (35)
- The Flexiformalist Manifesto (2012) (34)
- Extensional Higher-Order Resolution (1998) (34)
- Licensing the Mizar Mathematical Library (2011) (33)
- Towards context-based disambiguation of mathematical expressions (2009) (30)
- The LaTeXML Daemon: Editable Math on the Collaborative Web (2011) (29)
- Focus and Higher-Order Unification (1996) (29)
- MathWebSearch at NTCIR-11 (2014) (29)
- Corrections and Higher-Order Unification (1996) (28)
- A Semantic Wiki for Mathematical Knowledge Management (2006) (27)
- Semantic transparency in user assistance systems (2009) (26)
- New developments on high power alkaline batteries for industrial applications (2002) (26)
- Semantic Knowledge Management for Education (2008) (25)
- CPoint: Dissolving the Author's Dilemma (2004) (25)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (2010) (25)
- An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus (2009) (25)
- A Tableau Calculus for Partial Functions (1996) (24)
- Communities of Practice in MKM: An Extensional Model (2006) (24)
- Integrating Computer Algebra with Proof Planning (1996) (24)
- Towards MKM in the large: modular representation and scalable software architecture (2010) (23)
- A Type-Theoretic Semantics for -DRT1 (2007) (23)
- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge (2003) (23)
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach (2016) (22)
- eMath 3.0: building blocks for a social and semantic Web for online mathematics & elearning (2010) (21)
- A Mathematical Approach to Ontology Authoring and Documentation (2009) (21)
- STEX+: a system for flexible formalization of linked data (2010) (20)
- QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge (2016) (20)
- Capturing the Content of Physics: Systems, Observables, and Experiments (2006) (20)
- Extending MKM Formats at the Statement Level (2012) (19)
- Using Discourse Context to Interpret Object-Denoting Mathematical Expressions (2011) (19)
- Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge (2007) (19)
- Applying Semantic Techniques to Search and Analyze Bug Tracking Data (2009) (19)
- Computing Parallelism in Discourse (1997) (19)
- MathWebSearch 0 . 4 A Semantic Search Engine for Mathematics (2008) (18)
- KEIM: A Toolkit for Automated Deduction (1994) (18)
- Mathematical Knowledge Management : Transcending the One-Brain-Barrier with Theory Graphs (2014) (18)
- Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification (2012) (18)
- Classification of Alignments Between Concepts of Formal Mathematical Systems (2017) (18)
- Semantic Alliance: A Framework for Semantic Allies (2012) (18)
- Cut-Simulation and Impredicativity (2009) (17)
- Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium (2001) (17)
- Model generation for discourse representation theory (2000) (17)
- Compensating the Computational Bias of Spreadsheets with MKM Techniques (2009) (16)
- Panta Rhei (2007) (16)
- Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge (2007) (16)
- A Foundational View on Integration Problems (2011) (16)
- Unification in a l-calculus with intersection types (1993) (15)
- High performance nickel–metal hydride battery in bipolar stack design (2002) (15)
- Transforming the arXiv to XML (2008) (15)
- MBase: Representing mathematical knowledge in a relational data base (1999) (15)
- Dynamic Lambda Calculus (1999) (15)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (2009) (14)
- Methods - The Basic Units for Planning and Verifying Proofs (1999) (14)
- MDoc: An Open Markup Format for Mathematical Documents (2000) (14)
- Adaptive Course Generation and Presentation (2000) (14)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics (2014) (13)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (2014) (13)
- Unification in Order-Sorted Type Theory (1992) (13)
- Symbolic computation and automated reasoning (2001) (13)
- Making PVS Accessible to Generic Services by Interpretation in a Universal Format (2017) (13)
- A Colored Version of the Lambda-Calculus (1997) (13)
- Semantics of OpenMath and MathML3 (2012) (12)
- Mathematical Models as Research Data via Flexiformal Theory Graphs (2017) (12)
- Dimensions of formality: a case study for MKM in software engineering (2010) (12)
- Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset (2012) (12)
- MathWebSearch at NTCIR-10 (2013) (12)
- XML Format ] Database for [ insert cool application ] (2009) (12)
- MathML-aware Article Conversion from LaTeX (2009) (12)
- Representing, Archiving, and Searching the Space of Mathematical Knowledge (2014) (11)
- Adapting Methods to Novel Tasks in Proof Planning (1994) (11)
- An Exploration in the Space of Mathematical Knowledge (2005) (11)
- Unifying Math Ontologies: A Tale of Two Standards (2009) (11)
- OpenMath Content Dictionaries (2006) (11)
- System Description: MathHub.info (2014) (11)
- A Standard for Aligning Mathematical Concepts (2016) (11)
- Formal Management of CAD/CAM Processes (2009) (11)
- Alkaline high power batteries in a bipolar stack design (2001) (11)
- A colored version of the λ-calculus (1997) (10)
- Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading (1994) (10)
- Automated Theorem Proving for Natural Language Understanding (1998) (10)
- Conversion d’articles en LaTeX vers XML avec MathML : une étude comparative@@@MathML-aware article conversion from LaTeX — A comparison study (2008) (10)
- Flexary Operators for Formalized Mathematics (2014) (10)
- Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search (2007) (10)
- OMDoc: Open Mathematical Documents (2006) (10)
- Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases (2017) (9)
- Light-weight inference for computational semantics (2001) (9)
- An Exchange Format for Modular Knowledge (2008) (9)
- MathWebSearch 0.5 An Open Formula Search Engine (2011) (9)
- Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics (2011) (9)
- The Planetary Project: Towards eMath3.0 (2012) (9)
- A Distributed Graphical User Interface for the Interactive Proof System (1998) (9)
- Towards a Mizar Mathematical Library in OMDoc Format (2007) (9)
- Model Existence for Higher Order Logic (1997) (9)
- Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge (2020) (8)
- Resource-Adaptive Model Generation as a Performance Model (2003) (8)
- Translating the Mizar Mathematical Library into OMDoc format (2011) (8)
- Theories as Types (2018) (7)
- Scripting Documents with XQuery: Virtual Documents in TNTBase (2010) (7)
- LOmegaUI: Lovely OMEGA User Interface (1999) (7)
- Discourse Phenomena in Mathematical Documents (2018) (7)
- STEXIDE: an integrated development environment for STEX collections (2010) (7)
- Towards a flexible notion of document context (2011) (7)
- GF + MMT = GLF - From Language to Semantics through LF (2019) (7)
- Mechanising Partiality With Re-implementation (1997) (7)
- A Resolution Calculus for Presuppositions (1996) (7)
- Managing Variants in Document Content and Narrative Structures (2007) (7)
- Context in Spreadsheet Comprehension (2015) (7)
- Combining Source, Content, Presentation, Narration, and Relational Representation (2011) (7)
- Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation (2019) (7)
- Spreadsheets with a Semantic Layer (2013) (7)
- The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics (2016) (7)
- Higher-order colored unification : A linguistic application (1999) (7)
- Knowledge-Based Interoperability for Mathematical Software Systems (2017) (7)
- Relational Data Across Mathematical Libraries (2019) (7)
- A Universal Machine for Biform Theory Graphs (2013) (7)
- Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal (2019) (7)
- Managing Structural Information by Higher-Order Colored Unification (2000) (7)
- Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts (2008) (7)
- Feature Logic for Dotted Types: A Formalism for Complex Word Meanings (2000) (6)
- Maintaining islands of consistency via versioned links (2011) (6)
- System Description: Analytica 2 (2003) (6)
- Notations for Active Mathematical Documents (2009) (6)
- Context-Aware Adaptation: A Case Study On Mathematical Notations (2009) (6)
- Unification in a Lambda-Calculus with Intersection Types (1993) (6)
- Experiences from Exporting Major Proof Assistant Libraries (2020) (6)
- Full Semantic Transparency: Overcoming Boundaries of Applications (2013) (6)
- STEX: Semantic Markup in TEX/LTEX (2010) (6)
- Modeling task experience in user assistance systems (2009) (6)
- An Implementation of Distributed Mathematical Services (1998) (6)
- A Framework for Semantic Publishing of Modular Content Objects (2011) (6)
- XLSearch: A Search Engine for Spreadsheets (2014) (6)
- A Flexible , Interactive Theory-Graph Viewer (2017) (6)
- Higher-Order Automated Theorem Proving for Natural Language Semantics (1998) (6)
- L UI : L ovely MEGA U ser I nterface. (1999) (5)
- Fine-Granular Version Control & Redundancy Resolution (2008) (5)
- Semantic Techniques for Cut-Elimination in Higher Order Logic. (2003) (5)
- Higher-Order Automated Theorem Proving (2008) (5)
- Visual Structure in Mathematical Expressions (2017) (5)
- Proceedings of the 4th international conference on Mathematical Knowledge Management (2005) (5)
- Extending OpenMath with Sequences (2011) (5)
- Mathematical Information Retrieval (2020) (5)
- Cut Elimination with Xi-Functionality (2008) (5)
- Making Isabelle Content Accessible in Knowledge Representation Formats (2020) (5)
- Higher{order Coloured Uniication: a Linguistic Application (1997) (5)
- 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 (2014) (5)
- Math Object Identifiers - Towards Research Data in Mathematics (2017) (5)
- Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (2006) (4)
- The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems (2020) (4)
- Towards Ontological Support for Principle Solutions in Mechanical Engineering (2013) (4)
- Representing Structural Language Features in Formal Meta-languages (2020) (4)
- mega : Towards a Mathematical (1997) (4)
- OpenMathMap: accessing math via interactive maps (2013) (4)
- Markup for Mathematical Knowledge (2006) (4)
- Interpreting Negatives in Discourse (2002) (4)
- Co-Representing Structure and Meaning of Mathematical Documents (2014) (4)
- Acquisition of Math Content in an Academic Setting (2002) (4)
- A Framework for Modular Semantic Publishing with Separate Compilation and Dynamic Linking (2011) (4)
- Towards a Dynamic Type Theory (1999) (4)
- Translating the IMPS Theory Library to MMT/OMDoc (2018) (3)
- Compensating the Semantic Bias of Spreadsheets (2008) (3)
- Math Literate Knowledge Management via Induced Material (2015) (3)
- Higher-Order Order-Sorted Resolution (1999) (3)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (2010) (3)
- Cut-Simulation in Impredicative Logics (extended version) (2006) (3)
- Knowledge Management for Systematic Engineering Design in CAD Systems (2013) (3)
- Semantic Support for Engineering Design Processes (2014) (3)
- Understanding Mathematical Theory Formation via Theory Intersections in Mmt (2015) (3)
- What we understand is what we get: Assessment in Spreadsheets (2010) (3)
- An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant? (1999) (3)
- Cut-Simulation in Impredicative Logics (2006) (3)
- Faceted Search for Mathematics (2015) (3)
- FrameIT Reloaded: Serious Math Games from Modular Math Ontologies (2016) (2)
- Mathematical Objects (Module MOBJ) (2006) (2)
- Versioned Links (2011) (2)
- Software Citations, Information Systems, and Beyond (2017) (2)
- System Description: A Semantics-Aware LaTeX-to-Office Converter (2014) (2)
- Higher Order Multi-Valued Resolution (1999) (2)
- A Better Role System for OpenMath (2009) (2)
- Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki (2010) (2)
- An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs (1999) (2)
- Guided Research : Final Report MaTeSearch A combined math and text search engine (2007) (2)
- Mechanising Partiality without Re-implementation Mechanising Partiality without Re-implementation (1997) (2)
- Logic-Independent Proof Search in Logical Frameworks (2020) (2)
- The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning (2019) (2)
- The Planetary System: Executable Science, Technology, Engineering and Math Papers (2011) (2)
- Model pathway diagrams for the representation of mathematical models (2018) (2)
- Visual Structure in Math Expressions (2017) (2)
- Math Lecture Notes as Linked Data (2010) (2)
- Using Deduction Techniques for Natural Language Understanding (2000) (1)
- Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts (1994) (1)
- An OMDoc Primer (2006) (1)
- Full Semantic Transparency (2013) (1)
- Notation-based Semantification (2016) (1)
- Communication with and Between Mathematical Software Systems (2006) (1)
- (Deep) FAIR mathematics (2020) (1)
- Towards Context Graphs for Argumentation Logics (2018) (1)
- Knowledge Amalgamation for Computational Science and Engineering (2018) (1)
- Communities of Practice in Mathematical E-Learning (2008) (1)
- Model pathway diagrams for the representation of mathematical models (2018) (1)
- TGView3D System Description: 3-Dimensional Visualization of Theory Graphs (2019) (1)
- Automatically Finding Theory Morphisms for Knowledge Management (2018) (1)
- Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) (1)
- Guaranteeing Correctness through the Communication of Checkable Proofs(or: Would You Really Trust an Automated Reasoning System?) (1999) (1)
- TGView3D: A System for 3-Dimensional Visualization of Theory Graphs (2020) (1)
- Document Markup for the Web (2006) (1)
- OpenMath Language Extensions (2014) (1)
- Towards a Heterogeneous Query Language for Mathematical Knowledge (2020) (1)
- Logic-Independent Proof Search in Logical Frameworks (extended report) (2020) (1)
- A Development Graph for Elementary Algebra (2006) (1)
- Improving Panta Rhei as a Community Tool Guided Research (2008) (1)
- Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier (2014) (1)
- Proceedings of the 29th annual German conference on Artificial intelligence (2006) (1)
- Importing the OEIS Library Into OMDoc (2015) (1)
- Context Graphs for Argumentation Logics (2019) (1)
- FIZ Karlsruhe OPENMATHMAP: ACCESSING MATH VIA INTERACTIVE MAPS (2013) (1)
- Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences (2016) (1)
- Structured Specifications with Hiding in the Edinburgh Logical Framework LF Guided Research Thesis (2010) (0)
- Mashups Using Mathematical Knowledge Why Formulas Are Different (2013) (0)
- A multi-level , Higher-Order Uni cation approach toellipsisClaire (1997) (0)
- Quick-Reference Table to the OMDoc Elements (2006) (0)
- Complex Theories (Modules CTH and DG) (2006) (0)
- Context Graphs for Legal Reasoning and Argumentation (2020) (0)
- Methods { The Basic Units for Planning andVerifying (1992) (0)
- Assessment for Spreadsheets (2015) (0)
- Managing Knowledge for Assessing Spreadsheet-based Models (2015) (0)
- Relational Presentations Using Semantic Closeness Spatial Narrative for Mathematical Content (2015) (0)
- SAlly : A Framework for Semantic Allies (2012) (0)
- Artificial Intelligence: Automated Reasoning (2005) (0)
- Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge (2020) (0)
- Injecting Formal Mathematics Into LaTeX (2022) (0)
- Reasoning about Theory Morphisms Guided Research : Final Report (2009) (0)
- Validating OMDoc Documents (2006) (0)
- RECHERCHE Higher – Order Colored Unification : A Linguistic Application (2008) (0)
- Abstract Data Types (Module ADT) (2006) (0)
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (2015) (0)
- S T E XIDE: An Integrated Development Environment for S T E X Collections (2010) (0)
- OMDoc Applications, Tools, and Projects (2006) (0)
- D R a F T towards Mathematical Vernacular in a Mathematical Knowledge Base (1999) (0)
- OMDoc Applications and Projects (2006) (0)
- Towards an Atlas of Formal Logics (2010) (0)
- Preparing Proposals in L A T E X with proposal.cls (2013) (0)
- Recording Errata in L A T E X Documents (2007) (0)
- The space of mathematical software systems (2020) (0)
- The SMGloM project or why we need a semantic glossary of mathematics (2016) (0)
- Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016 (2017) (0)
- Deep FAIR - Knowledge Representation for Research Data about Complex Objects (2020) (0)
- Mathematical Textbooks and Articles (2006) (0)
- Representing Proofs (Module PF) (2006) (0)
- Mathematical Documents want to Active Digital Math Libraries want to be Semantic — Position paper for WDML 2012 (2012) (0)
- Partiality without the (1996) (0)
- cells process for the production of positive electrodes for electro-chemical elements, in particular Li / mn0 (down arrow) 2 (down arrow) (1982) (0)
- Workshop Automated Deduction: Decidability, Complexity, Tractability (2007) (0)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (2012) (0)
- metakeys.sty: A generic framework for extensible Metadata in L A T E X (2012) (0)
- Henkin Completeness of Higher-Order Resolution (1999) (0)
- Citations , Information Systems , and Beyond (2017) (0)
- GLIF: A Declarative Framework for Symbolic Natural Language Understanding (2020) (0)
- Mathematical Text (Modules MTXT and RT) (2006) (0)
- Semantic Markup for T E X/L A T E X (2007) (0)
- An Infrastructure for Presenting Semantic Macros in S T E X (2008) (0)
- The RelaxNG Schema for OMDoc (2006) (0)
- Courseware and the Narrative/Content Distinction (2006) (0)
- Version Peer reviewed version Link to publication record in King ' s Research Portal (2013) (0)
- OMDoc as a Modular Format (2006) (0)
- Integrating Semantic Mathematical Documents and Dynamic Notebooks (2019) (0)
- Semantics of OpenMath and MathML3 (2012) (0)
- Joint Proceedings of the MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2014 (2014) (0)
- Ω mega – A Mathematical Assistant System (1999) (0)
- System Deascription : MathHub . info (2017) (0)
- Transforming OMDoc by XSLT Style Sheets (2006) (0)
- Notation and Presentation (Module PRES) (2006) (0)
- A new approach to the application of fibre structure electrodes in alkaline batteries for telecommunication (2001) (0)
- Structured and Parametrized Theories (2006) (0)
- MIR 2012 workshop (2012) (0)
- L UI : A Distributed Graphical User Interface for theInteractive Proof System megaJ (1998) (0)
- Auxiliary Elements (Module EXT) (2006) (0)
- Exercises (Module QUIZ) (2006) (0)
- A Proposal for an OpenMath JSON Encoding (2018) (0)
- Uniication in a Sorted -calculus with Term Declarations and Function Sorts (1994) (0)
- Computational Logic 320441 CompLog Lecture Notes (2014) (0)
- Context Graphs for Ampliative Analogical Legal Reasoning and Argumentation (2021) (0)
- “What you get is what you understand: Assessment in SACHS” (2009) (0)
- Reasoning without Believing : On the Mechanization ofPresuppositions and (1999) (0)
- Knowledge Management across Formal Libraries (2015) (0)
- FormalCAD – an approach for semantic support in engineering design processes (2014) (0)
- A Novel Understanding of Legal Syllogism as a Starting Point for better Legal Symbolic AI Systems (2021) (0)
- The Mizar Mathematical Library in OMDoc: Translation and Applications (2012) (0)
- A Mathematical Semantic Web (2007) (0)
- Adaptive Course Generation and Presentation The Omega group : (2002) (0)
- Setting the Stage for Open Mathematical Documents (2006) (0)
- Understanding the Pragmatics of Module Systems for Mathematics (2016) (0)
- System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents (2022) (0)
- What you understand is what you get: Assessment in Spreadsheets (2009) (0)
- The OMDoc Document Format (2006) (0)
- Quick-Reference Table to the OMDoc Attributes (2006) (0)
- L O ] 1 3 M ay 2 01 1 A Foundational View on Integration Problems ⋆ (2021) (0)
- omdoc.sty/cls: Semantic Markup for Open Mathematical Documents in L A T E X (2012) (0)
- The RelaxNG Schemata for Mathematical Objects (2006) (0)
- Metadata (Modules DC and CC) (2006) (0)
- FrameIT: Detangling Knowledge Management from Game Design in Serious Games (2020) (0)
- 数式検索タスク NTCIR-11 Math-2 Math Retrieval Task : NTCIR-11 Math-2 (2013) (0)
- Preparing DFG Proposals and Reports in L A T E X with dfgproposal.cls (2013) (0)
- Document Infrastructure (Module DOC) (2006) (0)
- Aided Formalization of Mathematics-Converting Mizar into OMDoc Lucas (2007) (0)
- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs (2014) (0)
- Semantic Knowledge Management for Education Semantic knowledge, to help users understand relationships and dependencies betweenfacts,canbeincorporatedintolearningsystemstomakethemmoreeffective. (2008) (0)
- Editorial (2003) (0)
- 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning In conjunction with TPHOL 2003 and TABLEAUX 2003 (2003) (0)
- Guaranteeing Correctnessthrough the Communication ofCheckable Proofs ( or : Would You Really Trust an Automated ReasoningSystem ? ) Xiaorong Huang Manfred KerberMichael Kohlhase Dan Nesmith (2007) (0)
- Integrating Computer Algebra with Proof Planning Sign and Implementation of Symbolic Compu- Tation Systems, Spinger-verlag, Forthcoming Integrating Computer Algebra with Proof Planning (1996) (0)
- CDMTCS Research Report Series Communities of Practice in Mathematical E-Learning (2008) (0)
- CDMTCS Research Report Series Communities of Practice in Mathematical E-Learning (2008) (0)
- A Test for Evaluating the Practical Usefulness of Deduction Systems (1999) (0)
- CoPit-Towards A Community of Practice Toolkit (2008) (0)
- “Compensating the Computational Bias of Spread- sheets” (2009) (0)
- VERMATH: Distributed Mathematical Problem Solving (2004) (0)
- OMDo : Towards an Internet Standard for theAdministration , Distribution and Tea hing ofMathemati al KnowledgeMi (2006) (0)
- Document Models for OMDoc (2006) (0)
- General Computer Science 320201 GenCS I & II Lecture Notes (2013) (0)
- An Implementation of Distributed Mathematical (1998) (0)
- Mathematical Statements (Module ST) (2006) (0)
- Augmenting Simultaneous Localization and Mapping with Semantic Data : a Realtime Approach for Mobile Robots School of Engineering and Science (2008) (0)
- Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper) (2018) (0)
- Extension Proposal: Records in Pragmatic OpenMath (2014) (0)
- Mathematical models as research data in numerical simulation of opto-electronic devices (2017) (0)
- 34th Annual Meeting of the Association for Computational Linguistics, 24-27 June 1996, University of California, Santa Cruz, California, USA, Proceedings (1996) (0)
- MMT URIs for OMDoc 1.6 (2008) (0)
- The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics (2017) (0)
- OpenMathMap: Interaction (2014) (0)
- STEX3 – A L A TEX-based Ecosystem for Semantic/Active Mathematical Documents (2022) (0)
- Mashups Using Mathematical Knowledge (2013) (0)
- Guided Research in Computer Science ( IUB , Spring 2005 ) : Design and Implementation of a Viewpoint-changing System for Mathematical Texts Based on Theory-inclusions in OMDoc by Apostol Apostolov (2005) (0)
- Mechanising Partiality withoutRe - (1997) (0)
- it 1 / 15 ( Deep ) FAIR Mathematics (2019) (0)
- Changes to the Specification (2006) (0)
- SMGlom - a Semantic Mathematical Glossary of the Next Generation (2015) (0)
- 2 The Eye-Tracking Study Experimental Setup (2018) (0)
- MathWebSearch at NTCIR-11: Keywords, Frontend, & Scalability (2014) (0)
- Literate Knowledge Management via Induced Material (2015) (0)
- Information Society Technologies (ist) Programme Project Ist-2001-33562 Mowgli Report N. D5.a Distributed Knowledge Management and Version Control (2003) (0)
- Cut Elimination with ξ-Functionality (2007) (0)
- Partiality without the Cost Partiality without the Cost (1996) (0)
This paper list is powered by the following services:
Other Resources About Michael Kohlhase
What Schools Are Affiliated With Michael Kohlhase?
Michael Kohlhase is affiliated with the following schools:
