Author: Roddick Fei Liu John
Publisher: Inderscience Publishers
ISSN: 1755-4950
Source: International Journal of Artificial Intelligence and Soft Computing, Vol.2, Iss.4, 2011-09, pp. : 334-352
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
Counting for Satisfiability by Inverting Resolution
Artificial Intelligence Review, Vol. 22, Iss. 4, 2004-12 ,pp. :
Legitimacy and the Virtualization of Dispute Resolution
Artificial Intelligence and Law, Vol. 13, Iss. 2, 2005-06 ,pp. :
Meta-resolution: An algorithmic formalisation
Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. :
Theorem proving by chain resolution
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :
Automated Resolution of Singularities for Hypersurfaces
Journal of Symbolic Computation, Vol. 30, Iss. 4, 2000-10 ,pp. :