1
Configurational variation in English : a study of extraposition and related matters /

Cover is for reference only
Main Authors: Stucky, Susan U
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1985]
Call Number: H030/S932
Book
Save to List
Saved in:
2
Triangle tables : a proposal for a robot programming language /

Cover is for reference only
Main Authors: Nilsson, Nils J., 1933
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI Internation,
Publication Dates: [1985]
Call Number: TP242/N712
Book
Save to List
Saved in:
3
A formal theory of knowledge and action

Cover is for reference only
Main Authors: Moore Robert C 1948-
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1984]
Call Number: TP18/M823
Book
Save to List
Saved in:
4
Shakey the robot

Cover is for reference only
Corporate Authors: SRI International. Computer Science and Technology Division
Group Author: Nilsson Nils J 1933-
Published: SRI International,
Publication Dates: [1984]
Call Number: TP18/S774-1
Book
Save to List
Saved in:
5
Description of SRI's baseline stereo system /

Cover is for reference only
Main Authors: Hannah, Marsha Jo
Corporate Authors: SRI International. Computer Science and Technology Division
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: TN919.8/H243
Book
Save to List
Saved in:
6
Reasoning about control : an evidential approach /

Cover is for reference only
Main Authors: Wesley, Leonard P
Corporate Authors: SRI International. Computer Science and Technology Division
Group Author: Lowrance, John D; Garvey, Thomas D
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: TP13/W513
Book
Save to List
Saved in:
7
Parallel guessing : a strategy for high-speed computation /

Cover is for reference only
Main Authors: Fischler, Martin A
Corporate Authors: SRI International. Computer Science and Technology Division
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: TP33/F529
Book
Save to List
Saved in:
8
Goal-directed textured-image segmentation /

Cover is for reference only
Main Authors: Laws, Kenneth I
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1984]
Call Number: TN919.8/L425-1
Book
Save to List
Saved in:
9
Evidence against the context-freeness of natural language /

Cover is for reference only
Main Authors: Shieber, S. M
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International. Artificial Intelligence Center,
Publication Dates: [1984]
Call Number: TP391/S555
Book
Save to List
Saved in:
10
The role of logic in artificial intelligence /

Cover is for reference only
Main Authors: Moore, Robert C., 1948
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1984]
Call Number: TP18/M823-2
Book
Save to List
Saved in:
11
Evaluation of scene-analysis algorithms /

Cover is for reference only
Main Authors: Laws, Kenneth I
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1984]
Call Number: TN919.8/L425-2
Book
Save to List
Saved in:
12
Notes from the unification underground : a compilation of papers on unification-based grammar formalisms /

Cover is for reference only
Main Authors: Schieber, Stuart M
Corporate Authors: SRI International. Computer Science and Technology Division
Group Author: Karttunen, Lauri; Pereira, Fernando C. N
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: H087/S332
Book
Save to List
Saved in:
13
TEAM user's guide /

Cover is for reference only
Main Authors: Shinkle, Lorna
Corporate Authors: SRI International. Computer Science and Technology Division
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: TP18/S556
Book
Save to List
Saved in:
14
On the mathematical properties of linguistic theories /

Cover is for reference only
Main Authors: Perrault, C. Raymond
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1984]
Call Number: H087/P454
Book
Save to List
Saved in:
15
Choosing a basis for perceptual space /

Cover is for reference only
Main Authors: Barnard, Stephen T
Corporate Authors: SRI International. Computer Science and Technology Division
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: TP18/B259
Book
Save to List
Saved in:
16
Automated deduction by theory resolution /

Cover is for reference only
Main Authors: Stickel, Mark E
Corporate Authors: SRI International. Computer Science and Technology Division
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: TP18/S854
Book
Save to List
Saved in:
17
Possible-world semantics for autoepistemic logic /

Cover is for reference only
Main Authors: Moore, Robert C., 1948
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1984]
Call Number: TP18/M823-1
Book
Save to List
Saved in:
18
Image-to-image correspondence : linear-structure matching /

Cover is for reference only
Main Authors: Smith, Grahame B
Corporate Authors: SRI International. Computer Science and Technology Division
Group Author: Wolf, Helen C
Published: SRI International,
Publication Dates: [1984]
Call Number: TN919.8/S648-2
Book
Save to List
Saved in:
19
A fast surface interpolation technique /

Cover is for reference only
Main Authors: Smith, Grahame B
Corporate Authors: SRI International. Computer Science and Technology Division
Published: SRI International,
Publication Dates: [1984]
Call Number: TN919.8/S648-1
Book
Save to List
Saved in:
20
The representation of adverbs, adjectives and events in logical form /

Cover is for reference only
Main Authors: Croft, William
Corporate Authors: SRI International. Computer Science and Technology Division
Published: Artificial Intelligence Center, SRI International,
Publication Dates: [1984]
Call Number: H042/C941
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —