to improve the script: print all data available

 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Wirth, N.
TITLE:  Programming in MODULA-2
YEAR:1983

 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Wilensky
TITLE:  LISPCRAFT
YEAR:


 ***UNKNOWN OWNER:
NUMBER: KSG/KTM/TR4 
AUTHOR: T. R. Addis 
TITLE:  The Role of `Explanation' in Knowlegde Elicitation 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: KSG/KTM/TR/6 
AUTHOR: T. R. Addis 
TITLE:  A Framework for Knowlegde Elicitation 
YEAR:

 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: T. R. Addis 
TITLE:  Knowledge for design 
YEAR:

 ***UNKNOWN OWNER:
NUMBER: 2 
AUTHOR: Ronald J. Brachman and James G. Schmolze 
TITLE:  An Overview of the KL-ONE Knowlegde Representation }},  System 
YEAR:



 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: P. Elleby and H. E. Fargher and T. R. Addis 
TITLE:  Reactive Constraint-based Job-shop Scheduling 
YEAR:

 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: P. Elleby and H. E. Fargher and T. R. Addis 
TITLE:  A Constraint-based Scheduling System for VLSI Wafer   Fabrication 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: RR-90-04 
AUTHOR: Bernhard Hollunder and Werner Nutt 
TITLE:  Subsumption Algorithms for Concept Languages 
YEAR:

 ***UNKNOWN OWNER:
NUMBER: RR-90-06 
AUTHOR: Bernhard Hollunder 
TITLE:  Hybrid Inferences in KL-ONE-based Knowledge n  Representatio   Systems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Faruk Polat and Halil Altay G\"uvenir 
TITLE:  Knowledge Base Verification in an Expert System Shell 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Faruk Polat 
TITLE:  Knowledge Base Verification in an Expert System Shell  % :DATA1. 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR:  
TITLE:  
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Toru Ishida 
TITLE:  Optimizing Rules in Production System Programs 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Franz Barachini and Norbert Theuretzbacher 
TITLE:  The Challenge of Real-time Process Control for Systems Production 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Davis C. Wilkins 
TITLE:  Knowledge Base Refinement Using Apprenticeship Learning echnique T  s 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Steven Minton 
TITLE:  Quantitative Results Concerning the Utility of   Explanation-Based Learning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Thomas Ellman 
TITLE:  Approximate Theory Formation: An Explanation-Based ch}},  Approa 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Michael S. Braverman and Stuart J. Russel 
TITLE:  IMEX: Overcoming Intractability in Explanation-Based ning}},  Lear 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jeffrey Van Baalen and Randall Davis 
TITLE:  Overview of an Approach to Representation Design 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Bruce G. Buchanan and John Sullivan and Scott H. Clearwater}, 
TITLE:  Simulation-Assisted Inductive Learning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Ralph Baletta and William Mark 
TITLE:  Explanation-Baed Indexing of Cases 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Brain Falkenhainer 
TITLE:  The Utility of Difference-Based Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Mukesh Dalal 
TITLE:  Investigation Into a Theory of Knowledge Base Revision:   Preliminary Report 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: D. A. Pearce 
TITLE:  The Induction of Fault Diagnosis from Qualitative },  Models 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Peng Wu 
TITLE:  Design for Testability 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Yumi Iwasaki and Inderpal Bhandari 
TITLE:  Formal Basis for Commonsense Abstraction of Dynamic ms}},  Syste 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Yumi Iwasaki 
TITLE:  Causal Ordering in a Mixed Structure 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jean-Luc Dormoy 
TITLE:  Controlling Qualitative Resolution 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Benjamin Kuipers 
TITLE:  Using Incomplete Qualitative Knowledge in   Qualitative Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Paul Nielsen 
TITLE:  A Qualitative Approach to Mechanical Constraint 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Peter Struss 
TITLE:  Global Filters for Qualitative Behaviour 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Kenneth Man-Kam Yip 
TITLE:  Generating Global Behaviours Using Deep Knowledge   of Local Dynamics 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Wood W. Lee and Benjamin J. Kuilers 
TITLE:  Non-Intersection of Trajectories in Qualitative Phase ce:  Spa   A Global Constraint for Qualitative Simulation 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Daniel S. Weld 
TITLE:  Exaggeration 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Seshashayee Murhty 
TITLE:  Qualitative Reasoning at Multiple Resolutions 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Brian Falkenhainer and Kenneth D. Forbus 
TITLE:  Setting up Large-Scale Qualitative Models 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Phyllis Koton 
TITLE:  Reasoning about Evidence in Causal Explanations 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Johan de Kleer 
TITLE:  A General Labeling Algorithm for   Assumption-Based Truth Maintenance 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Kenneth D. Forbus 
TITLE:  Focusing the ATMS 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Michael Dixon and Johan de Kleer 
TITLE:  Massively Parallel Assumption-Based Truth Maintenance 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: T. Laffey and S. Weizenkamp and J. Read and S. Kao   and J. Schmidt 
TITLE:  Intelligent Real-Time Monitoring 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Peng Si Ow 
TITLE:  Reactive Plan Revision 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jos\'e A. Ambros-Ingerson and Sam Steel, 
TITLE:  Integrating Planning, Execution and Monitoring 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Marianne Winslett 
TITLE:  Reasoning about Action Using a Possible Models ,  Approach} 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: John Anderson and Arthur M. Farley 
TITLE:  Plan Abstraction Based on Operator Generalization 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: David Steler and Allen Newell 
TITLE:  Integrating Multiple Sources of Knowledge into oar,  Designer-S   an Automatic Algorithm Designer 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Michael R. Lowry 
TITLE:  Invariant Logic: A Calculus for Problem Reformulation 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Stephen Fickas and P. Nagarajan 
TITLE:  Being Suspicious: Critiquing Problem Specification 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Mark F. Orelup 
TITLE:  Dominic II: Meta-Level Control in Iterative Redesign 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR:  
TITLE:  
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR:  
TITLE:  
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Ethan Scarl 
TITLE:  Sensor Failure and Missing Data 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: John Kunz 
TITLE:  Case Examples of MBR Systems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Randall Davis 
TITLE:  Form and Content in Model Based Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Tom Bylender 
TITLE:  Complexity of Model-Based Diagnosis 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Daniel S. Weld 
TITLE:  Automated Model Switching 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Adam Farquar 
TITLE:  Focussing ATMS-Based Diagnosis and Prediction 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Walter Hamscher 
TITLE:  Business as a Domain for Model-Based Reasoning:   A Proposal to Use Explicit Representation of the Structure   and Behaviour of Business Entities for Assessing Audit Risk}}, 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Ravi Rastigy and Ken Sierzega and Muralidhar Rajappa 
TITLE:  Troubleshooting: When Modeling is Still the Trouble 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: David W. Franke 
TITLE:  Representing and Acquiring Teleological Descriptions 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Leo Joskowitz 
TITLE:  Geometry, Motion, and Model-Based Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Beth Adelson 
TITLE:  The Role of Model-Based Reasoning in Analogical },  Learning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Dean Allemang and Anne Keuneke 
TITLE:  Causal Reasoning at Higher Levels of Abstraction 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Vijai R. Bandekar 
TITLE:  IDEA-CONS: An Integrated Design Aid for Control ,  Systems} 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Catherine Baudin and Cecilia Sivard and Mote Zweben 
TITLE:  A Model Based Approach to Design Rationale ,  Conservation} 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Daniel Berleant 
TITLE:  A Unification of Numerical and Qualitative Model on}},  Simulati 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: David W. Franke andDaniel L. Dvorak 
TITLE:  Component Connection Models 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Gerhard Friegrich and Wolfgang Nejdl 
TITLE:  Fault Models or Physical Necessity 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Thomas P. Hamilton 
TITLE:  Addressing the Model Construction Bottleneck 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Rattikorn Hewett and Barbara Hayes-Roth and Adam Seiver 
TITLE:  Using Prime Models in Model-Based Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Lester J. Holtzblatt and Richard L. Piazza 
TITLE:  The Model-Based Diagnosis of Control Path Failures 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Equation Model Generation: Where Do Equations Come From 
TITLE:  Y. Iwasaki and K. Doshi and T. Gruber and R. Keller   and C. M. Low 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Richard M. Keller and Catherine Baudin and Yumi Iwasaki   and Pandurang Nayak and Kazuo Tanaka 
TITLE:  Deriving Shallow Rules From Underlying Device Models 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Wan-Yik Lee and Daniel Dvorak 
TITLE:  Learninmg Diagnostic Knowledge for Continous-Variable   Dynamic Systems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Patricia M. McGrown and Timothy J. Conway 
TITLE:  Real Time Monitoring and Diagnostics Using Model-Based   Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Amitabha Mukerjee 
TITLE:  Getting beneath the Geometry: A Systematic Approach to deling  Mo   Spacial Relations 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Alex Pentland 
TITLE:  Automatic Construction of Geomentric Models:   Abstraction of Multibody Dynamic Behaviour 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Philip Schaefer 
TITLE:  Available-Function Models for Achieving Tractability   in Model-Based Planning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jon Sticklen and B. Chandrasekaran and W. E. Bond 
TITLE:  Applying a Functional Approach for Model-Based },  Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Rex C. Stratton and Don B. Jarell 
TITLE:  Developing Integrating Quantitative and Qualitative s for  Model   for Reasoning about Physical Systems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Narayanan Subramanyan 
TITLE:  Diagnosing Flow Systems Using a Qualitative Clustering   Technique 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Pierre Von Nypelsser 
TITLE:  Qualitative Change Waves - The Automatic Detection   of Highway Traffic Incidents 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: David W. Tong and Christopher H. Jolly and Kevin C. Zalondek}, 
TITLE:  Compiling Quantitative Model-Based Diagnostics for ed  Embedd   Applications 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: jerry Weinberg and William Hagins and Gautam Biswas 
TITLE:  Extending Temporal Reasoning in Process-Oriented   Qualitative Readoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR:  
TITLE:  
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Johan de Kleer and Brian C. Williams 
TITLE:  Diagnosis as Identifying Consistent Modes of   Behaviour 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Gerhard Friedrich and Wolfgang Nejdl 
TITLE:  Generating Efficient Diagnostic Decision Tree   Procedures for Model-based Reasoning Systems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Oliver Raiman 
TITLE:  The Alibi Principle 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Alberta Bertin and Massimo Gallanti and Alberto Stefanini   and Giorgio Tornielli 
TITLE:  Diagnostic Reasoning Based on Dependency Analysis 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Mich\'ele Basseville and Albert Benveniste   and Alias Wahnon 
TITLE:  Model based diagnosis: a case study in   vibration mechanics 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Peter Struss 
TITLE:  Diagnosis as a process 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: R. R. Bakker and D. C. van Soest and P. S.   Hogenhuis and N. J. I. Mars 
TITLE:  Fault models in structural diagnosis 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Luca Chittaro and Cinzia Costantini and Giovanni   Guida and Carlo Tasso and Elio Toppano 
TITLE:  Diagnosis based on cooperation of multiple knowledge   sources. 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jon Sticklen and A. Goel and B. Chandrasekaran   and W. E. Bond 
TITLE:  Functional Reasoning for Dersign and Diagnosis 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Chris Price and John Hunt 
TITLE:  Augmenting Qualitative Diagnosis 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: D. A. Pearce 
TITLE:  Inducing a Fault Diagnosis System from an   Object-Oriented Qualitative Model 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Johan de Kleer 
TITLE:  Entropy without probalities 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR:  
TITLE:  
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Maurice Bruynooghe and Luc De Raedt and Danny De Schreye , 
TITLE:  Explanation-Based Program Transformation 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jitu Patel 
TITLE:  On the Road To Automatic Knowledge Engineering 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Brian R. Gaines and Mildred Shaw 
TITLE:  Comparing the Conceptual Systems of Experts 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Amy Unruh and Paul S. Rosenbloom 
TITLE:  Abstraction in Problem Solving and Learning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Shaul Markowitch and Paul D. Scott 
TITLE:  Utilization Filtering: a method for the inherent ess  harmfuln   of in deductively learned knowledge 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Marianne Winslett 
TITLE:  Sometimes Updates Are Circumscription 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Vladimir Lifschitz and Arkady Rabinov 
TITLE:  Things That Change by Themselves 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Walter Hamscher 
TITLE:  Temporally Coarse representation of Behaviour for ased  Model-B   Troubleshooting of Digital Circuits 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Mark Buddy and Thomas Dean 
TITLE:  Solving Time-Dependent Planning Problems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Naiping Keng and David Y. Y. Yun 
TITLE:  A Planning/Scheduling Methodology for the Constrained   Resource Problem 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Bon K. Sy 
TITLE:  Qualitative Reasoning of Bayesian Belief   Using Meta-knowledge 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Yoshiteru Ishida 
TITLE:  Using Global Properties for Qualitative Reasoning 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Renato de Mori and Robert Prager 
TITLE:  Perturbation Analysis with Qualitative Models 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jon Doyle and Elisha P. Sacks 
TITLE:  Stochastic Analysis of Qualitative Dynamics 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Andrew Glesey 
TITLE:  Automated Physical Modeling 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Richard J. Doyle and Suzanne M. Sellers and   David J. Atkinson 
TITLE:  A Focused, Context-Sensitive Approach to Monitoring 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Daniel Dvorak and Benjamin Kuipers 
TITLE:  Model-Based Monitoring of Dynamic Systems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: David Poole 
TITLE:  Normality and Faults in Logic-Based Diagnosis 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Luca Console and Daniele Theseider Dupr\'e   and Pietro Torasso 
TITLE:  A Theory of Diagnosis for Incomplete Causal Models 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Peter Struss and Oskar Dressler 
TITLE:  ``Physical Negation'' - Integration Fault Models into  the   General Diagnostic Engine 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Johan de Kleer and Brian C. Williams 
TITLE:  Diagnosis with Behavioral Modes 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Boi Falting and Emmanuel Baechler and Jeff Primus 
TITLE:  Reaoning about Kinematic Topology 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Leo Joskowicz 
TITLE:  Simplification and Abstraction of Kinemtatic  Behaviors 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Richard J. Doyle 
TITLE:  Reasoning about Hidden Mechanisms 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Massimo Gallanti and Marco Rocato and Alberto Stefanini   and Giordio Tornelli 
TITLE:  A Diagnostic Algorithm based on Models at Different   Level of Abstraction 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Yoshiyuki Koseki 
TITLE:  Experience Learning in Model-Based Diagnostic Systems 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Jiah Chen and Sagur N. Srihari 
TITLE:  Candidate Ordering and Elimination in Model-Based   Fault Diagnosis 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: B. Freitag and B. huber and W. Womann 
TITLE:  An integrated knowledge based assembly control system  for   automobile manufacturing 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Joseph Halpern 
TITLE:  An Anlaysis of First-Order Logics of Probability 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Peter Jackson 
TITLE:  On the Semantics of Counterfactuals 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Ashok Goel and B. Chandrasekaran 
TITLE:  Functional Representation of Designs and Redesign   Problem Soving 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Hirofumi Katsuno and Alberto O. Mendelzon 
TITLE:  A Unified View of Propositional Knowledge Base  Updates 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Sanjaya Addanki and Roberto Cremonini and J.   Scott Penberthy 
TITLE:  Reaoning About Assumptions in Graphs of Models 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Chris Tong and Phil Franklin 
TITLE:  Tuning a Knowledge Base of Refinement Rules and   To Create Good Circuit Designs 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Claus,Volker 
TITLE:  Informatik-Grundvorlesungen  WS 72/73 und SS 73 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: Specification Languages and Logic Programming 
YEAR:1988


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:1974


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their computations 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of  partial functions and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functio ns and their computations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: Manna, Z 
TITLE:  Recursive definitions of partial functions and their com putations :PUBLISHER.? 
YEAR:1972


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: computational aspects	
YEAR:1993


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


 ***UNKNOWN OWNER:
NUMBER: 
AUTHOR: 
TITLE: 
YEAR:


Done.