Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

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