Sciweavers

351 search results - page 17 / 71
» Combining Semantic Wikis and Controlled Natural Language
Sort
View
ACL
1998
15 years 1 months ago
The Computational Lexical Semantics of Syntagmatic Relations
In this paper, we address the issue of syntagmatic expressions from a computational lexical semantic perspective. From a representational viewpoint, we argue for a hybrid approach...
Evelyne Viegas, Stephen Beale, Sergei Nirenburg
81
Voted
ESSLLI
1999
Springer
15 years 4 months ago
Setting up Exhausted Values
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
Alastair Butler
CSFW
2003
IEEE
15 years 5 months ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
FROCOS
2005
Springer
15 years 5 months ago
A Concurrent Lambda Calculus with Futures
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
Joachim Niehren, Jan Schwinghammer, Gert Smolka
EACL
2009
ACL Anthology
16 years 9 days ago
Using Lexical and Relational Similarity to Classify Semantic Relations
Many methods are available for computing semantic similarity between individual words, but certain NLP tasks require the comparison of word pairs. This paper presents a kernel-bas...
Ann A. Copestake, Diarmuid Ó Séaghdh...