5198 search results - page 78 / 1040 » A Logic of Agent Programs |
155
click to vote
PROMAS
2005
Springer
15 years 11 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...
151
click to vote
PROMAS
2005
Springer
15 years 11 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...
123
click to vote
ATAL
2005
Springer
15 years 11 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...
151
click to vote
JFLP
2002
15 years 5 months ago
2002
We consider prescriptive type systems for logic programs (as in G
197
click to vote
AGP
2010
IEEE
15 years 9 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 ...