Keyphrases
- logical framework
- belief revision
- inference rules
- reasoning tasks
- machine learning
- normative systems
- inductive learning
- linear logic
- higher order logic
- knowledge representation
- inductive inference
- possibilistic logic
- coalition logic
- logic programming
- sufficient conditions
- supervised learning
- artificial intelligence