Author: Tseytin G.S.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.224, Iss.1, 1999-08, pp. : 291-317
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Legal reasoning with subjective logic
By Jøsang A.
Artificial Intelligence and Law, Vol. 8, Iss. 4, 2000-12 ,pp. :
Conditional reasoning in logic programming
By Gabbay D. Giordano L. Martelli A. Olivetti N. Sapino M.L.
The Journal of Logic Programming, Vol. 44, Iss. 1, 2000-07 ,pp. :
A predicate-ordered logic for knowledge representation on the web
By Qu Y.
Future Generation Computer Systems, Vol. 20, Iss. 1, 2004-01 ,pp. :
基于谓词逻辑的归结原理研究 The Study of Resolution Principle Based on Predicate Logic
By 敖友云
Computer Science and Application, Vol. 01, Iss. 02, 2011-09 ,pp. :