Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals.

Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith

Browse the full KR paper archive.