Keyphrases
- probability theory
- artificial intelligence
- computational logic
- formal logic
- expert systems
- predicate logic
- knowledge representation and reasoning
- quantum computation
- modal logic
- logic programming
- multi valued
- probability distribution
- intelligent systems
- probabilistic logic
- ai systems
- conditional probabilities
- lecture notes in artificial intelligence
- case based reasoning
- classical logic
- machine learning
- knowledge representation
- truth maintenance systems
- computer algebra
- probabilistic model
- multi agent systems