292 search results - page 51 / 59 » Model-checking agent refinement |
AAAI
2000
13 years 8 months ago
2000
As applications for artificially intelligent agents increase in complexity we can no longer rely on clever heuristics and hand-tuned behaviors to develop their programming. Even t...
IVA
2007
Springer
14 years 1 months ago
2007
Springer
Since the beginning of the SAIBA effort to unify key interfaces in the multi-modal behavior generation process, the Behavior Markup Language (BML) has both gained ground as an impo...
IDEAL
2004
Springer
14 years 23 days ago
2004
Springer
It is indispensable that the users surfing on the Internet could have web pages classified into a given topic as correct as possible. Toward this ends, this paper presents a topic-...
BIRTHDAY
2007
Springer
13 years 11 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...
ICCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...