...remarked
At the thirteenth international workshop on distributed AI.

...of
Note, however, that the sentence (5) is itself a proposition, in that its denotation is the value or .

...Kripke
In Hintikka's original work, he used a technique based on `model sets', which is equivalent to Kripke's formalism, though less elegant. See [Hughes and Cresswell, 1968] for a comparison and discussion of the two techniques.

...poker
This example was adapted from [Halpern, 1987].

...architecture
It is worth noting that Ferguson's thesis gives an excellent overview of the problems and issues associated with building rational, resource-bounded agents. Moreover, the description given of the TOURINGMACHINES architecture is itself extremely clear. We recommend it as a point of departure for further reading.

...project
Not to be confused with the OZ programming language [Henz et al., 1993].

mikew@mutley.doc.aca.mmu.ac.uk
Fri Nov 4 16:03:55 GMT 1994