4902 search results - page 60 / 981 » Structures, Semantics and Statistics |
108
Voted
FCT
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
102
click to vote
ACL
1998
15 years 2 months ago
1998
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A Astructure can be considered as a A-term up to...
114
click to vote
ENTCS
2010
14 years 10 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
JASIS
2010
14 years 11 months ago
2010
Abstract – The method of latent semantic indexing (LSI) is well known for tackling the synonymy and polysemy problems in information retrieval. However, its performance can be ve...
145
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...