Vaishak Belle

Paper accepted at KR-16

Paper accepted at KR-16

We consider the question of how generalized plans (plans with loops) can be deemed correct in unbounded and continuous domains.