Keyphrases
- formal theory
- probability theory
- probability distribution
- nonmonotonic inference
- modal operators
- logic programming
- modal logic
- automated reasoning
- probabilistic logic
- conditional probabilities
- spatial reasoning
- logical framework
- sound and complete axiomatization
- probabilistic knowledge
- multi valued
- decision trees
- classical logic
- computational properties
- set theory
- digital circuits
- predicate logic
- knowledge representation
- expert systems
- asynchronous circuits
- information systems