Now showing items 1-1 of 1

  • What should an ASP solver output? A multiple position paper 

    Polleres, Axel (May, 2007)
    This position paper raises some issues regarding the output of solvers for Answer Set Programming and discusses experiences made in several different settings. The first set of issues was raised in the context of the ...