Search
Toggle theme
Menu
Back
Home
Publications
Strips: A new approach to the application of theorem proving to problem solving
Public
More options
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
Download PDF
Share
Summary
Sum
PDF
Figures
Figs
Discrepancies
Disc
EDDII
Article
Art
Subject
STRIPS
First-order logic
Automated theorem proving
View +5 more
Finding related papers...
Discussions
(0)
Add Comment
No comments yet
Be the first to share your thoughts!
Strips: A new approach to the application of theorem proving to problem solving | NobleBlocks