Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming