Logic-Based Program Synthesis and Transformation: 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Logic-Based Program Synthesis and Transformation: 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected
Advances in Swarm Intelligence: 4th International Conference, Icsi 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I Advances in Swarm Intelligence: 4th International Conference, Icsi 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I