提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ijcai/FieerE15澳大利亚-菲尔，克里斯蒂娜澳大利亚-艾特，托马斯TI-使用完全丰富自动机的森林逻辑程序推理。BT-2015年联合本体研讨会会议记录第1集：阿根廷本体之冬与第24届国际人工智能联合会议（IJCAI 2015）合办，阿根廷布宜诺斯艾利斯，2015年7月25-27日。2015年上半年//UR-（欧元）https://ceur-ws.org/Vol-1517/JOWO-15_ontolp_paper_8.pdf急诊室-