Nilsson, Nils J.
SRI International
3 papers on CoChat
Most cited papers
- Verified
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
Hart, P., Nilsson, N., & Raphael, B. (1968) · IEEE Transactions on Systems Science and Cybernetics
Complexity and Algorithms in GraphsAI-based Problem Solving and Planning
Cited by 12,738
- Verified
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Fikes, R. E., & Nilsson, N. J. (1971) · Artificial Intelligence
AI-based Problem Solving and PlanningLogic, Reasoning, and Knowledge
Cited by 4,882
- Verified
Principles of Artificial Intelligence
Nilsson, N. J. (1982) · Springer eBooks
Artificial Intelligence ApplicationsAI-based Problem Solving and Planning
Cited by 3,457
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free