Keyphrases
- nonmonotonic logics
- modal logic
- default logic
- propositional logic
- nonmonotonic reasoning
- defeasible logic
- fault diagnosis
- model based diagnosis
- default theories
- expert systems
- neural network
- markov random field
- belief revision
- rational agents
- formal specification
- first order logic
- logic programming
- software development
- video sequences
- image segmentation
- genetic algorithm