A methodology to incorporateformal methods in hybrid KBS verification

ISSN： 1071-5819

Source： International Journal of Human-Computer Studies, Vol.44, Iss.2, 1996-02, pp. : 213-244

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Inverse verification of problem-solving methods

By Fensel D. Scho¨negge A.

International Journal of Human-Computer Studies, Vol. 49, Iss. 4, 1998-10 ,pp. : 339-361

Academic Press

Access to resources Recommend Favorite

On development of the methodology of statistical methods

By Orlov A.

Journal of Mathematical Sciences, Vol. 127, Iss. 4, 2005-06 ,pp. : 2119-2124

Springer Publishing Company

Access to resources Recommend Favorite

Numerical Verification Methods for Solutions of the Free Boundary Problem

By Hashimoto Kouji

Numerical Functional Analysis and Optimization, Vol. 26, Iss. 4-5, 2005-01 ,pp. : 523-542

Taylor & Francis Ltd

Access to resources Recommend Favorite

Using explicit ontologies in KBS development

By van Heijst G. Schreiber A.T. Wielinga B.J.

International Journal of Human-Computer Studies, Vol. 46, Iss. 2, 1997-02 ,pp. : 183-292

Academic Press

Access to resources Recommend Favorite

Two Modified Hybrid Conjugate Gradient Methods Based on a Hybrid Secant Equation

By Babaie-Kafaki Saman

Mathematical Modelling and Analysis, Vol. 18, Iss. 1, 2013-02 ,pp. : 32-52

Taylor & Francis Ltd

Access to resources Recommend Favorite