Implementing semantic merging operators using binary decision diagrams (Q2379333)

From MaRDI portal
Revision as of 07:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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