Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks.

Sarath Sreedharan, Siddharth Srivastava, David E. Smith, Subbarao Kambhampati

Browse the full IJCAI paper archive.