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
14 June 2011
0 references
logic programs
0 references
answer sets
0 references
weight constraints
0 references
aggregates
0 references
loop formulas
0 references
