The complexity of reasoning with FODD and GFODD (Q900300)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The complexity of reasoning with FODD and GFODD
scientific article

    Statements

    The complexity of reasoning with FODD and GFODD (English)
    0 references
    0 references
    0 references
    22 December 2015
    0 references
    complexity analysis
    0 references
    polynomial hierarchy
    0 references
    decision diagrams
    0 references
    first-order logic
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references