Keyphrases
- scientific discovery
- formal models
- theoretical framework
- deductive reasoning
- knowledge representation
- causal reasoning
- neural network
- logical framework
- reasoning processes
- model based reasoning
- general theory
- reasoning systems
- theoretical basis
- plausible reasoning
- knowledge base
- artificial intelligence
- computational properties
- proof theoretic
- imprecise probabilities
- science learning
- scientific data
- learning algorithm
- data mining