evolp/r
Logic Program Updates System
...Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR-19), Springer LNCS ARCoSS series, December 15-19, Stellenbosch, South Africa, 2013.
Slides: http://goo.gl/w02Txv
Audio Talk: http://goo.gl/oRjCfQ