Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 47
Number of items: 47
  • van Harmelen, F. A. H., & ten Teije-Koppen, A. C. M. (1997). Validation and verification of conceptual models of diagnosis. In F. van Harmelen, & J. van Thienen (Eds.), Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'97) (pp. 117-128). K.U.L..
  • Renardel de Lavalette, G., Groenboom, R., Rotterdam, E., van Harmelen, F. A. H., ten Teije-Koppen, A. C. M., & de Geus, F. (1997). Formalisation for decision support in anaesthesiology. Artificial Intelligence in Medicine, 11, 189-214. https://doi.org/10.1016/S0933-3657(97)00031-6
  • ten Teije-Koppen, A. C. M. (1997). Automated configuration of problem solving methods in diagnosis. [Thesis, fully internal, Universiteit van Amsterdam]. Faculteit der Psychologie.
  • Renardel de Lavalette, G., Groenboom, R., Rotterdam, E., van Harmelen, F. A. H., ten Teije-Koppen, A. C. M., & de Geus, F. (1997). Formalisation for decision support in anaesthesiology. Artificial Intelligence in Medicine.
  • ten Teije-Koppen, A. C. M., & van Harmelen, F. A. H. (1997). Exploiting domain knowledge for approximate diagnosis. In M. E. Pollack (Ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), Vol. 1 (pp. 454-459). (1). Morgan Kaufmann.
  • Brazier, F., van Harmelen, F. A. H., Straatman, R., Treur, J., Wijngaards, N., & Willems, M. (1997). A purpose-driven method for language comparison. REVISE report-2. Vrije Universiteit.
  • Open Access
    van Harmelen, F. A. H., & Aben, M. W. M. M. (1996). Structure preserving specification languages for knowledgebased systems. International Journal of Human-Computer Studies, 44, 187-212. https://doi.org/10.1006/ijhc.1996.0010
  • van Harmelen, F. A. H., Aben, M. W. M. M., Ruiz, F., & van de Plassche, J. (1996). Evaluating a Formal UBS Specification language. IEEE Expert, 11(1), 56-62.
  • ten Teije, A., van Harmelen, F. A. H., Schreiber, A. T., & Wielinga, B. J. (1996). Construction of problem-solving methods as parametric design. In M. A. Musen, & B. R. Gaines (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (pp. 12.1-12.21). (1). SRDG Publications, University of Calgary.
  • ten Teije, A., & van Harmelen, F. A. H. (1996). Using approximate entailment for diagnostic reasoning. In P. Marquis, E. Gregoire, L. Sais, & P. Siegel (Eds.), Proceedings of the ECAI'96 Workshop, Advances in propopsitional deduction, European Coordinating for AI(ECCAI) (pp. 45-52). University of Economic Sciences.
Page 2 of 5