Keyphrases
- probability theory
- logic programming
- multi valued
- automated reasoning
- data sets
- modal logic
- neural network
- proof theory
- predicate logic
- classical logic
- occurrence probability
- truth values
- digital circuits
- probability estimates
- belief change
- nonmonotonic reasoning
- theorem prover
- knowledge representation
- feature vectors
- case study
- information systems
- machine learning