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

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

By Pierret-Golbreich C.  

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

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