Verifiable agent interaction in abductive logic programming (Q5277818)

From MaRDI portal
scientific article; zbMATH DE number 6744069
Language Label Description Also known as
English
Verifiable agent interaction in abductive logic programming
scientific article; zbMATH DE number 6744069

    Statements

    Verifiable agent interaction in abductive logic programming (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    12 July 2017
    0 references
    abductive logic programming
    0 references
    IFF proof procedure
    0 references
    SCIFF
    0 references
    SOCS (societies of computees)
    0 references
    agent interaction protocols
    0 references
    declarative semantics
    0 references
    formal properties
    0 references
    proof-procedures
    0 references

    Identifiers

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