Reasoning method based on knowledge Petri nets and resolution rules
TAN Kai-cheng
LUO Ji-liang
ZHANG Hong-bin
LIN Xin-jie
YE Jian-hong
Machine-generated Keywords：
Publication Date：2023-01-28
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 172-177 )