Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 48
Number of items: 48
  • 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.
  • 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.
  • 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
  • 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.
  • 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.
Page 3 of 5