When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system be...
Behavior-based artificial intelligent system is to derive the complicated behaviors by selecting appropriate one from a set of basic behaviors. Many robot systems have used behavi...
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
J. Pikoulas, William J. Buchanan, Mike Mannion, K....
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...