KNOWLEDGE-BASED MODELING AND NATURAL COMPUTING FOR COORDINATION IN PERVASIVE ENVIRONMENTS Topics: Coordination in Multi-Agent Systems; Verification and Validation of Knowledge-Based Systems In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 1: ICEIS, 99-106, 2006 , Paphos, Cyprus