If you made any changes in Pure these will be visible here soon.

Research Output 1988 2020

1997

Validation and verification of conceptual models of diagnosis

van Harmelen, F. A. H. & ten Teije, A., 1997, Validation and verification of conceptual models of diagnosis. p. 117-128

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
1996

A Purpose Driven Method for Language Comparison

Brazier, F. M., van Harmelen, F. A. H., Straatman, R., Treur, J., Wijngaards, N. J. E. & Willems, M., 1996, Advances in Knowledge Acquisition - 9th European Knowledge Acquisition Workshop, EKAW 1996, Proceedings. Shadbolt, N., O'Hara, K. & Schreiber, A. T. (eds.). Springer/Verlag, Vol. 1076. p. 66-81 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1076).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Knowledge engineering
Linguistics
Decomposition
Knowledge Engineering
Comparison Method

Computing approximate diagnoses by using approximate entailment

ten Teije, A. & van Harmelen, F. A. H., 1996, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning ({KR'96}). p. 265-256

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Computing
Approximation
Parameterise
Diagnostics
Efficient Algorithms

Evaluating a formal KBS specification language

van Harmelen, F. A. H., Aben, M., Ruiz, F. & van de Plassche, J., Feb 1996, In : IEEE expert. 11, 1, p. 56-62 7 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Specification languages
Knowledge based systems
Formal languages

Structure preserving specification languages for knowledge-based systems

van Harmelen, F. A. H. & Aben, M., Feb 1996, In : International Journal of Human-computer Studies. 44, 2, p. 187-212 26 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Specification languages
knowledge-based system
Knowledge based systems
Language
system development

Summary of the KEML'96 workshop

Benjamins, R., van Harmelen, F. A. H. & Wijngaards, N. J. E., 1996, In : Knowledge Engineering Review. 11, 2, p. 193-195 3 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Using reflection techniques for flexible problem solving (with examples from diagnosis)

ten Teije, A. & van Harmelen, F. A. H., Sep 1996, In : Future Generation Computer Systems. 12, 2-3, p. 217-234 18 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
1995

Approximations in diagnosis: motivations and techniques

van Harmelen, F. A. H. & ten Teije, A., 1995, Proceedings of the Symposium on Abstraction, Reformulation and Approximation, (\uc{SARA}'95).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Motivation

Formal Methods in Knowledge Engineering

van Harmelen, F. A. H. & Fensel, D., Dec 1995, In : Knowledge Engineering Review. 10, 4, p. 345-360 16 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Knowledge engineering
Formal methods
1994

A comparison of languages which operationalise and formalise {KADS} models of expertise

Fensel, D. & van Harmelen, F. A. H., Jun 1994, In : Knowledge Engineering Review. 9, 2, p. 105-146 42 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Rapid prototyping
Knowledge engineering
Formal languages
Specification languages
Bibliographies

A model of costs and benefits of meta-level computation

van Harmelen, F. A. H., 1994, Proceedings of the Fourth Workshop on Meta-programming in Logic ({META'94}). Springer-Verlag, p. 248-261

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Costs

An extended spectrum of logical definitions for diagnostic sytems

ten Teije, A. & van Harmelen, F. A. H., 1994, Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
consoles

Evaluating a Formal Specification Language

Ruiz, F., van Harmelen, F. A. H., Aben, M. & van de Plassche, J., 1994, A Future for Knowledge Acquisition Proc. 8th EKAW. Springer-Verlag, p. 26-45

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Specification languages
Formal languages
Formal specification
Modeling languages

Using domain knowledge to select solutions in abductive diagnosis

van Harmelen, F. A. H. & ten Teije, A., 1994, Proceedings of {ECAI}'94. p. 652-656

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
1993

A KADS/(ML)2 model of a scheduling task

Balder, J., van Harmelen, F. A. H. & Aben, M., 1993, Formal Specification of Complex Reasoning Systems. Ellis Horwood, p. 15-44

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

Open Access
File
Knowledge engineering
Scheduling

Comparing Formal Specification Languages for Complex Reasoning Systems

van Harmelen, F., Lopez de Mantaras, R., Malec, J. & Treur, J., 1993, Formal Specification of Complex Reasoning Systems. Treur, J. & Wetter, T. (eds.). Ellis Horwood, p. 257-282 26 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Controlling generate & test in any time

Coulon, C., van Harmelen, F. A. H., Karbach, W. & Voss, A., 1993, Proceedings of the German Workshop on AI (GWAI'92). Springer-Verlag, p. 304-306

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Managers
1992

(ML)2: a formal language for KADS models of expertise

van Harmelen, F. A. H. & Balder, J. R., 1992, KADS: A Principled Approach to Knowledge-Based System Development. p. 127-161

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Formal languages

(ML)2: a formal language for KADS models of expertise (short version)

van Harmelen, F. A. H. & Balder, J., 1992, Proceedings of the Tenth European Conference on AI (ECAI'92). p. 582-586

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File

Definable naming relations in meta-level systems

van Harmelen, F. A. H., 1992, Proceedings of the Third Workshop on Meta-programming in Logic ({META'92}). Springer-Verlag, p. 89-104

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Open Access
File
Syntactics
Semantics

Knowledge-Level Reflection

van Harmelen, F. A. H., Wielinga, B. J., Bredeweg, B., Schreiber, G., Karbach, W., Reinders, M., Voss, A., Akkermans, H., Bartsch-Spoerl, B. & Vinkhuyzen, E., 1992.

Research output: Working paperAcademic

Open Access
File
Reflective
Experiment
1991

Experiments with proof plans for induction

van Harmelen, F. A. H., Hesketh, J., Bundy, A. & Smaill, A., 1991, In : Journal of Automated Reasoning. 7, p. 303-324

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
1988

Explanation Based Generalisation = Partial Evaluation

van Harmelen, F. A. H. & Bundy, A., Oct 1988, In : Artificial Intelligence. 36, 3, p. 401-412 12 p.

Research output: Contribution to JournalArticleAcademic

Open Access
File
Functional programming
Logic programming
Learning systems
logic
equivalence