Next: Marco Cadoli
Up: Discussion and remarks from
Previous: Discussion and remarks from
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