Sciweavers

10 search results - page 1 / 2
» ictai 1996
Sort
View
ICTAI
1996
IEEE
13 years 8 months ago
GATE: An Environment to Support Research and Development in Natural Language Engineering
We describe a software environment to support research and development in natural language (NL) engineering. This environment
Robert J. Gaizauskas, Hamish Cunningham, Yorick Wi...
ICTAI
1996
IEEE
13 years 8 months ago
Binary CSP Solving as an Inference Process
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
Carlos Castro
ICTAI
1996
IEEE
13 years 8 months ago
Automatic Diagnoses for Properly Stratified Knowledge-Bases
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
Ofer Arieli, Arnon Avron