Keyphrases
- modal operators
- probability theory
- intelligent systems
- logic programming
- truth values
- belief revision
- decision support
- modal logic
- belief functions
- automated reasoning
- machine learning
- classical logic
- logic programs
- subjective logic
- proof theory
- truth maintenance systems
- natural deduction
- asynchronous circuits
- nonmonotonic logics
- defeasible logic
- logical framework
- multi valued