Artificial Intelligence 1987: all accepted papers
- On understanding computers and cognition: A new foundation for design ↗Terry A. Winograd, Fernando Flores3,677 citations
- A theory of diagnosis from first principles ↗Raymond Reiter2,915 citations
- SOAR: An architecture for general intelligenceJohn E. Laird, Allen Newell, Paul S. Rosenbloom2,419 citations · our summary
- Diagnosing multiple faults ↗Johan de Kleer, Brian Charles Williams2,039 citations
- Three-dimensional object recognition from single two-dimensional images ↗David G. Lowe1,283 citations
- Planning for conjunctive goals ↗David Chapman1,112 citations
- Understanding computers and cognition: A new foundation for design ↗Lucy A. Suchman1,055 citations
- Belief, awareness, and limited reasoning ↗Ronald Fagin, Joseph Yehuda Halpern885 citations
- Mind over machine: The power of human intuition and expertise in the era of the computer ↗Timothy D. Koschmann800 citations
- Network-based heuristics for constraint-satisfaction problems ↗Rina Dechter, Judea Pearl590 citations
- Constraint propagation with interval labels ↗Ernest Davis531 citations
- Nonmonotonic logic and temporal projection ↗Steve Hanks, Drew McDermott436 citations
- On the estimation of optical flow: Relations between different approaches and some new results ↗Hans-Hellmut Nagel426 citations
- Temporal data base management ↗Thomas Dean, Drew McDermott393 citations
- Planning as search: A quantitative approach ↗Richard E. Korf363 citations
- Evidential reasoning using stochastic simulation of causal models ↗Judea Pearl346 citations
- Bayesian and non-bayesian evidential updating ↗Henry E. Kyburg309 citations
- Implementing Dempster's rule for hierarchical evidence ↗Glenn R. Shafer, Roger Logan283 citations
- TEAM: An experiment in the design of transportable natural-language interfaces ↗Barbara J. Grosz, Douglas E. Appelt, Paul A. Martin et al.264 citations
- Temporal logics in AI: Semantical and ontological considerations ↗Yoav Shoham264 citations
- A search algorithm for motion planning with six degrees of freedom ↗Bruce Randall Donald216 citations
- Generating and generalizing models of visual objects ↗Jonathan H. Connell, Michael Brady193 citations
- Distributed revision of composite beliefs ↗Judea Pearl189 citations
- Learning one subprocedure per lesson ↗Kurt A. VanLehn169 citations
- Formalizing nonmonotonic reasoning systems ↗David W. Etherington167 citations
- A first-order conditional logic for prototypical properties ↗James P. Delgrande157 citations
- Phase transitions in artificial intelligence systems ↗Bernardo A. Huberman, Tad Hogg153 citations
- Proof by consistency ↗Deepak Kapur, David R. Musser124 citations
- Conceptual structures: Information processing in mind and machine ↗Stephen W. Smoliar111 citations
- Using approximate reasoning to represent default knowledge ↗Ronald R. Yager99 citations
- Game tree searching by min/max approximation ↗Ronald L. Rivest97 citations
- A logic to reason about likelihood ↗Joseph Yehuda Halpern, Michael O. Rabin89 citations
- Results on translating defaults to circumscription ↗Tomasz Imieliński64 citations
- Admissibility of AO∗ when heuristics overestimate ↗P. P. Chakrabarti, S. Ghose, S.C. DeSarkar50 citations
- Low overhead alternatives to SSS∗ ↗T.A. Marsland, Alexander Reinefeld, Jonathan Schaeffer45 citations
- A multi-level perception approach to reading cursive script ↗Sargur N. Srihari, Radmilo M. Boz̆inović44 citations
- Understanding computers and cognition: A new foundation for design ↗William J. Clancey43 citations
- Tense and aspect systems ↗Alexander D. Nakhimovsky42 citations
- Universal subgoaling and chunking: The automatic generation and learning of goal hierarchies ↗Jeff Shrager37 citations
- Knowledge-intensive natural language generation ↗Paul S. Jacobs36 citations
- Computation and cognition: Toward a foundation for cognitive science ↗Nigel Ward31 citations
- Circumscribing with sets ↗Donald R. Perlis16 citations
- On the range of applicability of an artificial intelligence machine ↗David Elliot Shaw15 citations
- Understanding computers and cognition: A new foundation for design ↗André Vellino11 citations
- Understanding computers and cognition: A new foundation for design ↗Mark Stefik, Daniel G. Bobrow9 citations
- A theorem on the consistency of circumscription ↗Peter Mott7 citations
- Robot technology, volume 1: Modelling and control ↗Sheila Rock5 citations
- Understanding computers and cognition: A new foundation for design ↗Mark Stefik5 citations
- Announcements ↗1 citation
- Artificial intelligence abstracts ↗1 citation
- Some quantifiers require two-predicate scopes ↗Steven Cushing1 citation
- Change in view ↗Ronald Prescott Loui
This page in Markdown → https://md.research.elamur.ai/free/en/venues/artificial-intelligence/1987/papers/