8468 search results - page 378 / 1694 » Intelligent agents in e-services |
203
click to vote
AUSAI
2005
Springer
16 years 1 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
208
click to vote
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
196
click to vote
ESAW
2006
Springer
15 years 11 months ago
2006
Springer
Electronic institutions (EIs) have been proposed as a means of regulating open agent societies. EIs define the rules of the game in agent societies by fixing what agents are permit...
184
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Faced with the ongoing evolution of software agents from mere passive tools to e-tailers acting autonomously for their human owners (principals), new legal challenges appear on th...
226
click to vote
CCIA
2008
Springer
15 years 9 months ago
2008
Springer
Agents are situated autonomous entities that perceive and act in their environment, and communicate with other agents. An agent usually starts a conversation by querying another a...