田田高 用于知识表示和推理的受控自然语言。 19:1-19:10 2016 ICLP（技术通信） https://doi.org/10.4230/OASIcs.ICLP.2016.19 2016年会议 db/conf/iclp/iclp2016.html#Gao16