2225 search results - page 20 / 445 » Logical Structures in the Lexicon |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
EUSFLAT
2009
13 years 5 months ago
2009
The present article dedicates itself to fuzzy modelling of data
ENTCS
2010
13 years 5 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...
CPM
1999
Springer
14 years 2 days ago
1999
Springer
We present a very efficient, in terms of space and access speed, data structure for storing huge natural language data sets. The structure is described as LZ (Ziv Lempel) compresse...
COLING
1990
13 years 9 months ago
1990
This paper describes two novel techniques which, when applied together, in practice significantly reduce the time required for unifying disjunctive feature structures. The first i...