The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge (Q4332087)

From MaRDI portal
scientific article; zbMATH DE number 984261
Language Label Description Also known as
English
The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge
scientific article; zbMATH DE number 984261

    Statements

    The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge (English)
    0 references
    0 references
    27 February 1997
    0 references
    0 references
    Knowledge Representation
    0 references
    Part-whole
    0 references
    Interaction between Part-whole and Specialisation
    0 references
    Ontology
    0 references
    Typed Lambda Calculus
    0 references
    Ecological Modelling
    0 references
    Simulation
    0 references