Using answer set programming in an order-picking system with cellular transport vehicles | IEEE Conference Publication | IEEE Xplore