CommentsPaper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages
Journal refTheory and Practice of Logic Programming 20 (2020) 593-608
Yingxuan Yang, Mulei Ma, Yuxuan Huang, Huacan Chai, Chenyu Gong, Haoran Geng, Yuanjian Zhou, Ying Wen, Meng Fang, Muhao Chen, Shangding Gu, Ming Jin, Costas Spanos, Yang Yang, Pieter Abbeel, Dawn Song, Weinan Zhang, Jun Wang
机构
*
Shanghai Jiao Tong University(上海交通大学)
;
The Hong Kong University of Science and Technology(香港科技大学)
;
University of Liverpool(利物浦大学)
;
University of California Berkeley(加州大学伯克利分校)
;
Shanghai Innovation Institute(上海创新研究院)
;
University of California Davis(加州大学戴维斯分校)
;
Virginia Tech(弗吉尼亚理工大学)
;
University College London(伦敦大学学院)
机构
*
Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice(科希策技术大学电气工程与信息学院计算机与信息学系)