I-DLV-sr: A Stream Reasoning System based on I-DLV (Q5019603)

From MaRDI portal
scientific article; zbMATH DE number 7454772
Language Label Description Also known as
English
I-DLV-sr: A Stream Reasoning System based on I-DLV
scientific article; zbMATH DE number 7454772

    Statements

    I-DLV-sr: A Stream Reasoning System based on I-DLV (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 January 2022
    0 references
    stream reasoning
    0 references
    stream processing
    0 references
    overgrounding
    0 references
    knowledge representation and reasoning
    0 references
    answer set programming
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers