3514 search results - page 316 / 703 » Transportable Information Agents |
172
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
205
click to vote
ATAL
2004
Springer
16 years 29 days ago
2004
Springer
CHRISTIAN, DAVID B. Strategic Deception in Agents. (Under the direction of Assistant Professor R. Michael Young). Despite its negative ethical connotations, deception is a useful ...
189
click to vote
AGENTS
1999
Springer
15 years 12 months ago
1999
Springer
A critical challenge to creating effective agent-based systems is allowing them to operate effectively when the operating environment is complex, dynamic, and error-prone. In this...
168
click to vote
IAT
2008
IEEE
16 years 2 months ago
2008
IEEE
The reason for using distributed constraint satisfaction algorithms is often to allow agents to find a solution while revealing as little as possible about their variables and co...
163
click to vote
IAT
2008
IEEE
16 years 2 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...