ECAI
2010
Springer
14 years 16 days 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...