StructProc8b: A Language for Scientific Reasoning.
Joseph PhillipsDonald BartoliMichael CohenPublished in: MAICS (2013)
Keyphrases
- natural language
- meta level
- scientific data
- knowledge representation
- scientific discovery
- language learning
- knowledge base
- proof theory
- knowledge representation language
- programming language
- language processing
- reasoning process
- specification language
- reasoning systems
- operational semantics
- object oriented programming
- object oriented
- model based reasoning
- logic programming language
- data model
- data sets