---
title: "International Joint Conference on Artificial Intelligence 1985 — all"
description: "All 160 papers of International Joint Conference on Artificial Intelligence 1985 · page 1 of 2, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [International Joint Conference on…](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/) / [1985](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/) / papers

# International Joint Conference on Artificial Intelligence 1985: all accepted papers

160 papers · page 1 of 2 · the most cited first · [← International Joint Conference on Artificial Intelligence 1985](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/)

**1** [2](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/page/2/) [next →](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/page/2/)

1. **[Applying adaptive algorithms to epistatic domains ↗](http://ijcai.org/Proceedings/85-1/Papers/029.pdf)**Lawrence D. Davis*638 citations*
2. **[Computing circumscription ↗](http://dl.acm.org/citation.cfm?id=1625157)**Vladimir Lifschitz*372 citations*
3. **[A common-sense theory of time ↗](http://ijcai.org/Proceedings/85-1/Papers/101.pdf)**James F. Allen, Patrick J. Hayes*257 citations*
4. **[LEAP: a learning apprentice for VLSI design ↗](https://ijcai.org/Proceedings/85-1/Papers/109.pdf)**Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg*248 citations*
5. **[The geometry tutor ↗](http://ijcai.org/Proceedings/85-1/Papers/001.pdf)**John R. Anderson, C. Franklin Boyle, Gregg R. Yost*248 citations*
6. **[Checking an expert systems knowledge base for consistency and completeness ↗](http://ijcai.org/Proceedings/85-1/Papers/070.pdf)**Tin A. Nguyen, W. A. Perkins, Thomas J. Laffey et al.*178 citations*
7. **[Symbols among the neurons: details of a connectionist inference architecture ↗](http://ijcai.org/Proceedings/85-1/Papers/044.pdf)**David S. Touretzky, Geoffrey E. Minton*177 citations*
8. **[A guide to the modal logics of knowledge and belief: preliminary draft ↗](http://ijcai.org/Proceedings/85-1/Papers/094.pdf)**Joseph Yehuda Halpern, Yoram Moses*167 citations*
9. **[Selectively generalizing plans for problem-solving](https://md.research.elamur.ai/free/en/papers/minton-1985-selectively-generalizing-plans-problem-solving/)**Steven Minton*154 citations · our summary*
10. **[A process model of cased-based reasoning in problem solving ↗](https://ijcai.org/Proceedings/85-1/Papers/053.pdf)**Janet L. Kolodner, Robert L. Simpson, Katia Sycara-Cyranski*152 citations*
11. **[Dynamic student modelling in an intelligent tutor for LISP programming ↗](https://ijcai.org/Proceedings/85-1/Papers/002.pdf)**Brian J. Reiser, John R. Anderson, Robert Farrell*149 citations*
12. **[The restricted language architecture of a hybrid representation system ↗](http://ijcai.org/Proceedings/85-1/Papers/104.pdf)**Marc Vilain*143 citations*
13. **[MORE: an intelligent knowledge acquisition tool ↗](https://ijcai.org/Proceedings/85-1/Papers/110.pdf)**Gary S. Kahn, Steve Nowlan, John P. McDermott*118 citations*
14. **[The limits of qualitative simulation ↗](https://ijcai.org/Proceedings/85-1/Papers/023.pdf)**Benjamin J. Kuipers*111 citations*
15. **[Iterative-deepening-A: an optimal admissible tree search ↗](http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#Korf85)**Richard E. Korf*109 citations*
16. **[Specular stereo ↗](https://dl.acm.org/citation.cfm?id=1623671)**A. Blake*99 citations*
17. **[Multi-objective learning via genetic algorithms ↗](http://ijcai.org/Proceedings/85-1/Papers/113.pdf)**J. David Schaffer, John J. Grefenstette*90 citations*
18. **[Knowledge acquisition for constructive systems ↗](https://ijcai.org/Proceedings/85-1/Papers/123.pdf)**Sandra Marcus, John P. McDermott, Tianran Wang*84 citations*
19. **[Belief, awareness, and limited reasoning: preliminary report ↗](https://ijcai.org/Proceedings/85-1/Papers/095.pdf)**Ronald Fagin, Joseph Yehuda Halpern*82 citations*
20. **[Computer assisted reasoning with MIZAR ↗](https://ijcai.org/Proceedings/85-1/Papers/006.pdf)**Andrzej Trybulec, Howard A. Blair*69 citations*
21. **[Syntax, preference, and right attachment ↗](https://ijcai.org/Proceedings/85-2/Papers/018.pdf)**Yorick Alexander Wilks, Xiuming Huang, Dan Fass*63 citations*
22. **[An equational approach to theorem proving in first-order predicate calculus ↗](http://ijcai.org/Proceedings/85-2/Papers/097.pdf)**Deepak Kapur, Paliath Narendran*60 citations*
23. **[An analysis of consecutively bounded depth-first search with applications in automated deduction ↗](http://ijcai.org/Proceedings/85-2/Papers/081.pdf)**Mark E. Stickel, W. Mabry Tyson*58 citations*
24. **[Understanding behavior using consolidation ↗](https://ijcai.org/Proceedings/85-1/Papers/088.pdf)**Tom Bylander, B. Chandrasekaran*58 citations*
25. **[An efficient context-free parsing algorithm for natural languages ↗](http://ijcai.org/Proceedings/85-2/Papers/014.pdf)**Masaru Tomita*56 citations*
26. **[Evidential reasoning in semantic networks: a formal theory ↗](https://ijcai.org/Proceedings/85-1/Papers/092.pdf)**Lokendra Shastri, Jerome A. Feldman*56 citations*
27. **[A decidable first-order logic for knowledge representation ↗](http://ijcai.org/Proceedings/85-1/Papers/089.pdf)**Peter F. Patel‐Schneider*52 citations*
28. **[Learning intermediate concepts in constructing a hierarchical knowledge base ↗](http://ijcai.org/Proceedings/85-1/Papers/128.pdf)**LiMin Fu, Bruce G. Buchanan*49 citations*
29. **[SIGMA: a framework for image understanding integration of bottom-up and top-down analyses ↗](http://ijcai.org/Proceedings/85-2/Papers/048.pdf)**Takashi Matsuyama, Vincent Shang-Shouq Hwang*48 citations*
30. **[The layered architecture of a system for reasoning about programs ↗](https://ijcai.org/Proceedings/85-1/Papers/103.pdf)**Charles Rich*46 citations*
31. **[A learning apprentice for VLSI design ↗](https://ci.nii.ac.jp/naid/80002735606)**Tom M. Mitchell*45 citations*
32. **[Increasing coherence in a distributed problem-solving network ↗](http://ijcai.org/Proceedings/85-2/Papers/070.pdf)**Edmund H. Durfee, Victor Lesser, Daniel D. Corkill*45 citations*
33. **[A procedural logic ↗](https://ijcai.org/Proceedings/85-1/Papers/099.pdf)**Michael Georgeff, Amy Lansky, Pierre Bessìère*44 citations*
34. **[Parallelism in inheritance hierarchies with exceptions ↗](http://ijcai.org/Proceedings/85-1/Papers/036.pdf)**Garrison W. Cottrell*43 citations*
35. **[Structure from motion without correspondence: general principle ↗](http://ijcai.org/Proceedings/85-2/Papers/041.pdf)**Kenichi Kanatani*43 citations*
36. **[What enables a machine to understand ↗](http://ijcai.org/Proceedings/85-2/Papers/063.pdf)**Aaron Sloman*42 citations*
37. **[Arguments of persuasion in labour mediation ↗](http://ijcai.org/Proceedings/85-1/Papers/055.pdf)**Katia Sycara-Cyranski*41 citations*
38. **[Description-directed natural language generation ↗](http://ijcai.org/Proceedings/85-2/Papers/023.pdf)**David D. McDonald, James D. Pustejovsky*41 citations*
39. **[A computational theory of belief introspection ↗](https://ijcai.org/Proceedings/85-1/Papers/096.pdf)**Kurt Konolige*40 citations*
40. **[Control and integration of diverse knowledge in a diagnostic expert system ↗](https://ijcai.org/Proceedings/85-1/Papers/083.pdf)**Pamela K. Fink*40 citations*
41. **[A proximity metric for continuum path planning ↗](http://ijcai.org/Proceedings/85-2/Papers/087.pdf)**C. E. Buckley, LARRY J. LEIFER*36 citations*
42. **[Automated enhancement of knowledge representations ↗](https://ijcai.org/Proceedings/85-1/Papers/037.pdf)**Robert M. Balzer*36 citations*
43. **[Evaluating queries in deductive databases by generating ↗](https://ijcai.org/Proceedings/85-1/Papers/031.pdf)**Eliezer L. Lozinskii*36 citations*
44. **[Reasoning with uncertainty for expert systems ↗](http://ijcai.org/Proceedings/85-2/Papers/121.pdf)**Ronald R. Yager*35 citations*
45. **[Optical navigation by the method of differences ↗](http://ijcai.org/Proceedings/85-2/Papers/060.pdf)**Bruce D. Lucas, Takeo Kanade A*34 citations*
46. **[Synthesis by completion ↗](https://ijcai.org/Proceedings/85-1/Papers/038.pdf)**Nachum Dershowitz*34 citations*
47. **[Automating program speedup by deciding what to cache ↗](https://ijcai.org/Proceedings/85-1/Papers/030.pdf)**Jack Mostow, Donald Cohen*33 citations*
48. **[Virtual uteral inhibition in parallel activation models of associative memory ↗](https://ijcai.org/Proceedings/85-1/Papers/045.pdf)**James A. Reggia*33 citations*
49. **[On the Solution of Schubert's Steamroller in Many-Sorted Logic. ↗](http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#Cohn85)**Anthony G. Cohn*32 citations*
50. **[Type inference in prolog and its application ↗](http://ijcai.org/Proceedings/85-2/Papers/002.pdf)**Tadashi Kanamori, Kenji Horiuchi*32 citations*
51. **[Integrating text planning and production in generation ↗](http://ijcai.org/Proceedings/85-2/Papers/032.pdf)**Eduard H. Hovy*31 citations*
52. **[A case study in structured knowledge acquisition ↗](https://ijcai.org/Proceedings/85-1/Papers/073.pdf)**Paul De Grasf, Joost Breuker*29 citations*
53. **[Verification-based learning: a generalisation strategy for inferring problem-reduction methods ↗](https://ijcai.org/Proceedings/85-1/Papers/119.pdf)**Sridhar Mahadevan*29 citations*
54. **[Discovering the wave theory of sound: inductive inference in the context of problem solving ↗](http://ijcai.org/Proceedings/85-1/Papers/117.pdf)**Paul R. Thagard, Keith J. Holyoak*27 citations*
55. **[Shape from texture ↗](http://ijcai.org/Proceedings/85-2/Papers/051.pdf)**John Aliomonos, Michael J. Swain*26 citations*
56. **[Towards a model of conceptual knowledge acquisition through directed experimentation ↗](https://ijcai.org/Proceedings/85-1/Papers/132.pdf)**Shankar A. Rajamoney, GERALD F. DEJONG, Boi V. Faltings*26 citations*
57. **[A fault detection and isolation method applied to liquid oxygen loading for the space Shuttle ↗](https://ijcai.org/Proceedings/85-1/Papers/079.pdf)**Ethan A. Scarl, John R. Jamieson, Carl I. Delaune*25 citations*
58. **[Empirical and model-based reasoning in expert systems ↗](https://ijcai.org/Proceedings/85-1/Papers/056.pdf)**Phyllis Koton*25 citations*
59. **[A model-theoretic analysis of monotonic knowledge ↗](http://ijcai.org/Proceedings/85-1/Papers/097.pdf)**Moshe Y. Vardi*23 citations*
60. **[LandScan: a natural language and computer vision system for analyzing aerial images ↗](http://ijcai.org/Proceedings/85-2/Papers/050.pdf)**Ruzena K. Bajcsy, Aravind K. Joshi, Eric Krotkov et al.*23 citations*
61. **[Two results on default logic ↗](http://ijcai.org/Proceedings/85-1/Papers/090.pdf)**Witold Lukaszewlcz*23 citations*
62. **[Using model theory to specify AI programs ↗](https://ijcai.org/Proceedings/85-1/Papers/027.pdf)**Alan M. Frisch*23 citations*
63. **[Control issues in classificatory diagnosis ↗](http://ijcai.org/Proceedings/85-1/Papers/057.pdf)**Jon Sticklen, Bharath Chandrasekaran, John R. Josephson*22 citations*
64. **[Nonlinear planning: a rigorous reconstruction ↗](http://ijcai.org/Proceedings/85-2/Papers/069.pdf)**David Chapman*22 citations*
65. **[A framework for distributed sensing and control ↗](https://ijcai.org/Proceedings/85-2/Papers/089.pdf)**Tom Henderson, Chuck Hansen, Bir Bhanu*21 citations*
66. **[Heuristic and formal methods in automatic program debugging ↗](https://ijcai.org/Proceedings/85-1/Papers/003.pdf)**William R. Murray*21 citations*
67. **[Learning shape descriptions ↗](https://ijcai.org/Proceedings/85-2/Papers/050A.pdf)**Jonathan H. Connell, Michael Brady*21 citations*
68. **[NON-VON's applicability to three AI task area ↗](http://ijcai.org/Proceedings/85-1/Papers/013.pdf)**David Elliot Shaw*20 citations*
69. **[Naive kinematics: one aspect of shape ↗](https://ijcai.org/Proceedings/85-1/Papers/085.pdf)**Yoav Shoham*20 citations*
70. **[Syllogistic reasoning as a basis for combination of evidence in expert systems ↗](https://ijcai.org/Proceedings/85-1/Papers/080.pdf)**Lotfi A. Zadeh*20 citations*
71. **[Parallel formulation op evidential-reasoning theories ↗](http://ijcai.org/Proceedings/85-1/Papers/061.pdf)**Terence R. Thompson*19 citations*
72. **[An endorsement-based plan recognition program ↗](https://ijcai.org/Proceedings/85-1/Papers/093.pdf)**Michael A. Sullivan, Paul R. Cohen*18 citations*
73. **[Computer representation of the law ↗](http://ijcai.org/Proceedings/85-2/Papers/114.pdf)**Robert Kowalski, Marek J. Sergot*18 citations*
74. **[Event calculus ↗](http://dl.acm.org/citation.cfm?id=1625135.1625235)**Gary C. Borchardt*18 citations*
75. **[Refining and extending the procedural net ↗](http://ijcai.org/Proceedings/85-2/Papers/065.pdf)**Mark Drummond*18 citations*
76. **[RESEARCHER: an experimental intelligent information system ↗](http://ijcai.org/Proceedings/85-2/Papers/035.pdf)**Michael Lebowitz*17 citations*
77. **[Does probability have a place in non-monotonic reasoning? ↗](https://ijcai.org/Proceedings/85-1/Papers/019.pdf)**Matthew L. Ginsberg*16 citations*
78. **[Prolog control rules ↗](https://ijcai.org/Proceedings/85-2/Papers/006.pdf)**Lee Naish*16 citations*
79. **[Retrospective zooming: a knowledge based tracking and debugging methodology for logic programming ↗](https://ijcai.org/Proceedings/85-2/Papers/005.pdf)**Marc Eisenstadt A*16 citations*
80. **[A representation for complex physical domains ↗](http://ijcai.org/Proceedings/85-1/Papers/086.pdf)**Sanjaya Addanki, Ernest Davis*15 citations*
81. **[Determining 3-D motion of planar objects from image brightness patterns ↗](https://ijcai.org/Proceedings/85-2/Papers/045.pdf)**S. Negahdaripour, Berthold K. P. Horn*15 citations*
82. **[Learning by discovering macros in puzzle solving ↗](http://ijcai.org/Proceedings/85-1/Papers/124.pdf)**Glenn A. Iba*15 citations*
83. **[Analysis of uncertainties in a structure of parts ↗](https://ijcai.org/Proceedings/85-2/Papers/091.pdf)**Alan Fleming*14 citations*
84. **[Constitutional law and artificial intelligence: the potential legal recognition of computers as persons ↗](http://ijcai.org/Proceedings/85-2/Papers/115.pdf)**Marshal S. Willick*14 citations*
85. **[Learning about momentum conservation ↗](https://ijcai.org/Proceedings/85-1/Papers/129.pdf)**JUDE W. SHAVLIK*14 citations*
86. **[On the use of a taxonomy of time-frequency morphologies for automatic speech recognition ↗](https://ijcai.org/Proceedings/85-2/Papers/038.pdf)**Renato De Mori, Mathew J. Palakal*14 citations*
87. **[CM-strategy: a methodology for inductive theorem proving or constructive well-generalized proofs ↗](http://ijcai.org/Proceedings/85-2/Papers/106.pdf)**Marta Fraňová*13 citations*
88. **[Grammars as user models ↗](http://ijcai.org/Proceedings/85-1/Papers/004.pdf)**Ethel Schuster*13 citations*
89. **[Grammatical functions, discourse, referents, and quantification ↗](http://ijcai.org/Proceedings/85-2/Papers/028.pdf)**Uwe Reyle*13 citations*
90. **[Neat explanation of proof trees ↗](https://ijcai.org/Proceedings/85-1/Papers/071.pdf)**Agneta Eriksson, Anna-Lena Johansson*13 citations*
91. **[Parsing with assertion sets and information monotonicity ↗](http://ijcai.org/Proceedings/85-2/Papers/016.pdf)**C. Edward Barton, Robert C. Berwick*13 citations*
92. **[Temporal reasoning involving counterfactnais and disjunctions ↗](http://ijcai.org/Proceedings/85-2/Papers/078.pdf)**Thomas Dean*13 citations*
93. **[A process theory of non-monotonic inference ↗](https://ijcai.org/Proceedings/85-1/Papers/033.pdf)**James W. Goodwin*12 citations*
94. **[A variable supply model for distributing deductions ↗](https://ijcai.org/Proceedings/85-1/Papers/009.pdf)**Vineet Kumar Singh, Michael Genesereth*12 citations*
95. **[Coarse-to-fine control strategy for matching motion stereo pairs ↗](http://ijcai.org/Proceedings/85-2/Papers/043.pdf)**Gang Xu, Saburo Tsuji, Minoru Asada*12 citations*
96. **[Combining discrete and continuous process models ↗](http://ijcai.org/Proceedings/85-1/Papers/025.pdf)**Daniel S. Weld*12 citations*
97. **[Designing examples for semantically guided hierarchical deduction ↗](https://ijcai.org/Proceedings/85-2/Papers/104.pdf)**Tie Cheng Wang*12 citations*
98. **[Modal propositional semantics for reason maintenance systems ↗](https://ijcai.org/Proceedings/85-1/Papers/032.pdf)**Allen L. Brown*12 citations*
99. **[Motor knowledge representation ↗](http://ijcai.org/Proceedings/85-2/Papers/090.pdf)**G. Marino, Pietro Morasso, Renato Zaccaria*12 citations*
100. **[Splicing plans to achieve misordered goals ↗](https://ijcai.org/Proceedings/85-2/Papers/068.pdf)**Steven A. Vere*12 citations*

**1** [2](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/page/2/) [next →](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/) — International Joint Conference on Artificial Intelligence 1985