Next: Statements of the panelists
Up: Panel ``Methodology of Answer
Previous: Panel ``Methodology of Answer
In the beginning of the panel, Vladimir Lifschitz raised the following four
questions on the methodology of Answer Set Programming:
- How do we write provably correct answer set programs?
- How do we optimize answer set programs?
When we start developing an answer set program: Is it necessary
to decide beforehand which solver we use?
- What is the relations between ASP and Prolog programming?