- Tytuł:
- Look-back Techniques for ASP Programs with Aggregates
- Autorzy:
-
Faber, W.
Leone, N.
Maratea, M.
Ricca, F. - Data publikacji:
- 2011
- Słowa kluczowe:
-
Knowledge Representation and Reasoning
non-monotonic reasoning
answer set programming
heuristics
aggregates - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł