Complete inference via knowledge Petri nets and resolution rules
From MaRDI portal
Publication:6564892
DOI10.1016/j.ins.2024.120816zbMath1540.68276MaRDI QIDQ6564892
Jiliang Luo, Zhiwu Li, Jiazhong Zhou, KaiCheng Tan, Zepei Li
Publication date: 1 July 2024
Published in: Information Sciences (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Complete inference via knowledge Petri nets and resolution rules
