Connecting Width and Structure in Knowledge Compilation

    ICDT, 2018.

    Cited by: 5|Bibtex|Views2|Links
    EI

    Abstract:

    Several query evaluation tasks can be done via knowledge compilation: the query result is compiled as a lineage circuit from which the answer can be determined. For such tasks, it is important to leverage some width parameters of the circuit, such as bounded treewidth or pathwidth, to convert the circuit to structured classes, e.g., deter...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments