Keyphrases
- high speed
- low power
- formal theory
- set theory
- real time
- theoretical framework
- proof theory
- commonsense reasoning
- mathematical theory
- automated reasoning
- data sets
- propositional theories
- computer algebra
- logical framework
- information systems
- artificial intelligence
- neural network
- default reasoning
- decision theory
- theoretical foundation
- low cost
- knowledge representation
- case study
- deductive reasoning