Keyphrases
- truth values
- inference rules
- multi valued
- modal operators
- fixpoint
- probability theory
- belief revision
- classical logic
- logic programming
- logical framework
- modal logic
- neural network
- truth maintenance systems
- abductive reasoning
- belief functions
- temporal logic
- logic programs
- computational properties
- possibilistic logic
- defeasible logic
- fuzzy sets
- knowledge representation
- genetic algorithm
- probability measures
- database
- belief set
- subjective logic