2 |
A Prolog-like Inference System for Computing Minimum-Cost Abductive Explanations in Natural-Language Interpretation
|
|
|
|
In: DTIC (1988)
|
|
BASE
|
|
Show details
|
|
3 |
Research on Interactive Acquisition and Use of Knowledge.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
4 |
Research on Interactive Acquisition and Use of Knowledge.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
5 |
A Nonclausal Connection-Graph Resolution Theorem-Proving Program
|
|
|
|
In: DTIC (1982)
|
|
BASE
|
|
Show details
|
|
6 |
Mechanical Theorem Proving and Artificial Intelligence Languages
|
|
|
|
In: DTIC AND NTIS (1977)
|
|
BASE
|
|
Show details
|
|
|
|