Occlusion tracking using logic models