Keyphrases
- automated deduction
- theorem proving
- theorem prover
- consequence finding
- theoretical basis
- inference rules
- logic programming
- artificial intelligence
- belief functions
- computational model
- text classification
- low resolution
- programming language
- general purpose
- data warehouse
- relational databases
- multi agent systems
- high quality
- general theory
- formal theory
- computer vision
- real time