- Tytuł:
- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
- Autorzy:
-
Liu, G.
You, J-H. - Data publikacji:
- 2010
- Słowa kluczowe:
-
logic programs
answer sets
weight constraints
aggregates
loop formulas - Pokaż więcej
- Dostawca treści:
- BazTech