Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Abstract— Cooperative manipulation with multiple, independent agents can be complicated by changing dynamics as the agents come in and out of contact with the object they are man...
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat,...
Semantic systems for the representation of declarative knowledge are usually unconnected to neurobiological mechanisms in the brain. In this paper we report on efforts to bridge t...
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...