Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber. Incremental Reasoning on Strongly Distributed Multi-agent Systems. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. pages 415-422, IEEE, 2015. [doi]
Abstract is missing.