Yumi Iwasaki

发表

Operator procedure verification with a rapidly reconfigurable simulator

Yumi Iwasaki, Robert S. Engelmore, Gary Fehr, 1994 .

Herbert A. Simon, Yumi Iwasaki, H. Simon, 1989, Artif. Intell..

Qualitativereasoningaboutphysicalsystemshasbecome one ofthemost excitingand productiveareasinArtificial Intelligence . Researchinthisareaisacompactmicrocosmrangingovermany ofthefundamentalissues andcontroversies inAI: from experimentalimplementationsof smart programs,to theoretical analysisofknowled

Benjamin Kuipers, Boi Faltings, Kenneth D. Forbus, 1991 .

How Things are Intended to Work: Capturing Functional Knowledge in Device Design

Richard Fikes, B. Chandrasekaran, Yumi Iwasaki, 1993, IJCAI.

Theories of Causal Ordering: Reply to de Kleer and Brown

Herbert A. Simon, Yumi Iwasaki, 1986, Artif. Intell..

QStruc: an approach for qualitative structural analysis

Renate Fruchter, Kincho H. Law, Yumi Iwasaki, 1993 .

MULTI DISCIPLINARY EARLY PERFORMANCE EVALUATION VIA LOGICAL DESCRIPTION OF MECHANISMS: DVD PICK UP HEAD EXAMPLE

Mark R. Cutkosky, Yumi Iwasaki, Masanori Ozawa, 1998 .

Towards a practical theory of reformulation for reasoning about physical systems

Sheila A. McIlraith, Berthe Y. Choueiry, Yumi Iwasaki, 2005, Artif. Intell..

Qualitative Structural Analysis Using Diagrammatic Reasoning

Kincho H. Law, Yumi Iwasaki, Shirley Tessler, 1995, IJCAI.

High performance computing in lattice QCD

Klaus Schilling, Yumi Iwasaki, Nicola Cabibbo, 1999, Parallel Comput..

On the Relationship between Model Abstraction and Causality: Variance of Causal Ordering under Abstraction Operations

Yumi Iwasaki, Y. Iwasaki, 1990 .

Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?

Daniel G. Bobrow, Adam Farquhar, Vijay A. Saraswat, 1995, IJCAI.

Knowledge-Level Analysis of the User Interface Design for a Compositional Modeling System

Yumi Iwasaki, Koizumi Yoshihiro, Y. Iwasaki, 1996 .

Safety Verification Proofs for Physical Systems

Yumi Iwasaki, Richard Fikes, Tony Loeser, 1998 .

Relevance Reasoning to Guide Compositional Modeling

Hiroshi Motoda, Yumi Iwasaki, Alon Y. Levy, 2004 .

Reasoning with multiple abstraction models

Yumi Iwasaki, Y. Iwasaki, 1993 .

Model compilation: An approach to automated model derivation

Kazuo Tanaka, Yumi Iwasaki, Catherine Baudin, 1990 .

Intelligent computational assistance for experiment design

Yumi Iwasaki, Peter Friedland, René Bach, 1984, Nucleic Acids Res..

The concept and implementation of skeletal plans

Yumi Iwasaki, Peter Friedland, Y. Iwasaki, 1985, Journal of Automated Reasoning.

SPEX: A Second-Generation Experiment Design System

Yumi Iwasaki, Peter Friedland, 1982, AAAI.

The Stanford how things work project

Richard Fikes, Yumi Iwasaki, Thomas R. Gruber, 1994 .

REDRAW-diagrammatic reasoning system for qualita-tive structural analysis

Kincho H. Law, Yumi Iwasaki, Shirley Tessler, 1996 .

An approach for qualitative structural analysis

Kincho H. Law, Renate Fruchter, Yumi Iwasaki, 1993, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

SPEX: A Second-Gcncration Espcrimcnt Iksifg System

Yumi Iwasaki, Pctcr Friedland, 1982 .

CFRL: A Language for Specifying the Causal Functionality of Engineered Devices

Richard Fikes, B. Chandrasekaran, Yumi Iwasaki, 1993, AAAI.

A Web-Based Compositional Modeling System for Sharing of Physical Knowledge

Richard Fikes, Adam Farquhar, Yumi Iwasaki, 1997, IJCAI.

utomated Model Select' for ulat io

Yumi Iwasaki, Alon Y. Levy, 1994 .

The mathematical bases for qualitative reasoning

Herbert A. Simon, Jayant Kalagnanam, Yumi Iwasaki, 1991, IEEE Expert.

Guest Editor's Introduction: Real-World Applications of Qualitative Reasoning

Yumi Iwasaki, Y. Iwasaki, 1997, IEEE Expert.

Functional representation as design rationale

Ashok K. Goel, B. Chandrasekaran, Yumi Iwasaki, 1993, Computer.

Formal Basis for Commonsense Abstraction of Dynamic Systems

Inderpal S. Bhandari, Yumi Iwasaki, Y. Iwasaki, 1988, AAAI.

Causal functional representation language with behavior-based semantics

Richard Fikes, B. Chandrasekaran, Yumi Iwasaki, 1995, Appl. Artif. Intell..

GENESIS, a knowledge-based genetic engineering simulation system for representation of genetic data and experiment planning

Yumi Iwasaki, Douglas L. Brutlag, Peter Friedland, 1982, Nucleic Acids Res..

Generating Qualitative Models for Structural Enginneering Analysis and Design

Kincho H. Law, Renate Fruchter, Renate Fruchter, 1991 .

Automated Model Selection for Simulation Based on Relevance Reasoning

Alon Y. Halevy, Richard Fikes, Yumi Iwasaki, 1997, Artif. Intell..

Causal Ordering in a Mixed Structure

Yumi Iwasaki, 1988, AAAI.

Acquiring and Complementing the Model for Diagnostic Tasks

Larry J. Eshelman, Yumi Iwasaki, Hervé Lambert, 1988, ECAI.

Device modelling environment: an interactive environment for modelling device behaviour

Yumi Iwasaki, Chee Meng Low, Y. Iwasaki, 1992 .

Real world applications of qualitative reasoning: Introduction to the special issue

Yumi Iwasaki, Y. Iwasaki, 1997 .

Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems

Adam Farquhar, Yumi Iwasaki, Marcos Vescovi, 1995, IJCAI.

A Compositional Modeling Language

Benjamin Kuipers, Brian Falkenhainer, Richard Fikes, 1996 .

Causality and Model Abstraction

Herbert A. Simon, Yumi Iwasaki, H. Simon, 1994, Artif. Intell..

Expert Opinion: Qualitative Reasoning and the Science of Design

Yumi Iwasaki, Y. Iwasaki, 1997, IEEE Expert.

Automated Model Selection for Simulation

Alon Y. Halevy, Yumi Iwasaki, A. Halevy, 1994, AAAI.

Retrospective on "Causality in Device Behavior"

Herbert A. Simon, Yumi Iwasaki, 1993, Artif. Intell..

Reasoning with Diagrammatic Representations: A Report on the Spring Symposium

N. Hari Narayanan, B. Chandrasekaran, Yumi Iwasaki, 1993, AI Mag..

CML: A Compositional Modeling Language

Daniel G. Bobrow, Benjamin Kuipers, Brian Falkenhainer, 1994 .

Causal Ordering in a

Yumi Iwasaki, 1988 .

Tenth International Workshop on Qualitative Reasoning : Stanford Sierra Camp, Fallen Leaf Lake, California, USA, 21-24 May 1996

Adam Farquhar, Yumi Iwasaki, 1996 .

Theories of causal ordering: reply to de Kleer and Brown

Herbert A. Simon, Yumi Iwasaki, 1989 .

Safety Veri cation Proofs for Physical

Yumi Iwasaki, SystemsTony Loeser, Richard FikesKnowledge, 1998 .