Dataset Groups Activity Stream Robotics (RB) dataset The dataset used in this paper is the Robotics (RB) dataset, which is a benchmark problem for constraint answer set programming. BibTex: @dataset{Yuliya_Lierler_2024, abstract = {The dataset used in this paper is the Robotics (RB) dataset, which is a benchmark problem for constraint answer set programming.}, author = {Yuliya Lierler}, doi = {10.57702/hh41dmvh}, institution = {No Organization}, keyword = {'Constraint Answer Set Programming', 'Robotics', 'SMT-based approach'}, month = {dec}, publisher = {TIB}, title = {Robotics (RB) dataset}, url = {https://service.tib.eu/ldmservice/dataset/robotics--rb--dataset}, year = {2024} }
