Sciweavers

285 search results - page 12 / 57
» Game Semantics and Subtyping
Sort
View
IJCNN
2008
IEEE
14 years 1 months ago
Knowledge representation and acquisition for large-scale semantic memory
Abstract—Acquisition and representation of semantic concepts is a necessary requirement for the understanding of natural languages by cognitive systems. Word games provide an int...
Julian Szymanski, Wlodzislaw Duch
IAT
2009
IEEE
13 years 11 months ago
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
Thomas Lukasiewicz, Azzurra Ragone
FOSSACS
2004
Springer
14 years 26 days ago
A Game Semantics of Local Names and Good Variables
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
James Laird
ENTCS
2008
97views more  ENTCS 2008»
13 years 7 months ago
Global State Considered Helpful
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...
Paul Blain Levy
ENTCS
2007
95views more  ENTCS 2007»
13 years 7 months ago
Handshake Games
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
Luca Fossati