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

# Artificial Intelligence 1987: all accepted papers

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

1. **[On understanding computers and cognition: A new foundation for design ↗](https://doi.org/10.1016/0004-3702(87)90026-9)**Terry A. Winograd, Fernando Flores*3,677 citations*
2. **[A theory of diagnosis from first principles ↗](https://doi.org/10.1016/0004-3702(87)90062-2)**Raymond Reiter*2,915 citations*
3. **[SOAR: An architecture for general intelligence](https://md.research.elamur.ai/free/en/papers/laird-1987-soar-architecture-general-intelligence/)**John E. Laird, Allen Newell, Paul S. Rosenbloom*2,419 citations · our summary*
4. **[Diagnosing multiple faults ↗](https://doi.org/10.1016/0004-3702(87)90063-4)**Johan de Kleer, Brian Charles Williams*2,039 citations*
5. **[Three-dimensional object recognition from single two-dimensional images ↗](https://doi.org/10.1016/0004-3702(87)90070-1)**David G. Lowe*1,283 citations*
6. **[Planning for conjunctive goals ↗](https://doi.org/10.1016/0004-3702(87)90092-0)**David Chapman*1,112 citations*
7. **[Understanding computers and cognition: A new foundation for design ↗](https://doi.org/10.1016/0004-3702(87)90024-5)**Lucy A. Suchman*1,055 citations*
8. **[Belief, awareness, and limited reasoning ↗](https://doi.org/10.1016/0004-3702(87)90003-8)**Ronald Fagin, Joseph Yehuda Halpern*885 citations*
9. **[Mind over machine: The power of human intuition and expertise in the era of the computer ↗](https://doi.org/10.1016/0004-3702(87)90056-7)**Timothy D. Koschmann*800 citations*
10. **[Network-based heuristics for constraint-satisfaction problems ↗](https://doi.org/10.1016/0004-3702(87)90002-6)**Rina Dechter, Judea Pearl*590 citations*
11. **[Constraint propagation with interval labels ↗](https://doi.org/10.1016/0004-3702(87)90091-9)**Ernest Davis*531 citations*
12. **[Nonmonotonic logic and temporal projection ↗](https://doi.org/10.1016/0004-3702(87)90043-9)**Steve Hanks, Drew McDermott*436 citations*
13. **[On the estimation of optical flow: Relations between different approaches and some new results ↗](https://doi.org/10.1016/0004-3702(87)90041-5)**Hans-Hellmut Nagel*426 citations*
14. **[Temporal data base management ↗](https://doi.org/10.1016/0004-3702(87)90061-0)**Thomas Dean, Drew McDermott*393 citations*
15. **[Planning as search: A quantitative approach ↗](https://doi.org/10.1016/0004-3702(87)90051-8)**Richard E. Korf*363 citations*
16. **[Evidential reasoning using stochastic simulation of causal models ↗](https://doi.org/10.1016/0004-3702(87)90012-9)**Judea Pearl*346 citations*
17. **[Bayesian and non-bayesian evidential updating ↗](https://doi.org/10.1016/0004-3702(87)90068-3)**Henry E. Kyburg*309 citations*
18. **[Implementing Dempster's rule for hierarchical evidence ↗](https://doi.org/10.1016/0004-3702(87)90040-3)**Glenn R. Shafer, Roger Logan*283 citations*
19. **[TEAM: An experiment in the design of transportable natural-language interfaces ↗](https://doi.org/10.1016/0004-3702(87)90011-7)**Barbara J. Grosz, Douglas E. Appelt, Paul A. Martin et al.*264 citations*
20. **[Temporal logics in AI: Semantical and ontological considerations ↗](https://doi.org/10.1016/0004-3702(87)90052-x)**Yoav Shoham*264 citations*
21. **[A search algorithm for motion planning with six degrees of freedom ↗](https://doi.org/10.1016/0004-3702(87)90069-5)**Bruce Randall Donald*216 citations*
22. **[Generating and generalizing models of visual objects ↗](https://doi.org/10.1016/0004-3702(87)90018-x)**Jonathan H. Connell, Michael Brady*193 citations*
23. **[Distributed revision of composite beliefs ↗](https://doi.org/10.1016/0004-3702(87)90034-8)**Judea Pearl*189 citations*
24. **[Learning one subprocedure per lesson ↗](https://doi.org/10.1016/0004-3702(87)90080-4)**Kurt A. VanLehn*169 citations*
25. **[Formalizing nonmonotonic reasoning systems ↗](https://doi.org/10.1016/0004-3702(87)90081-6)**David W. Etherington*167 citations*
26. **[A first-order conditional logic for prototypical properties ↗](https://doi.org/10.1016/0004-3702(87)90053-1)**James P. Delgrande*157 citations*
27. **[Phase transitions in artificial intelligence systems ↗](https://doi.org/10.1016/0004-3702(87)90033-6)**Bernardo A. Huberman, Tad Hogg*153 citations*
28. **[Proof by consistency ↗](https://doi.org/10.1016/0004-3702(87)90017-8)**Deepak Kapur, David R. Musser*124 citations*
29. **[Conceptual structures: Information processing in mind and machine ↗](https://doi.org/10.1016/0004-3702(87)90037-3)**Stephen W. Smoliar*111 citations*
30. **[Using approximate reasoning to represent default knowledge ↗](https://doi.org/10.1016/0004-3702(87)90083-x)**Ronald R. Yager*99 citations*
31. **[Game tree searching by min/max approximation ↗](https://doi.org/10.1016/0004-3702(87)90004-x)**Ronald L. Rivest*97 citations*
32. **[A logic to reason about likelihood ↗](https://doi.org/10.1016/0004-3702(87)90093-2)**Joseph Yehuda Halpern, Michael O. Rabin*89 citations*
33. **[Results on translating defaults to circumscription ↗](https://doi.org/10.1016/0004-3702(87)90064-6)**Tomasz Imieliński*64 citations*
34. **[Admissibility of AO∗ when heuristics overestimate ↗](https://doi.org/10.1016/0004-3702(87)90005-1)**P. P. Chakrabarti, S. Ghose, S.C. DeSarkar*50 citations*
35. **[Low overhead alternatives to SSS∗ ↗](https://doi.org/10.1016/0004-3702(87)90019-1)**T.A. Marsland, Alexander Reinefeld, Jonathan Schaeffer*45 citations*
36. **[A multi-level perception approach to reading cursive script ↗](https://doi.org/10.1016/0004-3702(87)90035-x)**Sargur N. Srihari, Radmilo M. Boz̆inović*44 citations*
37. **[Understanding computers and cognition: A new foundation for design ↗](https://doi.org/10.1016/0004-3702(87)90025-7)**William J. Clancey*43 citations*
38. **[Tense and aspect systems ↗](https://doi.org/10.1016/0004-3702(87)90094-4)**Alexander D. Nakhimovsky*42 citations*
39. **[Universal subgoaling and chunking: The automatic generation and learning of goal hierarchies ↗](https://doi.org/10.1016/0004-3702(87)90014-2)**Jeff Shrager*37 citations*
40. **[Knowledge-intensive natural language generation ↗](https://doi.org/10.1016/0004-3702(87)90042-7)**Paul S. Jacobs*36 citations*
41. **[Computation and cognition: Toward a foundation for cognitive science ↗](https://doi.org/10.1016/0004-3702(87)90045-2)**Nigel Ward*31 citations*
42. **[Evidential reasoning using stochastic simulation of causal models ↗](https://doi.org/10.1016/0004-3702(87)90054-3)***28 citations*
43. **[Circumscribing with sets ↗](https://doi.org/10.1016/0004-3702(87)90020-8)**Donald R. Perlis*16 citations*
44. **[On the range of applicability of an artificial intelligence machine ↗](https://doi.org/10.1016/0004-3702(87)90010-5)**David Elliot Shaw*15 citations*
45. **[Understanding computers and cognition: A new foundation for design ↗](https://doi.org/10.1016/0004-3702(87)90022-1)**André Vellino*11 citations*
46. **[Understanding computers and cognition: A new foundation for design ↗](https://doi.org/10.1016/0004-3702(87)90023-3)**Mark Stefik, Daniel G. Bobrow*9 citations*
47. **[A theorem on the consistency of circumscription ↗](https://doi.org/10.1016/0004-3702(87)90082-8)**Peter Mott*7 citations*
48. **[Robot technology, volume 1: Modelling and control ↗](https://doi.org/10.1016/0004-3702(87)90057-9)**Sheila Rock*5 citations*
49. **[Understanding computers and cognition: A new foundation for design ↗](https://doi.org/10.1016/0004-3702(87)90021-x)**Mark Stefik*5 citations*
50. **[Fourth international symposium on robotics and artificial intelligence in building construction ↗](https://doi.org/10.1016/0004-3702(87)90065-8)***4 citations*
51. **[Third international conference on artificial intelligence and education ↗](https://doi.org/10.1016/0004-3702(87)90086-5)***4 citations*
52. **[Announcements ↗](https://doi.org/10.1016/0004-3702(87)90058-0)***1 citation*
53. **[Artificial intelligence abstracts ↗](https://doi.org/10.1016/0004-3702(87)90098-1)***1 citation*
54. **[Interact '87—Second IFIP international conference on human-computer interaction ↗](https://doi.org/10.1016/0004-3702(87)90030-0)***1 citation*
55. **[Second international conference on applications of artificial intelligence in engineering ↗](https://doi.org/10.1016/0004-3702(87)90089-0)***1 citation*
56. **[Some quantifiers require two-predicate scopes ↗](https://doi.org/10.1016/0004-3702(87)90013-0)**Steven Cushing*1 citation*
57. **[1987 Linguistic institute ↗](https://doi.org/10.1016/0004-3702(87)90028-2)**
58. **[Announcements ↗](https://doi.org/10.1016/0004-3702(87)90038-5)**
59. **[Announcements ↗](https://doi.org/10.1016/0004-3702(87)90008-7)**
60. **[Austrian meeting on artificial intelligence ↗](https://doi.org/10.1016/0004-3702(87)90095-6)**
61. **[Call for participation: Workshop on qualitative physics ↗](https://doi.org/10.1016/0004-3702(87)90087-7)**
62. **[Change in view ↗](https://doi.org/10.1016/0004-3702(87)90007-5)**Ronald Prescott Loui
63. **[Computer culture: The scientific, intellectual, and social impact of the computer, annals of the New York Academy of Sciences ↗](https://doi.org/10.1016/0004-3702(87)90073-7)**Michael Lougee
64. **[Fifth annual conference on applications of artificial intelligence ↗](https://doi.org/10.1016/0004-3702(87)90084-1)**
65. **[Machine intelligence and related topics: An information scientist's weekend book ↗](https://doi.org/10.1016/0004-3702(87)90072-5)**Michael Gordon
66. **[ORIA 87—Artificial intelligence and sea ↗](https://doi.org/10.1016/0004-3702(87)90027-0)**
67. **[Results on translating defaults to circumscription ↗](https://doi.org/10.1016/0004-3702(87)90044-0)**
68. **[Second advanced course in artificial intelligence ↗](https://doi.org/10.1016/0004-3702(87)90074-9)**
69. **[The catalogue of artificial intelligence techniques ↗](https://doi.org/10.1016/0004-3702(87)90015-4)**
70. **[The prize of symbiosis ↗](https://doi.org/10.1016/0004-3702(87)90031-2)**
- [← back to](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/1987/) — Artificial Intelligence 1987