Sciweavers

10 search results - page 1 / 2
» ictai 1996
Sort
View
ICTAI
1996
IEEE
13 years 11 months ago
Conflict Analysis in Search Algorithms for Satisfiability
João P. Marques Silva, Karem A. Sakallah
ICTAI
1996
IEEE
13 years 11 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 11 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 11 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