On the completeness of incidence calculus
From MaRDI portal
Publication:1923826
DOI10.1007/BF00252181zbMath0860.68101OpenAlexW2091355188MaRDI QIDQ1923826
S. K. M. Wong, Lusheng Wang, Y. Y. Yao
Publication date: 13 April 1997
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00252181
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Cites Work
This page was built for publication: On the completeness of incidence calculus