![](/img/cover-not-exists.png)
An incremental answer set programming based system for finite model computation
Gebser, Martin, Sabuncu, Orkunt, Schaub, TorstenVolume:
24
Year:
2011
Journal:
AI Communications
DOI:
10.3233/aic-2011-0496
File:
PDF, 195 KB
2011