Understanding Instructions on Large Scale for Human-Robot Interaction
the stable model semantics for logic programming .