Search results

    Filter results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 47
Number of items: 47
  • 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.
  • 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.
  • 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.
  • 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