A logical framework to prove properties of Alpha programs.

Luc Bougé David Cachera

Published in: ASAP (1997)

Keyphrases

logical framework
belief revision
inference rules
desirable properties
reasoning tasks
linear logic
multi dimensional
artificial intelligence
high level
case based reasoning
possibilistic logic
epistemic logic
normative systems