Sciweavers

288 search results - page 33 / 58
» Nominal Game Semantics
Sort
View
LREC
2008
157views Education» more  LREC 2008»
13 years 11 months ago
AnCora: Multilevel Annotated Corpora for Catalan and Spanish
This paper presents AnCora, a multilingual corpus annotated at different linguistic levels consisting of 500,000 words in Catalan (AnCora-Ca) and in Spanish (AnCora-Es). At presen...
Mariona Taulé, Maria Antònia Mart&ia...
FPCA
1995
14 years 1 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
OTM
2007
Springer
14 years 3 months ago
OntoGame: Towards Overcoming the Incentive Bottleneck in Ontology Building
Despite significant advancement in ontology learning, building ontologies remains a task that highly depends on human intelligence, both as a source of domain expertise and for pro...
Katharina Siorpaes, Martin Hepp
TLCA
2001
Springer
14 years 2 months ago
Subtyping Recursive Games
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
Juliusz Chroboczek
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 9 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart