。 。 。 。 。 《Cristina Feier和Thomas Eiter：使用完全丰富的自动机进行森林逻辑程序推理》（2015）。 。 。 _：ID_c952ee641c488d3ca9482a7a61f4e1fb。_：ID_c952ee641c488d3ca9482a7a61f4e1fb 。_：ID_c952ee641c488d3ca9482a7a61f4e1fb 。_：ID_c952ee641c488d3ca9482a7a61f4e1fb“conf/lpnmr/FieerE15”。 _：ID_8cb9f40cea8f607f3286104c35b51855。_：ID_8cb9f40cea8f607f3286104c35b51855 。_：ID_8cb9f40cea8f607f3286104c35b51855 。_：标识_8cb9f40cea8f607f3286104c35b51855"10.1007/978-3-319-23264-5_29" . “使用完全丰富的自动机进行森林逻辑程序推理”。 。 。 。 "2"^^。 _：Sig_67a215b4403458f8479751ca85e0adb7_1。_：Sig_67a215b4403458f8479751ca85e0adb7_1 。_：Sig_67a215b4403458f8479751ca85e0adb7_1“Cristina Feier”。_：Sig_67a215b4403458f8479751ca85e0adb7_1 。_：Sig_67a215b4403458f8479751ca85e0adb7_1 。_：Sig_67a215b4403458f8479751ca85e0adb7_1"1"^^。_：Sig_67a215b4403458f8479751ca85e0adb7_1 。 _：Sig_67a215b4403458f8479751ca85e0adb7_2。_：Sig_67a215b4403458f8479751ca85e0adb7_2 。_：Sig_67a215b4403458f8479751ca85e0adb7_2“托马斯·艾特”。_：Sig_67a215b4403458f8479751ca85e0adb7_2 。_：Sig_67a215b4403458f8479751ca85e0adb7_2"2"^^。_：信号_67a215b4403458f8479751ca85e0adb7_2 。 。 。 。 "346-353" . “LPNMR”。 “LPNMR”。 "2015"^^。 "2015"^^。 。 “dblp记录'conf/lpnmr/FieerE15'的RDF数据的来源信息”。 。 。 。 “2017-06-15T21:33:29+0200”。