Keyphrases
- resource bounded
- default logic
- information gathering
- default theories
- logic programming
- default reasoning
- nonmonotonic reasoning
- autonomous agents
- nonmonotonic logics
- meta level
- default rules
- rational agents
- modal logic
- autoepistemic logic
- logic programs
- fixed point
- classical logic
- image segmentation
- information fusion
- programming language
- defeasible logic
- probability distribution
- domain knowledge
- multi agent
- training data
- machine learning
- truth maintenance systems