Agora is a multi-agent platform for facilitating agent communication and implementation of multi-agent systems as well. The software is available on request. Please send an e-mail to peep(at)idi ntnu no, if you would like to evaluate/use the platform.
(Resource-Aware Planning System) RAPS is a planner, which is based on linear logic theorem proving. We intend to use the planner/prover to implement formal aspects of agent systems. Currently we are working towards applying RAPS in Agora in order to extend agents with planning and symbolic negotiation capabilities.