IJCAI 87-volume 1


A Theoretical Framework for Consistency Techniques in Logic Programming 

Fascal van Hentenryck                  2                    

Logic Program Derivation for a Class of First Order Logic Relations 

George Dayantis              9                             

PLAN LOG: A Language Framework for the Integration of Procedural and Logical Programming

 Bertram Fronhbfer                         15 

An Environment Model for the Integration of Logic and Functional Programming .

 Pierre E. Bonzon                           18

  Network of Communicating Logic Programs and Its Semantics  

Susumu Yamasaki                  24

Constraints in a Hybrid Knowledge Representation System 

 H.W. Guesgen, U. Junker, and A. Voss         30

  Extending Logic Programming to Object Programming: The System Lap 

Herman /line and Henry Kanoui    34

A Uniform Model for Object-Oriented Languages Using the Class Abstraction

Jean-Pierre Briot and Pierre Cointe       40

Reflection as a Tool for Integration: An Exercise in Procedural Introspection

Roberto Ghislanzoni, Luca Spampinato, and Giorgio Tornielli     44

A Parallel Logic Programming Language for PEPSys  

Michael Ratcliffe and Jean-Claude Syre           48

 Parallelism in LISP        

  Michael van Biema            56

A Distributed Approach for Inferring Production Systems  

Ching-Chi Hsu, Shao-Ming Wu, and Jan-Jan Wu      62

Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG  

 Giorgio Montini       68

 Amalgamating Multiple Programming Paradigms in PROLOG    

 Yoshiyuki Koseki        76

 Graphical Debugging with the Transparent PROLOG Machine (TPM)

 Marc Eisenstadt and Mike Brayshaw               83

A Logic-based Architecture for Knowledge Management      

 Damian Black and John Manley                        87

A Tool for Building Second Generation Expert Systems  

Xueiun Tong, Zhiiun He, and Ruizao Yu             91

X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces

 Hans-Werner Hein, Gert M. Kellerman, and Christoph G. Thomas              97

Knowledge Engineering Tools at the Architecture Level          

Thomas Gruber and Paul Cohen         100

Opportunistic Backward Chaining (paper unavailable)  

Paul V. Haley - NA


Surprisingness and Expectation Failure: What's the Difference?

Andrew Ortony and Derek Partridge              106

Explaining and Repairing Plans that Fail                

 Kristian J. Hammond                     109

An Analysis of Psychological Experiments on Non-Monotonic Reasoning   

Edward Hoenkamp               115

 Multiple Agents and the Heuristic Ascription of Belief     

Yorick Wilks andAfzal Ballim             118

Language Acquisition: Learning a Hierarchy of Phrases            

Uri Zernick                 125

 Learning Idioms—With and Without Explanation                                  

Uri Zernick          133

Understanding New Metaphors                                                                          

James H. Martin                137

A Representation for Natural Category Systems   

Sandra L. Peters and Stuart C. Shapiro           140

A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule

Michael Pazzani and Michael Dyer                        147

Marker-Passing and Microfeatures                                          

 James A. Hendler   151

Information Retrieval from Never-Ending Stories (paper unavailable)   

  Lisa F. Rau -NA

Spontaneous Retrieval in a Conceptual Information System   

 Lisa F. Rau                155

How Can a Program Meant                                                             

Donald Perlis                  163

A Shell for Intelligent Help Systems             

Joost Breuker, Radboud Winkels, and Jacobjin Sandberg         167

Intelligent Case Selection and Presentation                 

 Robert Farrell       174

A Critic for LISP                                                                                 

Gerhard Fischer           177

Implementing a Model of Human Plausible Reasoning  

Michelle Baker, Mark H. Burstein, and Allan M. Collins          185

A Framework for Representing Tutorial Discourse     

Beverly  Woolf and Tom Murray            189


On the Discovery of Mathematical Theorems                   

Susan L Epstein                 194

Towards an Integrated Discovery System

Bernd Nordhausen and Pat Langley             198

Knowledge-based Knowledge Elicitation                              

Joachim Diederich          201

The Classification, Detection and Handling of Imperfect Theory Problems

Shankar Rajamoney and Gerald DeJong         205

 Non-Cumulative Learning in METAXA.3                             

Werner Emde      208

Concepts in Conceptual Clustering                                      

Robert E. Stepp            211

Pattern Clustering: An Artificial Intelligence Approach           

B. Shekar, M. Narasimha Murty, and G. Krishna          214

Hierarchical Credit Allocation in a Classifier System                                            

Stewart W. Wilson              217

Explanation-based Generalization in a Logic-Programming Environment                    

 Haym Hirsh           221

Strategies for Learning Search Control Rules: An Explanation-based Approach  

Steven Minton and Jaime G. Carbonell                  228

An Explanation-based Approach to Generalizing Number                  

Jude W. Shavlik and Gerald F DeJong                236

Approximation in Mathematical Domains                                                                  

Scott W. Bennett                                            239

On the Operationality/Generality Trade-off in Explanation-based Learning                    

Alberto Maria Segre                                          242

Failsafe—A Floor Planner that Uses EBG to Leam from Its Failures                

Jack Mostow and Neeraj Bhatnagar                    249

Learning Strategies by Reasoning about Rules                                                    

D. Paul Benjamin                  256

 An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning

 Brian Falkenhainer                             260

A Logical Approach to Reasoning by Analogy                        

Todd R. Davies and Stuart J. Russell                          264

DISCTPLE-1: Interactive Apprentice System in Weak Theory Fields 

Yves Kodratoff and Gheorghe Tecuci                       271

The Use of Explanations for Similarity-based Learning                           

Andrea Pohoreckyj Danyluk       274

 Using Prior Learning to Facilitate the Learning of New Causal Theories

Michael Pazzani, Michael Dyer, and Margot Flowers 277

Learning in the Limit in a Growing Language                              

Ranan B. Banerji           280

Inductive Inference of Context-free Languages— Context-free Expression Method

Takeshi Yokomori           283

Duce An Oracle-based Approach to Constructive Induction          

Stephen Muggleton          287

Guiding Constructive Induction for Incremental Learning from Examples         

Larry Watanabe and Renee Elio          293

Multiple Convergence: An Approach to Disjunctive Concept Acquisition   

Kenneth S.Murray          297

Hypercuboid-Formation Behaviour of Two Learning Algorithms  

Chris Thornton          301

Generating Production Rules from Decision Trees                            

J.R. Quintan           304

Layered Concept-Learning and Dynamically Variable Bias Management   

Larry  Rendell, Raj Sheshu, and David Tcheng         308

A Formal Approach to Learning From Examples                  

 James P. Delgrande           315

Network Learning on the Connection Machine                        

Guy Blelloch and Charles R. Rosenberg         323

CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design    

David Steier            327

Combining Weak Learning Heuristics in General Problem Solvers     

 T.L McCluskey           331

Learning General Search Control from Outside Guidance       

Andrew Golding, Paul S. Rosenbloom, and John E. Laird             334

Machine Learning for Software Reuse                

Walter L Hill          338

CHARADE: A Rule System Learning System          

Jean-Gabriel  Ganascia             345

Noise and Knowledge Acquisition          

Michel V. Manago and Yves Kodratoff       348

From Application Shell to Knowledge Acquisition System           

Gary S. Kahn           355

SIS: A Shell for Interview Systems         

 Atsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, and Osamu Kakusho          359

Development of an Expert System for Diagnosing Problems on a Paper Machine    

Nancy Gardner Margolis       362

MUNIN—A Causal Probabilistic Network for Interpretation of Electromyographic Findings 

Steen Andreassen, Marianne Woldbye, Bj0rn Falck, and Stig K. Andersen          366

 Uncertainty and Probability                                        

Jane Terry Nutter               373

Network Regions: Alternatives to the Winner-Take-All Structure  

Hon Wai Chun, Lawrence A. Bookman, and Niki Afshartous               380

Nonmonotonic Logics: Meaning and Utility                        

Yoav Shoham                  388

 On the Relation Between Default Theories and Autoepistemic Logic                 

Kurt Konolige       394

 Tractable Meta-Reasoning in Propositional Logics of Belief               

 Gerhard Lakemeyer       401

 The Logic of Occurrence                     

 Kenneth  D. Forbus       409

The Relevance of Irrelevance                           

Devika Subramanian and Michael R. Genesereth           416

A Logic for Representing Default and Prototypical Properties        

James P. Delgrande           423

Qualitative Kinematics: A Framework           

Kenneth D. Forbus, Paul Nielson, and Boi Faltings        430

Qualitative Kinematics in Mechanisms                     

 Bol Faltings    436

 Qualitative Reasoning in Electronic Fault Diagnosis         

 Padraig Cunningham  443

Commonsense Reasoning with Verbs    

Joyce P. McDowell and Kathleen Dahlgren   446

Non-Standard Semantics for the Method of Temporal Arguments       

Brian A. Haugh       449

 Time Structures for Al                                                             

Edward P. K. Tsang         456

The Completeness of a Natural System for Reasoning with Time Intervals      

Peter Ladkin                  462

A Representation Framework for Continuous Dynamic Systems          

Peter Raulefs                  468

Temporal Event Conceptualization                                    

Krishna Kumar and Amitabha Mukerjee      472

 A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems 

 David S. Touretzky, John F. Horty, and  Richmond H. Thomason              476

The Logic of Inheritance in Frame Systems                             

Gerhard Brewka                  483

Relating Default Logic and Circumscription                                    

 David W. Etherington              489

A Semantics for Default Logic                  

David W. Etherington              495

Proving Facts about "I"                                          

 Michael Miller and Donald Perlis        499

 Belief Functions for Real-Time Script Processing         

Philip Schaefer           502

On Definitional Processes in Knowledge Reconstruction Systems       

 Peter Schefe          509

Program Understanding with the Lambda Calculus                           

 Stanley Letovsky           512

 Inference without Chaining                                                                                

 Alan M. Frisch          515

Local Pragmatics                                                                  

Jerry R. Hobbs and Paul Martin          520

Hardware Diagnosis as Program Debugging                                                             

Ajay Gupta                     524

DANTES: An Expert System for Real-Time Network Troubleshooting 

 Robert Mathonet, Herwig Van Cotthem, and Leon Vanryckeghem             527

 Repair Strategies in a Diagnostic Expert System                                            

Jeff Pepper and Gary S. Kahn                  531

Performance in Practical Problem Solving                             

Leo B. Hartman and Josh D. Tenenberg               535

Drastic Cut of Man's Work in Reliability Studies by Using an Expert System               

 M. Bouissou and N. Watte                     541

 Graphical Deep Knowledge for Intelligent Machine Drafting                      

 James Geller and Stuart C. Shapiro              545

Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics

Agustin A. Araya and Sanjay Mittal             552

 What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems   

David Klein and Tim Finin                  559

Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object Al Environme

Mihai Barbuceanu, Stefan Trausan-Matu, and Balint Molnar             563

Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer

Paul McKevitt and Yorick Wilks           569

 Planning and Executing Office Procedures in Project ASPERA    

M. Cristina Bena, Giorgio Montini, and Franco Sirovich              576

 Deduction-based Region-Use Planning                     

Robin B. Stanton and Hugh G. Mackenzie                  584

A Multi-Attribute Approach to Knowledge Representation for Loan Granting        

Suzanne Pinson           588

 An Integration Tool for Life-Cycle Engineering                                               

Kathryn M. Chalfan            592

GLIMPSE—A Statistical Adventure                        

David E. Wolstenholme and Carl M. O'Brien           596