776 search results - page 114 / 156 » Using Semantics to Improve the Design of Game Worlds |
150
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
276
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
167
click to vote
AAMAS
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
156
Voted
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
168
click to vote
MPC
2010
Springer
15 years 10 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...