EDBT 2026 Demo / reviewers in the wild / expert
William A. Kornfeld
dblp:05/5740
· DBLP profile ↗
4ranked-venue papers
4as first author
0since 2021 · last 1983
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 3 first-authorGraphics, computer vision, multimedia, augmented reality and games · 3 · 3 first-authorHuman-computer interaction and ubiquitous computing · 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.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% | |
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
High-performance computing · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
logic programming |
0.0 | 1 | 1983 | Equality for Prolog · IJCAI 1983 |
Programming languages and type systems › logic programming
prolog |
0.0 | 1 | 1983 | Equality for Prolog · IJCAI 1983 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
heuristic search |
0.0 | 1 | 1981 | The Use of Parallelism to Implement a Heuristic Search · IJCAI 1981 |
High-performance computing › parallel numerical algorithms
parallel solver |
0.0 | 1 | 1979 | ETHER - A Parallel Problem Solving System · IJCAI 1979 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1983 | Equality for Prolog
William A. Kornfeld |
IJCAI | 1 |
| 1981 | The Use of Parallelism to Implement a Heuristic Search
William A. Kornfeld |
IJCAI | 1 |
| 1981 | The Scientific Community MetaphorabstractScientific communities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of scientific research is examined drawing on sources in the philosophy and history of science. We maintain that the success of scientific research depends critically on its concurrency and pluralism. A variant of the language Ether is developed that embodies notions of concurrency necessary to emulate some of the problem solving behavior of scientific communities. Capabilities of scientific communities are discussed in parallel with simplified models of these capabilities in this language. William A. Kornfeld, Carl Hewitt |
IEEE Trans. Syst. Man Cybern. | 1 |
| 1979 | ETHER - A Parallel Problem Solving System
William A. Kornfeld |
IJCAI | 1 |