next up previous
Next: Marco Cadoli Up: Discussion and remarks from Previous: Discussion and remarks from

L.M. Pereira

shares views with J.J. Alferes. ASP should be integrated into ``standard" LP systems to get the best out of the two worlds. He mentions problems with infinite grounding and that interpreters are missing and problematic to produce. Top-down is not feasible for ASP.

For abduction there is the problem that it is usually encoded in ASP as an even loop, therefore relevance is not guaranteed. Magic Sets can be used, but only to a certain degree. Finally he identifies a problem with odd loops, especially with respect to updates. Proposes an alternative semantics termed ``revised stable models''.



Stefan Woltran 2005-08-22