ECAI
2010
Springer
13 years 5 months ago
2010
Springer
We show that Booth et al.'s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour thro...