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

# Artificial Intelligence 1988: all accepted papers

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

1. **[Interpretation as abduction ↗](https://doi.org/10.1016/0004-3702(93)90015-4)**Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt et al.*1,223 citations*
2. **[Constraints on deformable models:Recovering 3D shape and nonrigid motion ↗](https://doi.org/10.1016/0004-3702(88)90080-x)**Demetri Terzopoulos, Andrew Witkin, Michael Kass*774 citations*
3. **[A logical framework for default reasoning ↗](https://doi.org/10.1016/0004-3702(88)90077-x)**David Poole*717 citations*
4. **[Quantifying inductive bias: AI learning algorithms and Valiant's learning framework ↗](https://doi.org/10.1016/0004-3702(88)90002-1)**David H. Haussler*479 citations*
5. **[Women, fire, and dangerous things ↗](https://doi.org/10.1016/0004-3702(88)90035-5)**Daniel S. Weld*409 citations*
6. **[On the relation between default and autoepistemic logic ↗](https://doi.org/10.1016/0004-3702(88)90021-5)**Kurt Konolige*318 citations*
7. **[The Robot's dilemma: The frame problem in artificial intelligence ↗](https://doi.org/10.1016/0004-3702(88)90082-3)**Stephen W. Smoliar*254 citations*
8. **[Reasoning about action I ↗](https://doi.org/10.1016/0004-3702(88)90011-2)**Matthew L. Ginsberg, David Edward Smith*252 citations*
9. **[A process-grammar for shape ↗](https://doi.org/10.1016/0004-3702(88)90039-2)**Michael Leyton*224 citations*
10. **[A model for belief revision ↗](https://doi.org/10.1016/0004-3702(88)90031-8)**João Pavão Martins, Stuart C. Shapiro*212 citations*
11. **[An approach to default reasoning based on a first-order conditional logic: Revised report ↗](https://doi.org/10.1016/0004-3702(88)90079-3)**James P. Delgrande*181 citations*
12. **[Generalized subsumption and its applications to induction and redundancy ↗](https://doi.org/10.1016/0004-3702(88)90001-x)**Wray Buntine*169 citations*
13. **[Computational complexity of terminological reasoning in BACK ↗](https://doi.org/10.1016/0004-3702(88)90066-5)**Bernhard Nebel*152 citations*
14. **[Verifiable implementations of geometric algorithms using finite precision arithmetic ↗](https://doi.org/10.1016/0004-3702(88)90061-6)**Victor Milenkovic*152 citations*
15. **[Embracing causality in default reasoning ↗](https://doi.org/10.1016/0004-3702(88)90015-x)**Judea Pearl*144 citations*
16. **[A survey of motion planning and related geometric algorithms ↗](https://doi.org/10.1016/0004-3702(88)90053-7)**Jacob T. Schwartz, Micha Sharir*132 citations*
17. **[An algorithmic approach to some problems in terrain navigation ↗](https://doi.org/10.1016/0004-3702(88)90054-9)**Joseph S. B. Mitchell*125 citations*
18. **[Defining operationality for explanation-based learning ↗](https://doi.org/10.1016/0004-3702(88)90013-6)**Richard M. Keller*123 citations*
19. **[Conspiracy numbers for min-max search ↗](https://doi.org/10.1016/0004-3702(88)90019-7)**David McAllester*121 citations*
20. **[Reasoning about partially ordered events ↗](https://doi.org/10.1016/0004-3702(88)90087-2)**Thomas Dean, Mark Boddy*121 citations*
21. **[Towards a computational theory of cognitive maps ↗](https://doi.org/10.1016/0004-3702(88)90064-1)**Wai Kiang Yeap*112 citations*
22. **[Default reasoning and possibility theory ↗](https://doi.org/10.1016/0004-3702(88)90014-8)**Didier Dubois A, Henri M. Prade*108 citations*
23. **[Reasoning about action II ↗](https://doi.org/10.1016/0004-3702(88)90020-3)**Matthew L. Ginsberg, David Edward Smith*106 citations*
24. **[Explanation-based generalisation = partial evaluation ↗](https://doi.org/10.1016/0004-3702(88)90088-4)**Frank van Harmelen, Alan Bundy*102 citations*
25. **[Automatic knowledge base refinement for classification systems ↗](https://doi.org/10.1016/0004-3702(88)90012-4)**Allen Ginsberg, Sholom M. Weiss, Peter Politakis*101 citations*
26. **[A geometric approach to error detection and recovery for robot motion planning with uncertainty ↗](https://doi.org/10.1016/0004-3702(88)90056-2)**Bruce Randall Donald*93 citations*
27. **[Comments on Mohr and Henderson's path consistency algorithm ↗](https://doi.org/10.1016/0004-3702(88)90081-1)**Ching‐Chih Han, Chia-Hoang Lee*90 citations*
28. **[On conceptual structures ↗](https://doi.org/10.1016/0004-3702(88)90069-0)**John F. Sowa*87 citations*
29. **[A pattern classification approach to evaluation function learning ↗](https://doi.org/10.1016/0004-3702(88)90076-8)**Kai-Fu Lee, Sanjoy Mahajan*81 citations*
30. **[Comparative Analysis ↗](https://doi.org/10.1016/0004-3702(88)90086-0)**Daniel S. Weld*79 citations*
31. **[Learning by understanding analogies ↗](https://doi.org/10.1016/0004-3702(88)90032-x)**Russell Greiner*78 citations*
32. **[Geometric reasoning with logic and algebra ↗](https://doi.org/10.1016/0004-3702(88)90049-5)**Dennis S. Arnon*75 citations*
33. **[Languages with self-reference II ↗](https://doi.org/10.1016/0004-3702(88)90038-0)**Donald R. Perlis*75 citations*
34. **[On the geometric interpretation of image contours ↗](https://doi.org/10.1016/0004-3702(88)90059-8)**Radu Horaud, Michael Brady*65 citations*
35. **[Chronological ignorance: Experiments in nonmonotonic temporal reasoning ↗](https://doi.org/10.1016/0004-3702(88)90085-9)**Yoav Shoham*64 citations*
36. **[Constraint satisfaction from a deductive viewpoint ↗](https://doi.org/10.1016/0004-3702(88)90023-9)**Wolfgang Bibel*64 citations*
37. **[Geometric relationships between toleranced features ↗](https://doi.org/10.1016/0004-3702(88)90062-8)**Alan Fleming*61 citations*
38. **[Problems in formal temporal reasoning ↗](https://doi.org/10.1016/0004-3702(88)90078-1)**Yoav Shoham, Drew McDermott*60 citations*
39. **[Semantic interpretation and ambiguity ↗](https://doi.org/10.1016/0004-3702(88)90037-9)**Graeme Hirst*58 citations*
40. **[A refutational approach to geometry theorem proving ↗](https://doi.org/10.1016/0004-3702(88)90050-1)**Deepak Kapur*57 citations*
41. **[Motivation analysis, abductive unification, and nonmonotonic equality ↗](https://doi.org/10.1016/0004-3702(88)90063-x)**Eugene Charniak D*56 citations*
42. **[On Epistemology and cognition ↗](https://doi.org/10.1016/0004-3702(88)90042-2)**Alvin I. Goldman*42 citations*
43. **[The anomalous extension problem in default reasoning ↗](https://doi.org/10.1016/0004-3702(88)90022-7)**Paul H. Morris*40 citations*
44. **[Wu's method and its application to perspective viewing ↗](https://doi.org/10.1016/0004-3702(88)90048-3)**Deepak Kapur, Joseph L. Mundy*33 citations*
45. **[Constructing roadmaps of semi-algebraic sets I: Completeness ↗](https://doi.org/10.1016/0004-3702(88)90055-0)**John Canny*28 citations*
46. **[Bayesian and non-bayesian evidential updating ↗](https://doi.org/10.1016/0004-3702(88)90006-9)***27 citations*
47. **[Some fundamental properties of local constraint propagation ↗](https://doi.org/10.1016/0004-3702(88)90004-5)**Hans-Werner Güsgen, Joachim Hertzberg*23 citations*
48. **[The geometry of projective blending surfaces ↗](https://doi.org/10.1016/0004-3702(88)90060-4)**Christoph M. Hoffmann, John E. Hopcroft*21 citations*
49. **[Geometric reasoning for constructing 3D scene descriptions from images ↗](https://doi.org/10.1016/0004-3702(88)90057-4)**Ellen Walker, Martin Herman*20 citations*
50. **[Man-machine theorem proving in graph theory ↗](https://doi.org/10.1016/0004-3702(88)90030-6)**Dragoš Cvetković, Irena Pevac*18 citations*
51. **[Modular algebraic specification of some basic geometrical constructions ↗](https://doi.org/10.1016/0004-3702(88)90052-5)**Joseph A. Goguen*18 citations*
52. **[Expert critiquing systems: Practice-based medical consultation by computer ↗](https://doi.org/10.1016/0004-3702(88)90016-1)**Michael P. Wellman*17 citations*
53. **[The effects of order on learning classifications by example: Heuristics for finding the optimal order ↗](https://doi.org/10.1016/0004-3702(88)90065-3)**James N. MacGregor*17 citations*
54. **[Geometric reasoning and artificial intelligence: Introduction to the special volume ↗](https://doi.org/10.1016/0004-3702(88)90047-1)**Deepak Kapur, Joseph L. Mundy*16 citations*
55. **[Autocircumscription ↗](https://doi.org/10.1016/0004-3702(88)90003-3)**Donald R. Perlis*15 citations*
56. **[Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle ↗](https://doi.org/10.1016/0004-3702(88)90051-3)**Hai-Ping Ko*14 citations*
57. **[A practically efficient and almost linear unification algorithm ↗](https://doi.org/10.1016/0004-3702(88)90005-7)**Gonzalo Escalada-Imaz, Malik Ghallab*13 citations*
58. **[A comparison of two evidential reasoning schemes ↗](https://doi.org/10.1016/0004-3702(88)90033-1)**Chia-Hoang Lee*12 citations*
59. **[A multi-level geometric reasoning system for vision ↗](https://doi.org/10.1016/0004-3702(88)90058-6)**Michele Barry, David Cyrluk, Deepak Kapur et al.*9 citations*
60. **[Interpreting image curve from multiframes ↗](https://doi.org/10.1016/0004-3702(88)90010-0)**Chia-Hoang Lee*7 citations*
61. **[Epistemology and cognition ↗](https://doi.org/10.1016/0004-3702(88)90041-0)**Stephen W. Smoliar*1 citation*
62. **[Announcements ↗](https://doi.org/10.1016/0004-3702(88)90017-3)**
63. **[Announcements ↗](https://doi.org/10.1016/0004-3702(88)90043-4)**
64. **[Announcements ↗](https://doi.org/10.1016/0004-3702(88)90071-9)**
65. **[Announcements ↗](https://doi.org/10.1016/0004-3702(88)90008-2)**
66. **[Announcements ↗](https://doi.org/10.1016/0004-3702(88)90083-5)**
67. **[Announcements ↗](https://doi.org/10.1016/0004-3702(88)90090-2)**
68. **[Announcements ↗](https://doi.org/10.1016/0004-3702(88)90025-2)**
69. **[Errata ↗](https://doi.org/10.1016/0004-3702(88)90070-7)**
70. **[On book reviews policy and process ↗](https://doi.org/10.1016/0004-3702(88)90034-3)**Mark Stefik
71. **[On machine intelligence ↗](https://doi.org/10.1016/0004-3702(88)90068-9)**Sheila Rock
72. **[The science of the mind ↗](https://doi.org/10.1016/0004-3702(88)90067-7)**Robert Lindsay
- [← back to](https://md.research.elamur.ai/free/en/venues/artificial-intelligence/1988/) — Artificial Intelligence 1988