Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 47
Number of items: 47
  • ten Teije, A., & van Harmelen, F. A. H. (1996). Examples of approximations in diagnosis based on approximate enteilment. In S. Abu-Hakima (Ed.), Seventh International Workshop on Principles of Diagnosis(DX-96) (pp. 239-248). National Research Council of Canada.
  • ten Teije, A., & van Harmelen, F. A. H. (1996). Computing approximate diagnoses by using approximate entailment. In J. Doyle, & G. Aiello (Eds.), Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96) (pp. 23-33). Morgan Kaufman.
  • ten Teije, A., & van Harmelen, F. A. H. (1996). Computing approximate diagnoses by using approximate entailment. In L. C. van der Gaag, & J. C. Meyer (Eds.), Proceedings of the Dutch AI Conference 1996 (pp. 333-344). NAIC, Universiteit van Utrecht.
  • Benjamins, V. R., van Harmelen, F. A. H., & Wijngaards, N. (1996). KEML-96 workshop verslag. In E. Postma (Ed.), NVKI Nieuwsbrief (pp. 19-21). (13; No. 1). SION.
  • Benjamins, V. R., van Harmelen, F. A. H., & Wijngaards, N. (1996). Summary of the KEML-96 workshop. In J. Fox (Ed.), Knowledge Engineering Review (pp. 193-195). (11; No. 2).
  • Fensel, D., Straatman, R., & van Harmelen, F. A. H. (1996). The Mincer Metaphor for Problem-Solving Methods: Making Assumptions for Reasons of Efficiency. In C. Pierret-Golbreich (Ed.), Proceedings of the Knowledge Engineering: Methods and Languages Workshop (KEML _ 96) (pp. 2-38). University of Paris-Sud.
  • ten Teije, A., & van Harmelen, F. A. H. (1996). Using reflection techniques for flexible problem solving. Future Generation Computer Systems, 12, 217-234. https://doi.org/10.1016/0167-739X(96)88794-2
  • Aben, M. W. M. M. (1995). Formal Methods in Knowledge Engineering. [Thesis, fully internal, Universiteit van Amsterdam].
  • Moisan, S., Vincent, R., van den Elst, J., & van Harmelen, F. A. H. (1995). Towards an intelligent failure handling mechanism in program supervision. In M. Thonnat (Ed.), Proceedings of the 1st International Workshop on Knowledge Based systems for the (re)Use of Program Libraries (pp. 109-118). INRIA.
  • van Harmelen, F. A. H., & Fensel, D. (1995). Formal Methods in Knowledge Engineering. Knowledge Engineering Review, 10(4), 15-25.
Page 3 of 5