The ForMaRE Project --- Formal Mathematical Reasoning in Economics
Christoph LangeColin RowatManfred KerberPublished in: CoRR (2013)
Keyphrases
- mathematical theory
- meta level
- computational intelligence
- formal models
- logical reasoning
- software development
- project management
- legal argument
- knowledge representation
- reasoning process
- game theory
- computer algebra systems
- formal representation
- knowledge base
- computer algebra
- reasoning processes
- reasoning systems
- learning environment
- cooperative
- machine learning
- model based diagnosis
- mathematical proofs
- artificial intelligence
- model based reasoning
- analogical reasoning
- knowledge processing
- natural language
- uncertain information
- construction process
- current status
- source code
- formal methods
- data collection