AIMSA
1990
Springer
13 years 9 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
AIMSA
1990
Springer
13 years 9 months ago
1990
Springer
The paper discusses the motivation for, heritage, architecture and future development plans of the FuzzyCOPE software environment. FuzzyCOPE is a free software environment for tea...
AIMSA
1990
Springer
13 years 9 months ago
1990
Springer
A method for processing sentences which contain unknown words, i. e. words for which no lexical entry exists, is presented. There are three different stages of processing: