Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.
Carsten SchürmannPublished in: FLOPS (2004)
Keyphrases
- logical framework
- functional programming
- inference rules
- functional language
- programming language
- epistemic logic
- reasoning tasks
- belief revision
- execution model
- coalition logic
- higher order logic
- linear logic
- quantifier elimination
- normative systems
- object oriented programming
- general purpose
- modal logic
- expert systems
- databases