Inductive inference of monotonic formal systems from positive data (Q749217)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Inductive inference of monotonic formal systems from positive data
scientific article

    Statements

    Inductive inference of monotonic formal systems from positive data (English)
    0 references
    0 references
    0 references
    1991
    0 references
    0 references
    inductive inference
    0 references
    formal languages
    0 references
    logic programs
    0 references
    monotonicity
    0 references
    formal systems
    0 references
    0 references