Author： Qu Y.
Publisher： Elsevier
ISSN： 0167-739X
Source： Future Generation Computer Systems, Vol.20, Iss.1, 2004-01, pp. : 19-26
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Access to resources
Recommend
Knowledge Elicitation and Semantic Representation for the Heterogeneous Web
By Tang H.L.
World Wide Web, Vol. 5, Iss. 3, 2002-01 ,pp. :
A formalization of reasoning not derived from standard predicate logic
By Tseytin G.S.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
基于谓词逻辑的归结原理研究 The Study of Resolution Principle Based on Predicate Logic
By 敖友云
Computer Science and Application, Vol. 01, Iss. 02, 2011-09 ,pp. :
Access to resources
Journal of Experimental & Theoretical Artificial Intelligence, Vol. 13, Iss. 2, 2001-04 ,pp. :