2225 search results - page 22 / 445 » Logical Structures in the Lexicon |
COLING
1992
13 years 9 months ago
1992
Development of reusahle dictionaries for NI,P applications requires a carefully designed lexicological framework, a lexical acquisition strategy, an integrated development toolbox...
ACL
2009
13 years 5 months ago
2009
We present a global joint model for lemmatization and part-of-speech prediction. Using only morphological lexicons and unlabeled data, we learn a partiallysupervised part-of-speec...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
LICS
1995
IEEE
13 years 11 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
FMSD
2006
13 years 7 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...