STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
- R. Fikes, N. Nilsson
- MathematicsInternational Joint Conference on Artificial…
- 1 September 1971
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
- P. Hart, N. Nilsson, B. Raphael
- BusinessIEEE Transactions on Systems Science and…
- 1 July 1968
How heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching is described and an optimality property of a class of search strategies is demonstrated.
Artificial Intelligence
- N. Nilsson
- Computer ScienceIFIP Congress
- 1974
The history, the major landmarks, and some of the controversies in each of these twelve topics are discussed, as well as some predictions about the course of future research.
Principles of Artificial Intelligence
- N. Nilsson
- Computer ScienceIEEE Transactions on Pattern Analysis and Machine…
- 23 January 1980
This classic introduction to artificial intelligence describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval.
Probabilistic Logic
- N. Nilsson
- Philosophy, Computer ScienceArtificial Intelligence
- 1 February 1986
Problem-solving methods in artificial intelligence
- N. Nilsson
- EducationMcGraw-Hill computer science series
- 1 June 1971
This paper will concern you to try reading problem solving methods in artificial intelligence as one of the reading material to finish quickly.
Logical foundations of artificial intelligence
- M. Genesereth, N. Nilsson
- Computer Science
- 15 July 1987
Artificial Intelligence: A New Synthesis
- N. Nilsson
- Computer Science
- 15 August 1997
Shakey the Robot
- N. Nilsson
- Art
- 1 April 1984
Abstract : From 1960 through 1972, the Artificial Intelligence Center at SRI conducted research on a mobile robot system nicknamed "Shakey." Endowed with a limited ability to perceive and model its…
Learning and Executing Generalized Robot Plans
- R. Fikes, P. Hart, N. Nilsson
- Computer ScienceArtificial Intelligence
- 2 January 1993
...
...