Artificial Intelligence, Volume 41

Volume 41, Number 1, November 1989

Brian Falkenhainer, Kenneth D. Forbus, Dedre Gentner: The Structure-Mapping Engine: Algorithm and Examples. 1-63 BibTeX
Kathryn B. Laskey, Paul E. Lehner: Assumptions, Beliefs and Probabilities. 65-77 BibTeX

Research Note

Russell Greiner, Barbara A. Smith, Ralph W. Wilkerson: A Correction to the Algorithm in Reiter's Theory of Diagnosis. 79-88 BibTeX
Martin C. Cooper: An Optimal k-Consistency Algorithm. 89-95 BibTeX
David Joslin, John W. Roach: A Theoretical Analysis of Conjunctive-Goal Problems. 97-106 BibTeX

Book Review

Daniel S. Weld: Donald A. Norman, The Psychology of Everyday Things. 111-114 BibTeX

Raymond Reiter, Alan K. Mackworth: A Logical Framework for Depiction and Image Interpretation. 125-155 BibTeX
Kathleen F. McCoy: Generating Context-Sensitive Responses to Object-Related Misconceptions. 157-195 BibTeX
P. P. Chakrabarti, Sujoy Ghose, Arup Acharya, S. C. De Sarkar: Heuristic Search in Restricted Memory. 197-221 BibTeX
Xumin Nie, David A. Plaisted: Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving. 223-235 BibTeX
Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse: On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. 237-248 BibTeX

Book Review

Jeff Shrager: John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and Paul R. Thagard, Induction: Process of Inference, Learning and Discovery. 249-252 BibTeX

Wei-Min Shen: Functional Transformations in AI Discovery Systems. 257-272 BibTeX
Rina Dechter: Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition. 273-312 BibTeX
Elisha Sacks: Automatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximations. 313-364 BibTeX

Research Note