Various planning-based know-how logics have been studied in the recent literature. In this paper, we use such a logic to do know-how-based planning via model checking. particular, can handle higher-order epistemic involving formulas as goal, e.g., find plan make sure p that adversary does not know how false future. We give PTIME algorithm for checking problem over finite transition systems and ...

When do we stop an ongoing science project to make room for something new? Decision-making is a complex process, ranging from budgetary considerations and tension between projects, progress assessments allowance novel developments.