288 search results - page 36 / 58 » The Denotational Semantics of slotted-Circus |
ARGMAS
2004
Springer
14 years 2 months ago
2004
Springer
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...
INLG
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents the experiments carried out at Jadavpur University as part of the participation in the GREC Named Entity Generation Challenge 2010. The Baseline system is base...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
IFL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...