OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.

Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl

Browse the full JELIA paper archive.