Keyphrases
- learning from experience
- formal theory
- set theory
- computer algebra
- commonsense reasoning
- theoretical basis
- proof theoretic
- proof theory
- general theory
- neural network
- deductive reasoning
- mathematical theory
- probability theory
- logical framework
- modal logic
- theoretical framework
- computational model
- logic programming
- genetic algorithm
- information retrieval
- databases