5198 search results - page 78 / 1040 » A Logic of Agent Programs |
PROMAS
2005
Springer
15 years 4 months ago
2005
Springer
The concepts of autonomous agent and multi-agent system appropriate levels of abstraction for the design, implementation and simulation of many complex, distributed computational s...
PROMAS
2005
Springer
15 years 4 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
JFLP
2002
14 years 11 months ago
2002
We consider prescriptive type systems for logic programs (as in G
130
click to vote
AGP
2010
IEEE
15 years 2 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...