

Author: Rosen Tzachi
Publisher: Springer Publishing Company
ISSN: 1012-2443
Source: Annals of Mathematics and Artificial Intelligence, Vol.40, Iss.3-4, 2004-03, pp. : 403-425
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


Nonmonotonic reasoning: from complexity to algorithms
By Cayrol C.
Annals of Mathematics and Artificial Intelligence, Vol. 22, Iss. 3-4, 1998-01 ,pp. :


On the Complexity of Reasoning in Kleene Algebra
By Kozen D.
Information and Computation, Vol. 179, Iss. 2, 2002-12 ,pp. :


Propositional lower bounds: Algorithms and complexity
By Cadoli M.
Annals of Mathematics and Artificial Intelligence, Vol. 27, Iss. 1-4, 1999-01 ,pp. :

