scispace - formally typeset
N

Nils J. Nilsson

Researcher at Stanford University

Publications -  90
Citations -  30996

Nils J. Nilsson is an academic researcher from Stanford University. The author has contributed to research in topics: Inference & First-order logic. The author has an hindex of 37, co-authored 90 publications receiving 28751 citations. Previous affiliations of Nils J. Nilsson include SRI International & Artificial Intelligence Center.

Papers
More filters
Journal ArticleDOI

Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"

TL;DR: The paper on the use of heuristic information in graph searching defined a path-finding algorithm, A*, and proved that it had two important properties; it was proved that if the heuristic function ñ (n) is a lower bound on the true minimal cost from node n to a goal node, then A* is admissible; i.e., it would find a minimal cost path if any path to agoal node existed.
Book

The Quest for Artificial Intelligence

TL;DR: Artificial intelligence (AI) is a field within computer science that is attempting to build enhanced intelligence into computer systems as discussed by the authors, which is becoming more and more a part of everyone's life.
Journal ArticleDOI

Logic and artificial intelligence

TL;DR: Some challenging problems for artificial intelligence are confronted and what is being done in an attempt to solve them are described.
Proceedings Article

STRIPS: a new approach to the application of theorem proving to problem solving

TL;DR: In this paper, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proven to be true.
Book

The Mathematical Foundations of Learning Machines

TL;DR: Learning Machines was an underground classic among the neural network modelers who were active during this "dark age" and deserves to be better known to the generation that is "relearning" what was once known about statistical learning machines.