Name

Title                                                  [Back to Proceedings main page]

 

Contents

 

Cover

Ahriz, H., Tomasena, M.

Modeling as a Fragment Assembling Process

Bailey-Kellogg, C. and Zhao, F.

Influence-Based Model Decomposition

Biris, E. and Shen, Q.

Automatic Modelling using Bayesian Networks for Explanation Generation

Bouwer, A. and Bredeweg, B.

Explanation and Qualitative Reasoning

Bruno, S. and Mathieu, P.

Qualitative Reasoning, Analogical Reasoning and Conceptualization in Physics: A Psychological Point of View

Clancy, D.J . and Kuipers, B.J.

Divide and Conquer: A Component-based Qualitative Simulation Algorithm

Coghill, G.M. and Chantler,M.J.

 Constructive and Non-constructive Asynchronous Qualitative Simulation

Donlon, CPT J.J. and Forbus, K.D.

 Using a Geographic Information System for Qualitative Spatial Reasoning about Trafficability

Erignac. C.A.

Semi-Qualitative Simulation for Virtual Environments

Ferguson, R.W. and Forbus, K.D.

GeoRep: A Flexible Tool for Spatial Representation of Line Drawings

Flores, J.J . and Cerda, J.

Modeling Circuits with Multiple Grounded Sources: An Efficient Clustering Algorithm

Förstner, D. and Lunze, J.

Qualitative Modelling of a Power Stage for Diagnosis

Heidtke, K.R. and Schulze-Kremer, S.

Improving Semi-Quantitative Reasoning by Landmark Approximation

Hofbaur, M. and Dourdoumas, N.

Improving Semiquantitative Simulation by Using Lyapunov Analysis

Hong, W. and Lang, K.R .

A Philosophical Foundation of Qualitative Modeling Methodologies Based on the Yin-Yang Principle

Kitamura, Y. and Mizoguchi, R.

Meta-Functions of Artifacts

Lee, M.H.

Qualitative Modelling of Linear Networks in ECAD Applications

McManus, A., Price, C., Snooke, N. and Joseph, R.

Design Verification of Automotive Electrical Circuits

Mosterman, P.J. and Biswas, G.

Deriving Discontinuous State Changes for Reduced Order Systems and the Effect on Compositionality

Ortega, J.A., Gasca, R.M. and Toro,M.

A Semiqualitative Methodology for Reasoning about Dynamic Systems

Say, A. C. Cem

Using Inter-Behavior Contradictions for Modeling and Diagnosis

Schaich, D., King, R., Keller, U. and Chantler M.

Interval Identification: A Modelling and Design Technique for Dynamic Systems

Shen, Q., Peng, T. and Milne R.

Dimensional Analysis Based Causal Ordering

Struss, P. and Sachenbacher, M.

Significant Distinctions Only: Context-dependent Automated Qualitative Modeling

Suc, D. and Bratko, I.

Modelling of Control Skill by Qualitative Constraints

Travé-Massuyès, L., Prats, F., Sánchez, M., Agell, N. and Pastor, J.

Qualitative Agents for Assessing Human Reasoning in Process Supervision

Vatcheva, I. and de Jong, H.

Semi-Quantitative Comparative Analysis and its Application

Washio, T., Motoda, H. and Niwa, Y.

Automated Scientific Modeling from Observed Data and its Application to Socio-Psychology

Yamasaki,T., Yumoto,M., Ohkawa, T., Komoda, N. and Miyasaka, F.

High-Speed Stochastic Qualitative Reasoning by Model Division and States Composition

Overlap Papers from DX99

 

Aguado Chao, J. C. and Aguilar Martín, J.

A Mixed Qualitative -Quantitative Classification Method Applied to Diagnosis

Cascio, F., Console, L., Guagliumi, M., Osella, M., Panati, A., Sottano, S. and Theseider Dupré, D.

Generating On-board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models

Lunze, J.

Discrete-event Modelling and Diagnosis of Quantised Dynamical Systems

Mauss, J. and Sachenbacher, M.

Conflict-driven Diagnosis using Relational Aggregations

McIlraith, S. A.

Model-based Programming using Golog and the Situation Calculus

Mcllraith, S., Biswas, G., Clancy, D. and Gupta, V.

Towards Diagnosing Hybrid Systems

Milde, H., Hotz, L., Kahl, J. and Wessel, S.

Qualitative Analysis of Electrical Circuits for Computer-based Diagnostic Decision Tree Generation

Provan, G.

Model-based Diagnostics and Recovery: An Integrated Approach

Williams, B. C. and Gupta, V.

Unifying Model-based and Reactive Programming within a Model-based Executive