Michael Cebulla Towards Distributed Reasoning for Behavioral Optimization. 65-74 2006 BICC http://dx.doi.org/10.1007/978-0-387-34733-2_7 conf/ifip10/2006 db/conf/ifip10/bicc2006.html#Cebulla06