41 |
A Guide to IRUS-II Application Development
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
43 |
Out of the Laboratory: A Case Study with the IRUS Natural Language Interface
|
|
|
|
In: DTIC (1986)
|
|
BASE
|
|
Show details
|
|
45 |
Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
46 |
Handling Ill-Formed Input: Session Introduction
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
47 |
Design of a System That Understands Informal Specifications.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
48 |
Mapping between Semantic Representations Using Horn Clauses.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
50 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
51 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
56 |
A new semantic computation while parsing : presupposition and entailment
|
|
|
|
BASE
|
|
Show details
|
|
57 |
Computation of a subclass of inferences : presupposition and entailment
|
|
|
|
BASE
|
|
Show details
|
|
58 |
Multiple Underlying Systems: Translating User Requests into Programs to Produce Answers
|
|
|
|
BASE
|
|
Show details
|
|
|
|