On requirements representation and reasoning using answer set programming.

Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa

Browse the full RE paper archive.