J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"A Model-Theoretic Approach to Belief Change in Answer Set Programming";
ACM Transactions on Computational Logic, 14 (2013), 2.
http://dx.doi.org/10.1145/2480759.2480766
Project Head Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung