Keyphrases
- formal theory
- logic programming
- modal logic
- modal operators
- predicate logic
- dempster shafer theory
- empirical evidence
- spatial reasoning
- automated reasoning
- machine learning
- multi valued
- qualitative reasoning
- classical logic
- computational properties
- evidential reasoning
- logical framework
- abductive reasoning
- asynchronous circuits
- linear logic
- real time