Keyphrases
- formal theory
- modal operators
- empirical evidence
- spatial reasoning
- modal logic
- classical logic
- database
- search algorithm
- automated reasoning
- causal reasoning
- evidential reasoning
- digital circuits
- probabilistic knowledge
- complete axiomatization
- asynchronous circuits
- abductive reasoning
- predicate logic
- multi agent systems
- database systems
- neural network