5198 search results - page 185 / 1040 » A Logic of Agent Programs |
159
click to vote
PROMAS
2005
Springer
15 years 10 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
161
click to vote
GECCO
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents the emergence of the cooperative behavior for multiple agents by means of Genetic Programming (GP). For the purpose of evolving the effective cooperative behav...
118
click to vote
AAAI
2004
15 years 5 months ago
2004
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible ...
141
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
126
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...