Sciweavers

54 search results - page 1 / 11
» Towards a Many-Dimensional Modal Logic for Semantic Processi...
Sort
View
107
Voted
AIML
2000
14 years 11 months ago
Towards a Many-Dimensional Modal Logic for Semantic Processing
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
Tim Fernando
83
Voted
ENTCS
2006
141views more  ENTCS 2006»
14 years 9 months ago
A Concurrent Model for Linear Logic
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
Emmanuel Beffara
EACL
1993
ACL Anthology
14 years 10 months ago
Categorial grammar, modalities and algebraic semantics
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
Koen Versmissen
CORR
2010
Springer
153views Education» more  CORR 2010»
14 years 9 months ago
Characterising Probabilistic Processes Logically
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
Yuxin Deng, Rob J. van Glabbeek
LREC
2008
125views Education» more  LREC 2008»
14 years 11 months ago
Towards Formal Interpretation of Semantic Annotation
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
Harry Bunt, Chwhynny Overbeeke