Stavros Vassos

• A feasible approach to disjunctive knowledge in situation calculus