Questions

In the beginning of the panel, Vladimir Lifschitz raised the following four questions on the methodology of Answer Set Programming:

Q1:

How do we write provably correct answer set programs?

Q2:

How do we optimize answer set programs?

Q3:

When we start developing an answer set program: Is it necessary to decide beforehand which solver we use?

Q4:

What is the relations between ASP and Prolog programming?