DBLP:conf/ijcai/FikesN71 + redirect page
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving + Has identifier
| STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving |
Has publishing details
pp. 608-620, 1971
Has title
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai71.html#FikesN71
Has where published
IJCAI
Has year
1971
Has author
Richard Fikes +, Nils J. Nilsson +
Has identifier
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving +
Categories Proceeding Paper +
|
