Login / Signup

Program Extraction in a Logical Framework Setting.

Penny Anderson
Published in: LPAR (1994)
Keyphrases
  • logical framework
  • inference rules
  • belief revision
  • reasoning tasks
  • normative systems
  • epistemic logic
  • linear logic
  • possibilistic logic
  • higher order logic
  • decision making
  • probability distribution