Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 47
Number of items: 47
  • van Harmelen, F. A. H., & ten Teije, A. (1995). Approximations in diagnosis: motivations and techniques. In Y. H. Tan, & C. Bioch (Eds.), Proceedings of the Dutch Conference on AI (pp. 83-92). Erasmus Universiteit.
  • van Harmelen, F. A. H., & Aben, M. W. M. M. (1995). Structure-preserving specification languages for knowledge-based systems (short version). In Y. H. Tan, & C. Bioch (Eds.), Proceedings of the Dutch Conference on AI (pp. 329-338). Erasmus Universiteit.
  • van Harmelen, F. A. H., & ten Teije, A. (1995). Approximations in diagnosis: motivations and techniques. In P. Nayak, & A. Levy (Eds.), Proceedings of SARA-95, Symposium on Abstraction, Reformulation, and Approximation (pp. 149-155). Ville d'Esteral.
  • van den Elst, J., van Harmelen, F. A. H., & Thonnat, M. (1995). Modelling software components for reuse. In D. Hurley, V. Basili, & R. Semmel (Eds.), Proceedings of the Seventh International Conference on Software Engineering and Knowledge Engineering(SEKE) (pp. 350-357). Knowledge Systems Institute.
  • 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.
  • Schreiber, A. T., Wielinga, B. J., Jansweijer, W. N. H., Anjewierden, A. A., & van Harmelen, F. A. H. (1995). The KACTUS view on the 'O' word. In N. Guarino, D. Skuce, & L. Bouchard (Eds.), Proceedings of the IJCAI Workshop on Basic Ontological Issues in Knowledge Sharing (pp. 15/1-15/10). University of Ottawa.
  • Open Access
    van Harmelen, F. A. H., & Aben, M. W. M. M. (1995). Applying rule-base anomalies to KADS inference structures. In R. Gamble (Ed.), Proceedings of the IJCAI 1995 Workshop on Validation and Verification of Knowledge-Based Systems (pp. 35-41). IJCAII.
  • Aben, M. W. M. M., Balder, J., & van Harmelen, F. A. H. (1994). Support for the formalisation and validation of KADS expertise models, Deliverable ESPRIT project P5248 KADS-II/M2/TR/UvA/DM2.6a/1.0. Universiteit van Amsterdam.
  • Aben, M. W. M. M., Fensel, D., van Harmelen, F. A. H., & Willems, M. (1994). Proceedings of the Workshop on Formal methods for Knowledge Engineering, held in conjunction with the European Conference on Artificial Intelligence 1994. Universiteit van Amsterdam.
  • van den Elst, J., van Harmelen, F. A. H., Schreiber, A. T., & Thonnat, M. (1994). A functional specification of reusing software components. In J. Barzding (Ed.), Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering (pp. 374-381). SEKE-94.
Page 4 of 5