A sound and complete axiomatization of delimited continuations.

Yukiyoshi Kameyama Masahito Hasegawa

Published in: ICFP (2003)

Keyphrases

sound and complete axiomatization
belief revision
conditional logic
artificial intelligence
general purpose
nonmonotonic reasoning
belief change
high level
bayesian networks
heuristic search