Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Nils J. Nilsson

dblp:96/6430 · DBLP profile ↗
← Back
16ranked-venue papers
10as first author
0since 2021 · last 1997
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 15 · 9 first-authorGraphics, computer vision, multimedia, augmented reality and games · 5 · 2 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
11 papers
Knowledge representation and reasoning · 91% Planning, search and constraint satisfaction · 6% Speech recognition and synthesis · 3%
Theoretical computer science
7 papers
Automated reasoning and model checking · 64% Logic in computer science · 28% Computational complexity · 6%
Interdisciplinary, comprehensive, and emerging computing
1 paper
Computational social science and digital humanities · 100%

Topics — the 12 heaviest of 14, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › probabilistic reasoning
probabilistic logic
0.021993
Probabilistic Logic Revisited · Artif. Intell. 1993
Probabilistic Logic · Artif. Intell. 1986
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning
0.011991
Logic and Artificial Intelligence · Artif. Intell. 1991
Automated reasoning and model checking
probabilistic inference
0.021993
Probabilistic Logic Revisited · Artif. Intell. 1993
Probabilistic Logic · Artif. Intell. 1986
Computational social science and digital humanities
AI and society
0.011983
Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income · IJCAI 1983
Logic in computer science › knowledge representation and reasoning
knowledge representation
0.011991
Logic and Artificial Intelligence · Artif. Intell. 1991
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
multi-agent planning
0.011980
Multiple-Agent Planning Systems · AAAI 1980
Natural language and speech › Speech recognition and synthesis
spoken language understanding
0.011977
Speech Understanding and AI/AI and Speech Understanding · IJCAI 1977
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › classical planning
STRIPS
0.021971
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving · Artif. Intell. 1971
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving · IJCAI 1971
Automated reasoning and model checking
theorem proving
0.021971
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving · Artif. Intell. 1971
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving · IJCAI 1971
Computational complexity › proof complexity
resolution
0.011971
Extracting Information from Resolution Proof Trees · Artif. Intell. 1971
Information theory
hypothesis testing
0.011961
On the optimum range resolution of radar signals in noise · IRE Trans. Inf. Theory 1961
Information theory › statistical inference
statistical decision theory
0.011961
On the optimum range resolution of radar signals in noise · IRE Trans. Inf. Theory 1961

Methods — techniques the papers use, named apart from their topics

probabilistic logic · 0.0symbolic logic · 0.0deductive inference · 0.0theorem proving · 0.0statistical decision theory · 0.0
YearPublicationVenuePosition
1997 Robotics and artificial intelligence
abstract
"Robotics and artificial intelligence." Journal of Experimental & Theoretical Artificial Intelligence, 9(2-3), pp. 337–338
Nils J. Nilsson
J. Exp. Theor. Artif. Intell.1
1996 Stuart J. Russell, Peter Norvig: Artificial Intelligence: A Modern Approach (Review)
Nils J. Nilsson
Artif. Intell.1
1994 Teleo-Reactive Programs for Agent Control
abstract
A formalism is presented for computing and organizing actions for autonomous agents in dynamic environments. We introduce the notion of teleo-reactive (T-R) programs whose execution entails the construction of circuitry for the continuous computation of the parameters and conditions on which agent action is based. In addition to continuous feedback, T-R programs support parameter binding and recursion. A primary difference between T-R programs and many other circuit-based systems is that the circuitry of T-R programs is more compact; it is constructed at run time and thus does not have to anticipate all the contingencies that might arise over all possible runs. In addition, T-R programs are intuitive and easy to write and are written in a form that is compatible with automatic planning and learning methods. We briefly describe some experimental applications of T-R programs in the control of simulated and actual mobile robots.
Nils J. Nilsson
J. Artif. Intell. Res.1
1993 Probabilistic Logic Revisited
Nils J. Nilsson
Artif. Intell.1
1991 Logic and Artificial Intelligence
abstract
The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a methodology for analyzing and comparing deductive inference techniques. Several observations gained from experience with the approach are discussed. Finally, we confront some challenging problems for artificial intelligence and describe what is being done in an attempt to solve them.
Nils J. Nilsson
Artif. Intell.1
1989 On "Logical Foundations of Artificial Intelligence". A Response to the Reviews by S. Smoliar and J. Sowa
Nils J. Nilsson
Artif. Intell.1
1986 Probabilistic Logic
Nils J. Nilsson
Artif. Intell.1
1983 Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income
Nils J. Nilsson, Sandra B. Cook, Alan C. Kay, Faye Duchin, Margaret A. Boden, Dennis Chamot
IJCAI1
1980 Multiple-Agent Planning Systems
Kurt Konolige, Nils J. Nilsson
AAAI2
1977 Speech Understanding and AI/AI and Speech Understanding
Donald E. Walker, Lee D. Erman, Allen Newell, Nils J. Nilsson, William H. Paxton, Terry Winograd, William A. Woods
IJCAI4
1972 Learning and Executing Generalized Robot Plans
Richard Fikes, Peter E. Hart, Nils J. Nilsson
Artif. Intell.3
1971 STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Richard Fikes, Nils J. Nilsson
IJCAI2
1971 STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Richard Fikes, Nils J. Nilsson
Artif. Intell.2
1971 Extracting Information from Resolution Proof Trees
David C. Luckham, Nils J. Nilsson
Artif. Intell.2
1969 A Mobile Automaton: An Application of Artificial Intelligence Techniques
Nils J. Nilsson
IJCAI1
1961 On the optimum range resolution of radar signals in noise
abstract
Optimum radar resolution is recognized to be a problem in distinguishing between different possible target configurations. Radar reception systems which perform optimum range resolution are then designed using the principles of statistical decision theory. In particular, the design of the optimum resolution system is carried out for a squared-error loss function, modified to provide extra penalties for wrong guesses about the number of targets present. Such a system is capable of simultaneously deciding the number of targets present, their spatial positions (ranges) and their relative amplitudes. The analysis also includes a discussion of an optimum device for the resolution of distributed (clutter-like) targets.
Nils J. Nilsson
IRE Trans. Inf. Theory1