EDBT 2026 Demo / reviewers in the wild / expert
Reid G. Smith
dblp:62/4496
· DBLP profile ↗
22ranked-venue papers
11as first author
1since 2021 · last 2025
0000-0002-5980-1115ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 15 · 7 first-author · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 11 · 6 first-authorSoftware engineering, systems software and programming languages · 3 · 1 first-authorHuman-computer interaction and ubiquitous computing · 2 · 1 first-authorSystems, architecture and hardware · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 since 2021Theory of computation · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
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 · 73% Multi-agent systems · 27% | |
| Human-computer interaction and pervasive computing
2 papers |
User interface design and tools · 72% Human-AI interaction · 28% | |
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
4 papers |
Electronic design automation · 52% Distributed systems · 34% Parallel and multicore computing · 14% |
Topics — the 18 heaviest of 21, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Multi-agent systems
distributed problem solving |
0.0 | 4 | 1983 | Negotiation as a Metaphor for Distributed Problem Solving · Artif. Intell. 1983 The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver · IEEE Trans. Computers 1980 A Framework for Distributed Problem Solving · IJCAI 1979 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge acquisition |
0.0 | 1 | 1988 | Design of Knowledge-Based Systems with a Knowledge-Based Assistant · IEEE Trans. Software Eng. 1988 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge-based systems |
0.0 | 1 | 1988 | Design of Knowledge-Based Systems with a Knowledge-Based Assistant · IEEE Trans. Software Eng. 1988 |
Requirements engineering and software design
knowledge-based design |
0.0 | 1 | 1988 | Design of Knowledge-Based Systems with a Knowledge-Based Assistant · IEEE Trans. Software Eng. 1988 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › rule learning
rule generation |
0.0 | 1 | 1987 | A Conceptual Clustering Program for Rule Generation · Int. J. Man Mach. Stud. 1987 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge base
knowledge base refinement |
0.0 | 1 | 1985 | Representation and Use of Explicit Justifications for Knowledge Base Refinements · IJCAI 1985 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge management |
0.0 | 1 | 1985 | A Modular Tool Kit for Knowledge Management · IJCAI 1985 |
Knowledge, reasoning and agents › Multi-agent systems
automated negotiation |
0.0 | 1 | 1983 | Negotiation as a Metaphor for Distributed Problem Solving · Artif. Intell. 1983 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
expert systems |
0.0 | 1 | 1983 | The Dipmeter Advisor System - A Case Study in Commercial Expert System Development · IJCAI 1983 |
Electronic design automation › hardware verification and test
hardware verification |
0.0 | 1 | 1981 | Representations for Reasoning about Digital Circuits · IJCAI 1981 |
Knowledge, reasoning and agents › Multi-agent systems › automated negotiation
contract net protocol |
0.0 | 1 | 1980 | The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver · IEEE Trans. Computers 1980 |
Human-AI interaction
intelligent assistant |
0.0 | 1 | 1988 | Design of Knowledge-Based Systems with a Knowledge-Based Assistant · IEEE Trans. Software Eng. 1988 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › concept learning
conceptual clustering |
0.0 | 1 | 1987 | A Conceptual Clustering Program for Rule Generation · Int. J. Man Mach. Stud. 1987 |
Distributed systems
distributed coordination |
0.0 | 3 | 1980 | The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver · IEEE Trans. Computers 1980 A Framework for Distributed Problem Solving · IJCAI 1979 The Contract Net: A Formalism for the Control of Distributed Problem Solving · IJCAI 1977 |
Image and video processing › spectral analysis
cepstral analysis |
0.0 | 1 | 1975 | Cepstrum discrimination function (Corresp.) · IEEE Trans. Inf. Theory 1975 |
Environmental and earth informatics › geoscience
petroleum exploration |
0.0 | 1 | 1983 | The Dipmeter Advisor System - A Case Study in Commercial Expert System Development · IJCAI 1983 |
Parallel and multicore computing
task allocation |
0.0 | 1 | 1980 | The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver · IEEE Trans. Computers 1980 |
Physical-layer communications
signal processing for communications |
0.0 | 1 | 1975 | Cepstrum discrimination function (Corresp.) · IEEE Trans. Inf. Theory 1975 |
Methods — techniques the papers use, named apart from their topics
user-interface framework · 0.0object-oriented programming · 0.0negotiation protocol · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Building a Virtual Member of a Community of PracticeabstractWe describe a virtual member of a knowledge management Community of Practice (CoP), called ATHENA, that knows an individual, his tasks, his organization, and the community. ATHENA employs an agentic chat capability that combines embeddings with knowledge-based faceted search to provide accurate responses to technical questions along with rationale and citations for efficient validation. ATHENA supports natural, in-the-flow capture of task-related insights to share within a CoP, along with proactive dissemination of information tied to an individual and his current needs. An evaluation involving 75 professionals from the Oil & Gas sector shows that ATHENA dramatically improved outcomes and productivity on a set of well-planning tasks compared to their use of a state-of-the-art RAG baseline. Interestingly, ATHENA also enabled eight non-experts to perform at expert levels. Joshua Eckroth, Dayne Freitag, Jonathan M. Keefe, Timothy Meyer, Karen L. Myers, Eric Schoen, Pedro Sequeira, Reid G. Smith |
CIKM | 8 |
| 2011 | NewsFinder: Automating an Artificial Intelligence News ServiceabstractNewsFinder automates the steps involved in finding, select- ing and publishing news stories that meet subjective judgments of relevance and interest to the Artificial Intelligence community. NewsFinder combines a broad search with AI-specific filters and incorporates a learning program whose judgment of interestingness of stories can be trained by feedback from readers. Since August, 2010, the program has been used to operate the AI in the News service that is part of the AAAI AI Topics site. Reid G. Smith, Bruce G. Buchanan |
IAAI | 2 |
| 2011 | Automating the Selection of Storiesfor AI in the News
Reid G. Smith, Bruce G. Buchanan |
IEA/AIE (1) | 2 |
| 1991 | OOP and AI (Panel)abstractNo abstract available. Mamdouh Ibrahim, Daniel G. Bobrow, Carl Hewitt, Jean-François Perror, Reid G. Smith, Howard E. Shrobe |
OOPSLA | 5 |
| 1988 | Design of Knowledge-Based Systems with a Knowledge-Based AssistantabstractThe authors propose a model for an intelligent assistant to aid in building knowledge-based systems (KBSs) and discuss a preliminary implementation. The assistant participates in KBS construction, including acquisition of an initial model of a problem domain, acquisition of control and task-specific inference knowledge, testing and validation, and long-term maintenance of encoded knowledge. The authors present a hypothetical scenario in which the assistant and a KBS designer cooperate to create an initial domain model and then discuss five categories of knowledge the assistant requires to offer such help. They discuss two software technologies on which the assistant is based: an object-oriented programming language, and a user-interface framework.> Eric Schoen, Reid G. Smith, Bruce G. Buchanan |
IEEE Trans. Software Eng. | 2 |
| 1987 | A Conceptual Clustering Program for Rule Generation
Edward J. Wisniewski, Howard A. Winston, Reid G. Smith, Michael F. Kleyn |
Int. J. Man Mach. Stud. | 3 |
| 1986 | Panel: Directions for Expert Systems
Janice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith |
AAAI | 5 |
| 1986 | Impulse-86: A Substrate for Object-Oriented Interface DesignabstractImpulse-86 provides a general and extensible substrate upon which to construct a wide variety of interactive user interfaces for developing, maintaining, and using knowledge-based systems. The system is based on five major building blocks: Editor, Editor Window, PropertyDisplay, Menu, and Operations. These building blocks are interconnected via a uniform framework and each has a well-defined set of responsibilities in an interface. Reid G. Smith, Rick Dinitz, Paul Barth |
OOPSLA | 1 |
| 1985 | A Modular Tool Kit for Knowledge Management
Gilles M. E. Lafue, Reid G. Smith |
IJCAI | 2 |
| 1985 | Representation and Use of Explicit Justifications for Knowledge Base Refinements
Reid G. Smith, Howard A. Winston, Tom M. Mitchell, Bruce G. Buchanan |
IJCAI | 1 |
| 1983 | IMPULSE: A Display Oriented Editor for STROBE
Eric Schoen, Reid G. Smith |
AAAI | 2 |
| 1983 | STROBE: Support for Structured Object Knowledge Representation
Reid G. Smith |
IJCAI | 1 |
| 1983 | The Dipmeter Advisor System - A Case Study in Commercial Expert System Development
Reid G. Smith, James D. Baker |
IJCAI | 1 |
| 1983 | Negotiation as a Metaphor for Distributed Problem Solving
Randall Davis, Reid G. Smith |
Artif. Intell. | 2 |
| 1983 | J. E. Hayes, D. Michie and Y.-H. Pao (editors), Machine Intelligence 10
Reid G. Smith |
Artif. Intell. | 1 |
| 1981 | Representations for Reasoning about Digital Circuits
Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly |
IJCAI | 3 |
| 1981 | Frameworks for Cooperation in Distributed Problem SolvingabstractTwo forms of cooperation in distributed problem solving are considered: task-sharing and result-sharing. In the former, nodes assist each other by sharing the computational load for the execution of subtasks of the overall problem. In the latter, nodes assist each other by sharing partial results which are based on somewhat different perspectives on the overall problem. Different perspectives arise because the nodes use different knowledge sources (KS's) (e.g., syntax versus acoustics in the case of a speech-understanding system) or different data (e.g., data that is sensed at different locations in the case of a distributed sensing system). Particular attention is given to control and to internode communication for the two forms of cooperation. For each, the basic methodology is presented and systems in which it has been used are described. The two forms are then compared and the types of applications for which they are suitable are considered. Reid G. Smith, Randall Davis |
IEEE Trans. Syst. Man Cybern. | 1 |
| 1980 | The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem SolverabstractThe contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed problem solver. Task distribution is affected by a negotiation process, a discussion carried on between nodes with tasks to be executed and nodes that may be able to execute those tasks. Reid G. Smith |
IEEE Trans. Computers | 1 |
| 1979 | A Framework for Distributed Problem Solving
Reid G. Smith |
IJCAI | 1 |
| 1977 | The Contract Net: A Formalism for the Control of Distributed Problem Solving
Reid G. Smith |
IJCAI | 1 |
| 1977 | A Model for Learning Systems
Reid G. Smith, Tom M. Mitchell, R. A. Chestek, Bruce G. Buchanan |
IJCAI | 1 |
| 1975 | Cepstrum discrimination function (Corresp.)abstractAn expression is derived for the function that governs the discrimination by the power cepstrum against components at large time delays. The function has been found to be useful in normalizing cepstrum displays. Reid G. Smith |
IEEE Trans. Inf. Theory | 1 |