Keyphrases
- conditional logic
- modal logic
- default reasoning
- linear logic
- classical logic
- belief revision
- higher order logic
- nonmonotonic reasoning
- theorem prover
- fuzzy set theory
- logical framework
- interval valued
- fuzzy numbers
- knowledge representation and reasoning
- default logic
- fuzzy information
- nonmonotonic inference
- natural deduction
- inference rules
- logic programming
- fuzzy sets
- theorem proving
- artificial intelligence
- machine learning
- graphical models
- fuzzy logic