An efficient reasoning method on logic programming using partial evaluation in vector spaces (Q3382822)

From MaRDI portal





scientific article
Language Label Description Also known as
English
An efficient reasoning method on logic programming using partial evaluation in vector spaces
scientific article

    Statements

    An efficient reasoning method on logic programming using partial evaluation in vector spaces (English)
    0 references
    22 September 2021
    0 references
    logic programming
    0 references
    linear algebra
    0 references
    optimization
    0 references
    partial evaluation
    0 references
    vector spaces
    0 references

    Identifiers