Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers (Q4989322)

From MaRDI portal
scientific article; zbMATH DE number 7350689
Language Label Description Also known as
English
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
scientific article; zbMATH DE number 7350689

    Statements

    Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers (English)
    0 references
    0 references
    25 May 2021
    0 references
    probabilistic reasoning
    0 references

    Identifiers