P Khandelwal, F Yang, M Leonetti, V Lifschitz, P Stone - 2016 - sensiblerobots.leeds.ac.uk
The action language BC provides an elegant way of formalizing dynamic domains which
involve indirect effects of actions and recursively defined fluents. In complex robot task …