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

Louis I. Steinberg

dblp:s/LouisISteinberg · DBLP profile ↗
← Back
12ranked-venue papers
5as first author
0since 2021 · last 2001
—ORCID · none

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

Artificial intelligence and machine learning · 11 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 7 · 2 first-authorSystems, architecture and hardware · 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
5 papers
Planning, search and constraint satisfaction · 61% Knowledge representation and reasoning · 33% Robot manipulation · 6%
Computer architecture, parallel and distributed computing, and storage systems
6 papers
Electronic design automation · 73% Integrated circuit design · 27%
Databases, data mining, and information retrieval
1 paper
Machine learning and data management · 100%

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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
design space search
0.012001
Searching stochastically generated multi-abstraction-level design spaces · Artif. Intell. 2001
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
constraint propagation
0.011996
EVEXED and MEET for Mechanical Design: Testing Structural Decomposition and Constraint Propagation · Artif. Intell. 1996
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge acquisition
0.011993
An Apprentice-Based Approach to Knowledge Acquisition · Artif. Intell. 1993
Electronic design automation
hardware verification and test
0.021983
An Intelligent Aid for Circuit Redesign · AAAI 1983
The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications · AAAI 1982
Robotics › Robot manipulation
mechanical design
0.011996
EVEXED and MEET for Mechanical Design: Testing Structural Decomposition and Constraint Propagation · Artif. Intell. 1996
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge-based systems
0.011985
A Knowledge-Based Approach to Design · IEEE Trans. Pattern Anal. Mach. Intell. 1985
Integrated circuit design
VLSI design
0.011985
LEAP: A Learning Apprentice for VLSI Design · IJCAI 1985
Electronic design automation
circuit redesign
0.011983
An Intelligent Aid for Circuit Redesign · AAAI 1983
Electronic design automation › hardware verification and test
hardware verification
0.011981
Representations for Reasoning about Digital Circuits · IJCAI 1981
Programming languages and type systems
program specification
0.011980
Question Ordering in a Mixed Intiative Program Specification Dialogue · AAAI 1980
Computational complexity
constraint satisfaction
0.011987
Design as Refinement Plus Constraint Propagation: The VEXED Experience · AAAI 1987
Human-AI interaction
mixed-initiative interaction
0.011980
Question Ordering in a Mixed Intiative Program Specification Dialogue · AAAI 1980

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

knowledge-based system · 0.0interactive consultation · 0.0knowledge-based approach · 0.0specification propagation · 0.0behavior propagation · 0.0
YearPublicationVenuePosition
2001 Searching stochastically generated multi-abstraction-level design spaces
Louis I. Steinberg
Artif. Intell.1
1996 EVEXED and MEET for Mechanical Design: Testing Structural Decomposition and Constraint Propagation
Louis I. Steinberg, Noshir A. Langrana
Artif. Intell.1
1993 An Apprentice-Based Approach to Knowledge Acquisition
Sridhar Mahadevan, Tom M. Mitchell, Jack Mostow, Louis I. Steinberg, Prasad Tadepalli
Artif. Intell.4
1991 AI and Design
Saul Amarel, Alvin M. Despain, H. Penny Nii, Louis I. Steinberg, Marty Tenenbaum, Peter M. Will
IJCAI4
1987 Design as Refinement Plus Constraint Propagation: The VEXED Experience
Louis I. Steinberg
AAAI1
1985 LEAP: A Learning Apprentice for VLSI Design
Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg
IJCAI3
1985 A Knowledge-Based Approach to Design
abstract
A framework is presented for constructing knowledge-based aids for design problems. In particular, we describe the organization of an interactive knowledge-based consultant for VLSI design (called VEXED¿an acronym for VLSI expert editor), and a prototype implementation of VEXED. The paper focuses on the principles underlying the design of VEXED, and on several lessons and research issues that have arisen from implementing and experimenting with this prototype.
Tom M. Mitchell, Louis I. Steinberg, Jeffrey S. Shulman
IEEE Trans. Pattern Anal. Mach. Intell.2
1984 A knowledge based approach to VLSI CAD the redesign system
Louis I. Steinberg, Tom M. Mitchell
DAC1
1983 An Intelligent Aid for Circuit Redesign
Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich
AAAI2
1982 The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications
Van E. Kelly, Louis I. Steinberg
AAAI2
1981 Representations for Reasoning about Digital Circuits
Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly
IJCAI2
1980 Question Ordering in a Mixed Intiative Program Specification Dialogue
Louis I. Steinberg
AAAI1