Answer-Set Programming in Requirements Engineering

Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski. Answer-Set Programming in Requirements Engineering. In Camille Salinesi, Inge van de Weerd, editors, Requirements Engineering: Foundation for Software Quality - 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Volume 8396 of Lecture Notes in Computer Science, pages 168-183, Springer, 2014. [doi]

Abstract

Abstract is missing.