Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 47
Number of items: 47
  • 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.
  • 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.
  • 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
  • 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
  • Aben, M. W. M. M. (1995). Formal Methods in Knowledge Engineering. [Thesis, fully internal, Universiteit van Amsterdam].
  • van Harmelen, F. A. H., & Fensel, D. (1995). Formal Methods in Knowledge Engineering. Knowledge Engineering Review, 10(4), 15-25.
  • ten Teije-Koppen, A. C. M., & van Harmelen, F. A. H. (1995). Using reflection techniques for flexibel problem solving, with examples from diagnosis. In M. Ibrahim (Ed.), Proceedings of the IJCAI'95 Workshop on Reflection and Metalevel Architecture and their Applications in AI (pp. 149-157). IJCAII.
Page 3 of 5