378 | -- | 417 | Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein. Putting logic-based distributed systems on stable grounds |
418 | -- | 464 | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller. A model building framework for answer set programming with external computations |
465 | -- | 497 | Rémi Brochenin, Marco Maratea, Yuliya Lierler. Disjunctive answer set solvers via templates |
498 | -- | 508 | Wlodzimierz Drabent. On definite program answers and least Herbrand models |