A Logical Framework with Dependently Typed Records.
Thierry CoquandRandy PollackMakoto TakeyamaPublished in: Fundam. Informaticae (2005)
Keyphrases
- logical framework
- inference rules
- higher order
- belief revision
- reasoning tasks
- possibilistic logic
- linear logic
- higher order logic
- normative systems
- epistemic logic
- coalition logic
- software engineering
- temporal reasoning
- machine learning
- attribute values
- object oriented
- special case
- reinforcement learning
- bayesian networks