Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs (Q5892566)

From MaRDI portal
scientific article; zbMATH DE number 5907500
Language Label Description Also known as
English
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
scientific article; zbMATH DE number 5907500

    Statements

    Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs (English)
    0 references
    0 references
    0 references
    14 June 2011
    0 references
    logic programs
    0 references
    answer sets
    0 references
    weight constraints
    0 references
    aggregates
    0 references
    loop formulas
    0 references

    Identifiers