ProofWiki:Mathematicians/Nils John Nilsson
From ProofWiki
< ProofWiki:Mathematicians(Redirected from ProofWiki:Mathematicians/Nils J. Nilsson)
American: one of the founders in the field of artificial intelligence.
Contents |
Nationality
American
History
- Born: 1933
Theorems and Definitions
Publications
- 1968: A Formal Basis for the Heuristic Determination of Minimum Cost Paths (with P.E. Hart and B. Raphael): IEEE Transactions on Systems Science and Cybernetics SSC4 4 (2)
- 1971: STRIPS: A new approach to the application of theorem proving to problem solving (with Richard Fikes): Artificial Intelligence 2: 189–208
- 1980: Principles of Artificial Intelligence
- 1987: Logical Foundations of Artificial Intelligence (with Michael R. Genesereth)
