Sciweavers

7 search results - page 2 / 2
» A Denotational Semantics for Deliberation Dialogues
Sort
View
ARGMAS
2004
Springer
13 years 10 months ago
A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action
We present the syntax and semantics for a multi-agent dialogue game protocol which permits argument over proposals for action. The protocol, called the Persuasive Argument for Mult...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
FPCA
1995
13 years 8 months ago
Pi-Calculus, Dialogue Games and PCF
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
J. M. E. Hyland, C.-H. Luke Ong