328 search results - page 32 / 66 » aaai 2008 |
AAAI
2008
14 years 1 days ago
2008
A contract algorithm is an algorithm which is given, as part of its input, a specified amount of allowable computation time. In contrast, interruptible algorithms may be interrupt...
AAAI
2008
14 years 1 days ago
2008
We introduce in this paper two new, complete propositional languages and study their properties in terms of (1) their support for polytime operations and (2) their ability to repr...
AAAI
2008
13 years 11 months ago
2008
Traditionally, only “individual-independent” facts are inputted to a reasoner. The reasoner will produce the same answer to the same question, regardless of who the questioner...
AAAI
2008
14 years 1 days ago
2008
We present the design of a banner advertising auction which is considerably more expressive than current designs. We describe a general model of expressive ad contracts/bidding an...
AAAI
2008
14 years 1 days ago
2008
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...