An incremental answer set programming based system for finite model computation
Martin Gebser, Orkunt Sabuncu, Torsten H. Schaub · AI Communications · 2011
We address the problem of Finite Model Computation (FMC) of first-order theories and show that FMC can efficiently and transparently be solved by taking advantage of a recent extension of Answer Set Programming (ASP), called incremental Answer Set Pr