Level mapping induced loop formulas for weight constraint and aggregate logic programs (Q5894196)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5870684
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Level mapping induced loop formulas for weight constraint and aggregate logic programs |
scientific article; zbMATH DE number 5870684 |
Statements
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs (English)
0 references
28 March 2011
0 references
logic programs
0 references
answer sets
0 references
weight constraints
0 references
aggregates
0 references
loop formulas
0 references
0.9999979138374328
0 references
0.968234121799469
0 references
0.7791842818260193
0 references
0.7750644683837891
0 references
