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

Toward agent programs with circuit semantics

TL;DR: The notion of "circuit semantics" for programs based on "teleo-reactive trees" is introduced, which embodies a high degree of inherent conditionality and thus yield programs that are suitably reactive to their environments.
Journal ArticleDOI

Extracting information from resolution proof trees

TL;DR: An extraction procedure for proofs generated by the resolution principle is presented, which uses a given proof to find solutions for existential quantifiers in the statement proved in terms of known quantities in the initial data.
Proceedings Article

Searching problem-solving and game-playing trees for minimal cost solutions.

TL;DR: A wheel for rolling stock such as a tractor which comprises a wheel rim carrying a pneumatic tire having an annular tire cavity and a plurality of substantially spherical balls having a relatively high density, a packed layer of the ball partly filling the tire cavity.
Book ChapterDOI

Semantic network representations in rule-based inference systems1

TL;DR: In this paper, a rule-based system that uses a partitioned semantic network representation for the premises and conclusions of the rules is described, which is used to aid a geologist in the evaluation of the mineral potential of exploration sites.
Proceedings Article

Challenge problems for artificial intelligence

TL;DR: The goal of this panel is to formulate a set of challenge problems for the field, with the emphasis on problems for which there is a good chance that they will be resolved within the next five to ten years.