A logical method for formalizing abductive reasoning

MaRDI QIDQ2742270zbMATH OpenFDO

Authors Feng Ye, Xiwen Sun, Guoliang Qian, Jiandong Bi

Publication date 20 September 2001

Published in Journal of Harbin Institute of Technology (Search for Journal in Brave)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

This page was built for publication: A logical method for formalizing abductive reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2742270)