-
...a good program methodology should allow easy proofs of program correctness and should also incorporate methods for improving program efficiency. we try to achieve...in the framework of the applicative programming style, a language by which one can specify a system of computing agents, which communicate by sending and receiving messages...
-
...multicore architectures and cloud computing, concurrent programming and computation becomes a huge challenge for application developers. distributed environment turns into...systems to build large-scale applications. erlang is an actor-based functional programming language that provides language level elements for concurrency. it has capability of describing...
-
...abstract machine
that generates runs for individual agents with non-deterministic plans. we then introduce agent classes whose communication
primitives are based on deduction. while current communication models are overly expressive with respect to the core agent
models that are used as background theory, communicating agents based on deduction achieve a...
-
...this paper presents an agent-oriented formalism based on logic programming and predicate/transition nets. the problem of moving
philosophers is used as application example. a distributed system is considered as a result of composition of agents, which
are instances of predefined classes. a main objective is to describe dynamic systems of communicating agents.
...
-
...we develop a logical framework for specifying and verifying systems of communicating agents. the framework is based on...and satisfaction of commitments among agents. the description of the interaction protocol and of communicative actions is given in a temporal action theory, and agent programs, when known, can be specified...
-
...this paper presents complexity results for model checking formulae of ctlk (a logic to reason about time and knowledge in multi-agent systems) in concurrent programs. we apply these results to evaluate
the complexity of verifying programs of two model checkers for multi-agent systems: mcmas and verics.
...
-
...homage is an environment for the development of multi agent systems integrating agent and object-oriented programming paradigms and offering two different...to build the body of agents. the agent level allows the development of new agents by defining their brain and...
-
...software architecture and a proposal for a lexicon potentially useful for exchanging efforts in emergent agent technologies. an outline of the...ones, i.e. cognitive simplicity for designing and controlling multi-agent generic dialogues, including human and artificial communication facilities....
-
...this paper presents complexity results for model checking con- current programs against temporal-epistemic formulae. we...evaluate the complexity of verifying programs by means of two model checkers for multi-agent systems: mcmas and verics....
-
...impact (interactive maryland platform for agents collaborating together) provides a platform and environment for agent and software interoperability being developed...legacy code-bases, (ii) allows agents to interact with one another, (iii) allows agents to have a variety of...