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
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
TL;DR: 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.
Book
Principles of Artificial Intelligence
TL;DR: 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.
Journal ArticleDOI
Strips: A new approach to the application of theorem proving to problem solving
Richard Fikes,Nils J. Nilsson +1 more
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 in which a given goal formula can be proven to be true.
Book
STRIPS: a new approach to the application of theorem proving to problem solving
Richard Fikes,Nils J. Nilsson +1 more
TL;DR: In this article, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a spcce 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
Logical Foundations of Artificial Intelligence
TL;DR: Typographical Conventions 1 Introduction 1 Bibliographical and Historical Remarks Exercises 2 Declarative Knowledge 2.1 Conceptualization 2.2 Predicate Calculus 2.3 Semantics 2.4 Blocks World Example 2.5 Circuits 2.6 Algebraic Examples 2.7 List Examples 1.9 Specialized Languages 2.8 Reasoning with Uncertain Reasoning 3.1 Probabilities of Sentences 3.4 Provability 3.5 Proving Provability