Summary and Impression

In summary, the statements of the panelists and the general discussion have raised the following impressions and observations:

• Language extensions of ASP, and function symbols in particular, seem to be an issue, and should be further explored.

• There is an interest in formal building-block results like splitting set theorem, equality testing, etc which allow to ``engineer'' Answer Set Programs.

• Some researchers, including Michael Gelfond and Hudson Tuner, point out that problem encodings without complete/total information tend to be incorrect. This, of course, challenges common-sense reasoning, and has to be seen in connection with elaboration tolerance.

• The view of ASP as a ``logic'' and formalization of common-sense reasoning is a predominant issue for some researchers, while the full power of ASP as a problem solving paradigm (in the computational sense) is of lesser interest to them.

• Interaction between ASP-Solvers and Prolog systems might be promising, as well as interacting applications.