197 search results - page 30 / 40 » Planning-Based Control of Software Agents |
ICSE
2000
IEEE-ACM
14 years 2 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
MA
2000
Springer
14 years 2 months ago
2000
Springer
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...
AGENTS
1997
Springer
14 years 3 months ago
1997
Springer
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...
COMPSAC
2007
IEEE
14 years 5 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
FOSSACS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...