Implementing semantic merging operators using binary decision diagrams (Q2379333)

From MaRDI portal
Revision as of 21:21, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Implementing semantic merging operators using binary decision diagrams
scientific article

    Statements

    Implementing semantic merging operators using binary decision diagrams (English)
    0 references
    0 references
    0 references
    19 March 2010
    0 references
    0 references
    0 references
    0 references
    0 references
    knowledge merging
    0 references
    knowledge representation
    0 references
    automated reasoning
    0 references