A model building framework for answer set programming with external computations

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller. A model building framework for answer set programming with external computations. TPLP, 16(4):418-464, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.