Learn More
Game Logic GL, introduced in 188, is examined from a game-theoretic perspective. A new semantics for GL is proposed in terms of untyped games which are closely related to extensive game forms of perfect information. An example is given of how GL can be used as a formal model of game situations, and some metatheoretic results are presented in the context of(More)
This paper presents an approach to designing a file manager for speech interfaces. Speech interfaces are those which primarily use speech recognition and synthesis for interacting with the user for input and output. The present system used in various graphical user interface (GUI) operating systems for file managers is based on the 'What you see is what you(More)
Game Logic (GL), introduced in 18], is examined from a game-theoretic perspective. A new semantics for GL is proposed in terms of untyped games which are closely related to extensive game forms of perfect information. An example is given of how GL can be used as a formal model of game situations, and some metatheoretic results are presented in the context(More)
  • 1