Login / Signup

On the Representation of Imperative Programs in a Logical Framework.

José Luis Freire-NistalEnrique Freire BrañasAntonio Blanco FerroDavid Cabrero Souto
Published in: EUROCAST (2007)
Keyphrases
  • logical framework
  • imperative programs
  • inference rules
  • reasoning tasks
  • belief revision
  • general purpose
  • linear logic
  • reinforcement learning
  • nonmonotonic reasoning