A Meta Language for Mathematical Reasoning.
Michael JunkStefan HöllePublished in: CICM Workshops (2018)
Keyphrases
- meta level
- meta reasoning
- natural language
- programming language
- proof theory
- knowledge base
- knowledge representation
- language learning
- ontology reasoning
- uml class diagrams
- reasoning process
- intuitionistic logic
- knowledge representation language
- mathematical theory
- model based reasoning
- operational semantics
- reasoning systems
- automated reasoning
- reasoning mechanism
- representation language
- object level
- reasoning engine
- highly expressive
- conceptual graphs
- mathematical models
- neural network