William A. Kornfeld

dblp:05/5740 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Programming languages and type systems
logic programming
0.011983
Equality for Prolog · IJCAI 1983
Programming languages and type systems › logic programming
prolog
0.011983
Equality for Prolog · IJCAI 1983
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
heuristic search
0.011981
The Use of Parallelism to Implement a Heuristic Search · IJCAI 1981
High-performance computing › parallel numerical algorithms
parallel solver
0.011979
ETHER - A Parallel Problem Solving System · IJCAI 1979
YearPublicationVenuePosition
1983 Equality for Prolog
William A. Kornfeld
IJCAI1
1981 The Use of Parallelism to Implement a Heuristic Search
William A. Kornfeld
IJCAI1
1981 The Scientific Community Metaphor
abstract
Scientific 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
IJCAI1