A Conditional Logical Framework.
Furio HonsellMarina LenisaLuigi LiquoriIvan ScagnettoPublished in: LPAR (2008)
Keyphrases
- logical framework
- belief revision
- inference rules
- reasoning tasks
- conditional logic
- epistemic logic
- higher order logic
- normative systems
- default reasoning
- possibilistic logic
- automated reasoning
- coalition logic
- linear logic
- conditional probabilities
- artificial intelligence
- answer set programming
- multi dimensional
- description logics
- probabilistic model