The application of theorem proving to question-answering systems
Facts are presented as statements of first-order logic. The statement is preceded by STATEMENT to indicate to the program that it is a statement. These statements (axioms) are automatically converted to clauses and stored in the memory ofanbsp;...
| Title | : | The application of theorem proving to question-answering systems |
| Author | : | Claude Cordell Green |
| Publisher | : | Dissertations-G - 1980-08-01 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
