1

Strips: A new approach to the application of theorem proving to problem solving

Year:
1971
Language:
english
File:
PDF, 1.54 MB
english, 1971
2

Learning and executing generalized robot plans

Year:
1972
Language:
english
File:
PDF, 2.30 MB
english, 1972
4

REF-ARF: A system for solving problems stated as procedures

Year:
1970
Language:
english
File:
PDF, 7.61 MB
english, 1970
5

Odyssey: A knowledge-based assistant

Year:
1981
Language:
english
File:
PDF, 1.83 MB
english, 1981
7

EXPERT SYSTEMS INTERVIEW

Year:
1986
Language:
english
File:
PDF, 297 KB
english, 1986
9

STRIPS, a retrospective

Year:
1993
Language:
english
File:
PDF, 341 KB
english, 1993
10

Automated model selection for simulation based on relevance reasoning

Year:
1997
Language:
english
File:
PDF, 3.18 MB
english, 1997
22

Saying more with frames: Slots as classes

Year:
1992
Language:
english
File:
PDF, 836 KB
english, 1992
23

A proof markup language for Semantic Web services

Year:
2006
Language:
english
File:
PDF, 327 KB
english, 2006
28

A Commitment-Based Framework for Describing Informal Cooperative Work

Year:
1982
Language:
english
File:
PDF, 885 KB
english, 1982
32

A commitment-based framework for describing informal cooperative work

Year:
1982
Language:
english
File:
PDF, 890 KB
english, 1982
41

Preparative Cell Electrophoresis

Year:
1973
Language:
english
File:
PDF, 374 KB
english, 1973
42

The role of frame-based representation in reasoning

Year:
1985
Language:
english
File:
PDF, 8.52 MB
english, 1985
43

JOSIE

Year:
1991
Language:
english
File:
PDF, 730 KB
english, 1991