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

Public

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

N

Shared by NobleBlocks on Dec 1, 1971 • 12:00 AM UTC

Authors:

Richard Fikes

,

Nils J. Nilsson

Subject

First-order logic

Automated theorem proving

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!

Publication Date: Dec 1, 1971 • 12:00 AM UTC

NobleID:w1/20260526/8A36A35C

DOI:10.1016/0004-3702(71)90010-5

No figures available

Generate Podcast

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