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
Book
Probabilistic logic revisited
TL;DR: In this article, it was shown that the probability of Q is under-determined in this case but can be bounded as follows, using a Venn diagram using a simple calculation.
Proceedings Article
Multiple-agent planning systems
Kurt Konolige,Nils J. Nilsson +1 more
TL;DR: A planning system is described that addresses problems confronted by computer agents that synthesize plans that take into account (and employ) the plans of other, similar, cooperative agents.
Some New Directions in Robot Problem Solving
TL;DR: This paper describes a variety of ways in which traditional constraints on robot problem-solving methods could be relaxed, illustrating the discussion where possible with examples taken from the current Stanford Research Institute robot system.
Journal ArticleDOI
Eye on the prize
TL;DR: It is claimed that AI is now at the beginning of another transition, one that will reinvigorate efforts to build programs of general, humanlike competence, and these programs will use specialized performance programs as tools, much like humans do.
Book ChapterDOI
The physical symbol system hypothesis: status and prospects
TL;DR: I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbol-grounding and non-symbolic processing for intelligent behavior and on the supposed non-computational and "mindless" aspects of brains.