725 search results - page 20 / 145 » Layered Specification of Intelligent Agents |
AAAI
2006
14 years 11 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
BIRTHDAY
2007
Springer
15 years 1 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
90
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
71
Voted
ICWS
2003
IEEE
14 years 11 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
84
Voted
ISUVR
2007
14 years 11 months ago
2007
Abstract— We propose a cognitively motivated vertically layered two-pass agent architecture for realizing responsiveness, reactivity, and pro-activeness of smart objects, smart e...