Nils J. Nilsson

See: Robotics, STRIPS, Probabilistic Logic, Automated Planning And Scheduling.

References

(Wikipedia, 2015) ⇒ http://en.wikipedia.org/wiki/Nils_John_Nilsson Retrieved:2015-12-2.
- Nils John Nilsson (born 1933) is an American computer scientist. He is one of the founding researchers in the discipline of artificial intelligence. He is the first Kumagai Professor of Engineering (Emeritus) in Computer Science at Stanford University, position that he held since the chair was established in 1990 through 1995. He is particularly famous for his contributions to search, planning, knowledge representation, and robotics.
  His research has been based mainly on the premise that intelligence is based on knowledge that must be represented explicitly.

(Genesereth & Nilsson, 1987) ⇒ Michael R. Genesereth, and Nils J. Nilsson. (1987). “Logical Foundations of Artificial." Intelligence. Morgan Kaufmann

(Fikes & Nilsson, 1972) ⇒ Richard E. Fikes, and Nils J. Nilsson . (1972). “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving." Artificial intelligence 2, no. 3

(Nilsson, 1971) ⇒ Nils J. Nilsson. (1971). “Problem-solving Methods in Artificial Intelligence." Artificial Intelligence

(Hart et al., 1968) ⇒ Peter E. Hart, Nils J. Nilsson, and Bertram Raphael. (1968). “A Formal Basis for the Heuristic Determination of Minimum Cost Paths." Systems Science and Cybernetics, IEEE Transactions, 4(2).