Automated non-monotonic reasoning in System \textbf{P} (Q2043430)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automated non-monotonic reasoning in System \textbf{P}
scientific article

    Statements

    Automated non-monotonic reasoning in System \textbf{P} (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    2 August 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    non-monotonic reasoning
    0 references
    probabilistic satisfiability
    0 references
    conditional probability
    0 references
    approximate probability
    0 references
    metaheuristics
    0 references
    swarm intelligence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references