Keyphrases
- high speed
- sound and complete axiomatization
- recovery algorithm
- modal logic
- probability theory
- automated reasoning
- multi valued
- formal theory
- probabilistic logic
- charge coupled devices
- asynchronous circuits
- deontic logic
- image recovery
- predicate logic
- real world
- search algorithm
- artificial intelligence
- machine learning