Sciweavers

288 search results - page 1 / 58
» Nominal Game Semantics
Sort
View
FOSSACS
2009
Springer
13 years 11 months ago
Full Abstraction for Reduced ML
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
Andrzej S. Murawski, Nikos Tzevelekos
CSL
2009
Springer
13 years 11 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
AI
2007
Springer
13 years 11 months ago
Rethinking the Semantics of Complex Nominals
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
Nabil Abdullah, Richard A. Frost
IPM
2010
128views more  IPM 2010»
13 years 3 months ago
A knowledge-rich approach to identifying semantic relations between nominals
This paper describes a supervised, knowledge-intensive approach to the automatic identification of semantic relations between nominals in English sentences. The system employs di...
Roxana Girju, Brandon Beamer, Alla Rozovskaya, A. ...
ACL
2008
13 years 6 months ago
Classification of Semantic Relationships between Nominals Using Pattern Clusters
There are many possible different semantic relationships between nominals. Classification of such relationships is an important and difficult task (for example, the well known nou...
Dmitry Davidov, Ari Rappoport