Professor of Artificial Intelligence, Amsterdam Free University. Specialism: development of methods to make human knowledge available in computer format. The main challenge at present is the construction of the “Semantic Web”, the interaction of computers with the Web. Personal website: Hoogleraar Kunstmatige Intelligentie, Vrije Universiteit Amsterdam. Gespecialiseerd in methoden om menselijke kennis beschikbaar te maken in computer formaat. De grootste uitdaging op zijn vakgebied op het moment is de constructie van een “Semantisch Web”: computers laten redeneren met de inhoud van het Web. Persoonlijke website:

Recent Submissions

  • Expertise-based peer selection in Peer-to-Peer networks 

    Haase, Peter; Siebes, Ronny; Harmelen, Frank van (Springer, 2007-12-04)
    Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destination peer in the first place is not always ...
  • Experiments with proof plans for induction 

    Harmelen, F.A.H. van; Hesketh, J; Bundy, A.; Smaill, A (Reidel, 1991)
  • Approximations in diagnosis: motivations and techniques 

    Harmelen, F.A.H. van; Teije, A. ten (1995)
    We argue that diagnosis should not be seen as solving a problem with a unique definition, but rather that there exists a whole space of reasonable notions of diagnosis. These notions can be seen as mutual approximations. ...
  • A model of costs and benefits of meta-level computation 

    Harmelen, F.A.H. van (Springer-Verlag, 1994)
    It is well known that meta-computation can be used to guide other computations (at the object-level), and thereby reduce the costs of these computations. However, the question arises to what extent the cost of meta-computation ...
  • Definable naming relations in meta-level systems 

    Harmelen, F.A.H. van (Springer-Verlag, 1992)
    Meta-level architectures are always, implicitly or explicitly, equipped with a component that establishes a relation between their object- and meta-level layers. This so-called naming relation has been a neglected part of ...
  • Computing approximate diagnoses by using approximate entailment 

    Teije, A. ten; Harmelen, F.A.H. van (1996)
    The most widely accepted models of diagnostic reasoning are all phrased in terms of the logical consequence relations. In work in recent years, Schaerf and Cadoli have proposed efficient approximations of the classical ...
  • Formal Methods in Knowledge Engineering 

    Harmelen, F.A.H. van; Fensel, D. (1995)
    This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use of formal methods. ...
  • A comparison of languages which operationalise and formalise {KADS} models of expertise 

    Fensel, D.; Harmelen, F.A.H. van (1994)
    In the field of Knowledge Engineering, dissatisfaction with the rapid-prototyping approach has led to a number of more principled methodologies for the construction of knowledge-based systems. Instead of immediately ...
  • (ML)2: a formal language for KADS models of expertise 

    Harmelen, F.A.H. van; Balder, J.R. (1992)
    This paper reports on an investigation into a formal language for specifying KADS models of expertise. After arguing the need for and the use of such formal representations, we discuss each of the layers of a KADS model ...
  • Structure preserving specification languages for knowledge-based systems 

    Harmelen, F.A.H. van; Aben, M. (1996)
    Much of the work on validation and verification of knowledge based systems (KBSs) has been done in terms of implementation languages (mostly rule-based languages). Recent papers have argued that it is advantageous to do ...
  • Exploiting domain knowledge for approximate diagnosis 

    Teije, A. ten; Harmelen, F.A.H. van (1997)
    The AI literature contains many definitions of diagnostic reasoning most of which are defined in terms of the logical entailment relation. We use existing work on approximate entailment to define notions of approximation ...
  • Controlling generate & test in any time 

    Coulon, C.; Harmelen, F.A.H. van; Karbach, W.; Voss, A. (Springer-Verlag, 1993)
    Most problem solvers have a one-dimensional stop criterion: compute the correct and complete solution. Incremental algorithms can be interrupted at any time, returning a result that is more accurate the more time has been ...
  • Evaluating a formal KBS specification language 

    Harmelen, F.A.H. van; Aben, Manfred; Ruiz, Fidel; Plassche, Joke van de (1996)
    In recent years, the knowledge engineering community has begun to explore formal specification languages as a tool in the development of knowledge-based systems. These formal knowledge modelling languages have a number of ...
  • Using reflection techniques for flexible problem solving (with examples from diagnosis) 

    Teije, A. ten; Harmelen, F.A.H. van (1996)
    Flexible problem solving consists of the dynamic selection and configuration of problem solving methods for a particular problem type, depending on the particular problem and the goal of problem solving. In this paper, ...
  • A Purpose Driven Method for Language Comparison 

    Brazier, F.M.; Harmelen, F.A.H. van; Straatman, R.; Treur, J.; Wijngaards, N.J.E.; Willems, M. (1996)
  • Evaluating a Formal Specification Language 

    Ruiz, F.; Harmelen, F.A.H. van; Aben, M.; Plassche, J. van de (Springer-Verlag, 1994)
    Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive properties through formal proofs. However, these formal languages also ...
  • Using domain knowledge to select solutions in abductive diagnosis 

    Harmelen, F.A.H. van; Teije, A. ten (1994)
    This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how preferences among multiple causes of a given state can ...
  • Explanation Based Generalisation = Partial Evaluation 

    Harmelen, F.A.H. van; Bundy, A. (1988)
    We argue that explanation-based generalisation as recently proposed in the machine learning literature is essentially equivalent to partial evaluation, a well known technique in the functional and logic programming literature. ...
  • Specification of Dynamics for Knowledge-Based Systems 

    Eck, Pascal van; Engelfriet, Joeri; Fensel, Dieter; Harmelen, F.A.H. van; Venema, Yde; Willems, Mark (Springer Verlag, 1998)
    During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses ...
  • An extended spectrum of logical definitions for diagnostic sytems 

    Teije, A. ten; Harmelen, F.A.H. van (1994)
    The goal of this work is to develop a single uniform theory, which enables us to describe many different diagnostic systems. We will give a general definition of diagnostic systems. Our claim is that a large number of ...

View more