---
title: "Artificial Intelligence 1989 — all accepted papers"
description: "All 65 papers of Artificial Intelligence 1989, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/artificial-intelligence/1989/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/artificial-intelligence/1989/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/) / [1989](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/1989/) / papers

# Artificial Intelligence 1989: all accepted papers

65 papers · the most cited first · [← Artificial Intelligence 1989](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/1989/)

1. **[The psychology of everyday things ↗](https://doi.org/10.1016/0004-3702(89)90083-0)**Daniel S. Weld*2,105 citations*
2. **[The structure-mapping engine: Algorithm and examples](https://md.research.elamur.ai/free/en/papers/falkenhainer-1989-structure-mapping-engine-algorithm-examples/)**Brian C. Falkenhainer, Kenneth D. Forbus, Dedre Gentner*1,454 citations · our summary*
3. **[Connectionist learning procedures ↗](https://doi.org/10.1016/0004-3702(89)90049-0)**Geoffrey E. Hinton*1,430 citations*
4. **[On computation and cognition: Toward a foundation of cognitive science ↗](https://doi.org/10.1016/0004-3702(89)90062-3)**Zenon W. Pylyshyn*1,132 citations*
5. **[Classifier systems and genetic algorithms ↗](https://doi.org/10.1016/0004-3702(89)90050-7)**Lashon B. Booker, David E. Goldberg, John H. Holland*952 citations*
6. **[Tree clustering for constraint networks ↗](https://doi.org/10.1016/0004-3702(89)90037-4)**Rina Dechter, Judea Pearl*539 citations*
7. **[Models of incremental concept formation ↗](https://doi.org/10.1016/0004-3702(89)90046-5)**John H. Gennari, Pat Langley, Doug H. Fisher*453 citations*
8. **[Computation and cognition: Toward a foundation of cognitive science ↗](https://doi.org/10.1016/0004-3702(89)90061-1)**Mark Stefik*362 citations*
9. **[Explanation-based learning:A problem solving perspective ↗](https://doi.org/10.1016/0004-3702(89)90047-7)**Steven Minton, Jaime Carbonell, Craig A. Knoblock et al.*225 citations*
10. **[Computational approaches to analogical reasoning ↗](https://doi.org/10.1016/0004-3702(89)90003-9)**Rogers P. Hall*223 citations*
11. **[SALT: A knowledge acquisition language for propose-and-revise systems ↗](https://doi.org/10.1016/0004-3702(89)90002-7)**Sandra Marcus, John P. McDermott*188 citations*
12. **[On the relationship between circumscription and negation as failure ↗](https://doi.org/10.1016/0004-3702(89)90068-4)**Michael Gelfond, Halina Przymusinska, Teodor C. Przymusiński*153 citations*
13. **[A logical framework for depiction and image interpretation ↗](https://doi.org/10.1016/0004-3702(89)90008-8)**Raymond Reiter, Alan K. Mackworth*149 citations*
14. **[Neural darwinism: The theory of neuronal group selection ↗](https://doi.org/10.1016/0004-3702(89)90004-0)**Stephen W. Smoliar*146 citations*
15. **[An optimal k-consistency algorithm ↗](https://doi.org/10.1016/0004-3702(89)90080-5)**Martin Cooper*133 citations*
16. **[Creativity and learning in a case-based explainer ↗](https://doi.org/10.1016/0004-3702(89)90053-2)**Roger C. Schank, David B. Leake*127 citations*
17. **[A theory of the origins of human knowledge ↗](https://doi.org/10.1016/0004-3702(89)90052-0)**John R. Anderson*124 citations*
18. **[A parallel network that learns to play backgammon ↗](https://doi.org/10.1016/0004-3702(89)90017-9)**G. Tesauro, Terrence J. Sejnowski*121 citations*
19. **[Shape from texture: General principle ↗](https://doi.org/10.1016/0004-3702(89)90066-0)**Kenichi Kanatani, Tsai-Chia Chou*121 citations*
20. **[An algorithm to compute circumscription ↗](https://doi.org/10.1016/0004-3702(89)90067-2)**Teodor C. Przymusiński*120 citations*
21. **[Heuristic search in restricted memory ↗](https://doi.org/10.1016/0004-3702(89)90010-6)**P.P. Chakrabarti, S. Ghose, A. Acharya et al.*119 citations*
22. **[Design by derivational analogy:Issues in the automated replay of design plans ↗](https://doi.org/10.1016/0004-3702(89)90048-9)**Jack Mostow*111 citations*
23. **[A four-valued semantics for terminological logics ↗](https://doi.org/10.1016/0004-3702(89)90036-2)**Peter F. Patel‐Schneider*105 citations*
24. **[Analogical representations of naive physics ↗](https://doi.org/10.1016/0004-3702(89)90055-6)**FRANCESCO GARDIN, Bernard Meltzer*103 citations*
25. **[Reasoning about truth ↗](https://doi.org/10.1016/0004-3702(89)90027-1)**Graham Priest*103 citations*
26. **[Assumptions, beliefs and probabilities ↗](https://doi.org/10.1016/0004-3702(89)90078-7)**Kathryn Blackmond Laskey, Paul E. Lehner*96 citations*
27. **[A circumscriptive theorem prover ↗](https://doi.org/10.1016/0004-3702(89)90026-x)**Matthew L. Ginsberg*89 citations*
28. **[Introduction:Paradigms for machine learning ↗](https://doi.org/10.1016/0004-3702(89)90045-3)**Jaime Carbonell*87 citations*
29. **[BS∗: An admissible bidirectional staged heuristic search algorithm ↗](https://doi.org/10.1016/0004-3702(89)90069-6)**James B. H. Kwa*82 citations*
30. **[Data-driven approaches to empirical discovery ↗](https://doi.org/10.1016/0004-3702(89)90051-9)**Pat Langley, Jan M. Żytkow*76 citations*
31. **[Undecidability of subsumption in NIKL ↗](https://doi.org/10.1016/0004-3702(89)90030-1)**Peter F. Patel‐Schneider*75 citations*
32. **[Induction: Process of inference, learning and discovery ↗](https://doi.org/10.1016/0004-3702(89)90013-1)**Jeff Shrager*74 citations*
33. **[Generating context-sensitive responses to object-related misconceptions ↗](https://doi.org/10.1016/0004-3702(89)90009-x)**Kathleen F. McCoy*72 citations*
34. **[Logical foundations of artificial intelligence ↗](https://doi.org/10.1016/0004-3702(89)90072-6)**John F. Sowa*60 citations*
35. **[Default reasoning in semantic networks: A formalization of recognition and inheritance ↗](https://doi.org/10.1016/0004-3702(89)90016-7)**Lokendra Shastri*57 citations*
36. **[Controlling backward inference ↗](https://doi.org/10.1016/0004-3702(89)90025-8)**David Edward Smith*48 citations*
37. **[Pattern knowledge and search:The SUPREM architecture ↗](https://doi.org/10.1016/0004-3702(89)90056-8)**Hans Berliner, Carl Ebeling*46 citations*
38. **[Miracles in formal theories of action ↗](https://doi.org/10.1016/0004-3702(89)90059-3)**Vladimir Lifschitz, Arkady Rabinov*45 citations*
39. **[Eliminating the fixed predicates from a circumscription ↗](https://doi.org/10.1016/0004-3702(89)90018-0)**Johan de Kleer, Kurt Konolige*44 citations*
40. **[Logical foundations of artificial intelligence ↗](https://doi.org/10.1016/0004-3702(89)90071-4)**Stephen W. Smoliar*42 citations*
41. **[Prolog and natural-language analysis ↗](https://doi.org/10.1016/0004-3702(89)90032-5)**C.Ravi Shankar*36 citations*
42. **[Understanding natural language ↗](https://doi.org/10.1016/0004-3702(89)90038-6)**Dan Jurafsky*30 citations*
43. **[On logical foundations of artificial intelligence ↗](https://doi.org/10.1016/0004-3702(89)90073-8)**Nils J. Nilsson*28 citations*
44. **[MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ↗](https://doi.org/10.1016/0004-3702(89)90035-0)**Dominique Pastre*22 citations*
45. **[A theoretical analysis of conjunctive-goal problems ↗](https://doi.org/10.1016/0004-3702(89)90081-7)**David Joslin, John W. Roach*21 citations*
46. **[On the existence of nonterminating queries for a restricted class of PROLOG-clauses ↗](https://doi.org/10.1016/0004-3702(89)90012-x)**Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse*19 citations*
47. **[A generalization of collapsible cases of circumscription ↗](https://doi.org/10.1016/0004-3702(89)90070-2)**Arkady Rabinov*18 citations*
48. **[On the relation between default and autoepistemic logic ↗](https://doi.org/10.1016/0004-3702(89)90085-4)***10 citations*
49. **[The importance of open and recursive circumscription ↗](https://doi.org/10.1016/0004-3702(89)90029-5)**Philippe Besnard, Yves Moinard, Robert E. Mercer*7 citations*
50. **[Truth and meaning ↗](https://doi.org/10.1016/0004-3702(89)90028-3)**Donald R. Perlis*6 citations*
51. **[A computational model for process-grammar ↗](https://doi.org/10.1016/0004-3702(89)90058-1)**Wei‐Chung Lin, Cheng-Chung Liang, Chin-Tu Chen*5 citations*
52. **[Fixed points in the propositional nonmonotonic logic ↗](https://doi.org/10.1016/0004-3702(89)90057-x)**Grigory F. Shvarts*2 citations*
53. **[Computation and cognition: Toward a fundation for cognitive science ↗](https://doi.org/10.1016/0004-3702(89)90060-x)**Alan K. Mackworth*1 citation*
54. **[Minimal rationality ↗](https://doi.org/10.1016/0004-3702(89)90005-2)**Lee C. Spector, James Hendler*1 citation*
55. **[Refinements to depth-first iterative-deepening search in automatic theorem proving ↗](https://doi.org/10.1016/0004-3702(89)90011-8)**Xumin Nie, David A. Plaisted*1 citation*
56. **[Announcement ↗](https://doi.org/10.1016/0004-3702(89)90006-4)**
57. **[Announcement ↗](https://doi.org/10.1016/0004-3702(89)90014-3)**
58. **[Announcement ↗](https://doi.org/10.1016/0004-3702(89)90021-0)**
59. **[Announcement ↗](https://doi.org/10.1016/0004-3702(89)90063-5)**
60. **[Announcement ↗](https://doi.org/10.1016/0004-3702(89)90074-x)**
61. **[Announcements ↗](https://doi.org/10.1016/0004-3702(89)90033-7)**
62. **[Announcements ↗](https://doi.org/10.1016/0004-3702(89)90039-8)**
63. **[Announcements ↗](https://doi.org/10.1016/0004-3702(89)90086-6)**
64. **[Master index — Volumes 31–40 ↗](https://doi.org/10.1016/0004-3702(89)90054-4)**
65. **[Note from the book review editor ↗](https://doi.org/10.1016/0004-3702(89)90084-2)**
- [← back to](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/1989/) — Artificial Intelligence 1989