Torsten Schaub

answered the questions as follows:

Ad Q1.

One should care about applications. If they are killer, that's fine. Candidates: Michael Gelfond etal's work for the Space Shuttle. Chitta Baral etal's work in Bioinformatics. This is the way to go: Try to move to application areas in other communities. The ``Guess and Check" Paradigm can often be fruitfully applied there.

N-queens is useful for teaching. Emphasis on visualizations: E.g., Sokoban, Quake (as presented by Alessandro Provetti in the system session before the panel). Wrappers exist around ASP for visualization.

Ad Q3.

there are two directions: ``general high-level language" vs. ``assembler language" (like SAT). The latter is used for encoding other formalisms.

Ad Q4.

Shift from query oriented (Automated Theorem Proving view) to model oriented (Knowledge Representation/SAT view). Working on models is yet to be explored.

Ad Q5.

The ``assembler language" direction gives rise to language extensions. E.g., model checking, Linux configuration (refers to the work at Helsinki University of Technology).

Ad Q6.

ASP is necessary. If it does not stay, it will be re-invented.