Author： Yamamoto Yoshitaka Inoue Katsumi Iwanuma Koji
Publisher： Springer Publishing Company
ISSN： 0885-6125
Source： Machine Learning, Vol.86, Iss.1, 2012-01, pp. : 115-139
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
Using induction and rewriting to verify and complete parameterized specifications
By Bouhoula A.
Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. :
Access to resources
Recommend
AUGMENTING SUBSUMPTION PROPAGATION IN DISTRIBUTED DESCRIPTION LOGICS
Applied Artificial Intelligence, Vol. 24, Iss. 1-2, 2010-01 ,pp. :
Fast Theta-Subsumption with Constraint Satisfaction Algorithms
Machine Learning, Vol. 55, Iss. 2, 2004-05 ,pp. :