Supporting organization and use of problem-solving methods libraries by a formal approach

ISSN： 1071-5819

Source： International Journal of Human-Computer Studies, Vol.49, Iss.4, 1998-10, pp. : 471-495

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

Editorial: problem-solving methods

By Benjamins V.R. Fensel D.

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

Academic Press

Access to resources Recommend Favorite

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

Construction of problem-solving methods as parametric design

By Ten Teije A. van Harmelen F. Schreiber A.T. Wielinga B.J.

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

Academic Press

Access to resources Recommend Favorite

A library of system-derived problem-solving methods for planning

By Valente A. Benjamins V.R. de Barros L.N.U.N.E.S.

International Journal of Human-Computer Studies, Vol. 48, Iss. 4, 1998-04 ,pp. : 417-447

Academic Press

Access to resources Recommend Favorite

Applying a library of problem-solving methods on a real-life task

By Speel P.H. Aben M.

International Journal of Human-Computer Studies, Vol. 46, Iss. 5, 1997-05 ,pp. : 627-652

Academic Press

Access to resources Recommend Favorite