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
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

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

Nils J. Nilsson
- 09 Sep 1995 - 
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.