Records found and checked by machines, not reviewed by an editor · What this means →

Claim · 1971 · publication · Stated in source · Supported

Nils J. Nilsson is a co-author, with Richard E. Fikes, of the 1971 STRIPS paper.

One recorded claim. The claim panel gives its qualification, the source passages with their place in each source, and how it was checked.

What it connects

Nils J. Nilsson → authored → STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

Where it appears

No collection page holds this claim. It is listed with its records in the explorer.