RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
Three CBR systems were created to improve customer support at General Electric Appliances. The first tool helped call takers answer customers’ questions by using a case base of ...
In the human, society, interconnection environment and systems methodology perspectives, this paper answers the following questions: What are the Knowledge Grid and its distinguis...
: Let b 2 be an integer. A real number is called simply normal to base b if in its representation to base b every digit appears with the same asymptotic frequency. We answer the f...
We construct a finite language L such that the largest language commuting with L is not recursively enumerable. This gives a negative answer to the question raised by Conway in 1...