Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 47
Number of items: 47
  • van Harmelen, F. A. H. (1994). Report on ECAI'94 Session on automated reasoning: abduction. NVKI Newsletter, 11(4), 93-94.
  • ten Teije-Koppen, A. C. M., & van Harmelen, F. A. H. (1994). An extended spectrum of logical definitions for diagnostic systems. In G. M. Provan (Ed.), Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis (pp. 334-342). University of Pennsylvania.
  • Fensel, D., & van Harmelen, F. A. H. (1994). A comparison of languages which operationalise and formalise KADS models of expertise. Knowledge Engineering Review, 9(2), 105-146. https://doi.org/10.1017/S0269888900006767
  • van Harmelen, F. A. H., & ten Teije-Koppen, A. C. M. (1994). Using domain knowledge to select solutions in abductive diagnosis. In T. Cohn (Ed.), Proceedings of the eleventh European Conference on AI, ECAI-94 (pp. 652-656). John Wiley.
  • van Harmelen, F. A. H. (1994). A model of costs and benefits of meta-level computation. In F. Turini (Ed.), Proceedings of the META'94 Workshop on meta-programming in Logic (pp. 1-13). (LNCS; No. 883). Springer Verlag.
  • Wielinga, B. J., Schreiber, A. T., Jansweijer, W. N. H., Anjewierden, A. A., & van Harmelen, F. A. H. (1994). Framework and formalism for expressing ontologies, Deliverable ESPRIT project P8145, KACTUS/DO1b.1-Framework-1.1-UvA-BW+GS+WJ+AA. Universiteit van Amsterdam.
  • Open Access
    Ruiz, F., van Harmelen, F. A. H., Aben, M. W. M. M., & van de Plassche, J. (1994). Evaluating a formal modelling language. In A. T. Schreiber, L. Steels, & W. Van de Velde (Eds.), A Future for Knowledge Acquisition. Proceedings of the European Knowledge Acquisition Workshop EKAW-94 (pp. 26-45). (Lectures Notes in Artificial Intelligence; No. 867). Springer Verlag.
Page 5 of 5