Demo Data from EDBT 2026 / reviewers in the wild / expert
Nils J. Nilsson
dblp:96/6430
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning › probabilistic reasoning
probabilistic logic |
0.0 | 2 | 1993 | Probabilistic Logic Revisited · Artif. Intell. 1993 Probabilistic Logic · Artif. Intell. 1986 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning |
0.0 | 1 | 1991 | Logic and Artificial Intelligence · Artif. Intell. 1991 |
Automated reasoning and model checking
probabilistic inference |
0.0 | 2 | 1993 | Probabilistic Logic Revisited · Artif. Intell. 1993 Probabilistic Logic · Artif. Intell. 1986 |
Computational social science and digital humanities
AI and society |
0.0 | 1 | 1983 | Artificial Intelligence: Its Impact on Human Occupations and Distribution of Income · IJCAI 1983 |
Logic in computer science › knowledge representation and reasoning
knowledge representation |
0.0 | 1 | 1991 | Logic and Artificial Intelligence · Artif. Intell. 1991 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
multi-agent planning |
0.0 | 1 | 1980 | Multiple-Agent Planning Systems · AAAI 1980 |
Natural language and speech › Speech recognition and synthesis
spoken language understanding |
0.0 | 1 | 1977 | Speech Understanding and AI/AI and Speech Understanding · IJCAI 1977 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › classical planning
STRIPS |
0.0 | 2 | 1971 | 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.0 | 2 | 1971 | 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.0 | 1 | 1971 | Extracting Information from Resolution Proof Trees · Artif. Intell. 1971 |
Information theory
hypothesis testing |
0.0 | 1 | 1961 | On the optimum range resolution of radar signals in noise · IRE Trans. Inf. Theory 1961 |
Information theory › statistical inference
statistical decision theory |
0.0 | 1 | 1961 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1997 | Robotics and artificial intelligenceabstract"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 ControlabstractA 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 IntelligenceabstractThe 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 |
IJCAI | 1 |
| 1980 | Multiple-Agent Planning Systems
Kurt Konolige, Nils J. Nilsson |
AAAI | 2 |
| 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 |
IJCAI | 4 |
| 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 |
IJCAI | 2 |
| 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 |
IJCAI | 1 |
| 1961 | On the optimum range resolution of radar signals in noiseabstractOptimum 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. Theory | 1 |