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
David C. Luckham,Nils J. Nilsson +1 more
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.