---
title: "International Joint Conference on Artificial Intelligence"
description: "International Joint Conference on Artificial Intelligence 1985 — accepted papers: 1 paper in the Elamur Research library, with our summaries…"
canonical: "https://research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/"
---
[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/)

[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

# International Joint Conference on Artificial Intelligence 1985 — accepted papers

International Joint Conference on Artificial Intelligence 1985 is the 1985 edition of the International Joint Conference on Artificial Intelligence. OpenAlex lists 160 papers of it; our library holds 1 with our summaries. Below: the most cited papers, every accepted paper, and ours with their topics, authors and institutions.

[**160** papers in the proceedings](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/#works) · [**160** citations of these works](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/#works)

## Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

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*

## All accepted papers (160)

The most cited first; 1 with our summary link to their page here, the others to the original.

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*

[See all 160 papers in International Joint Conference on Artificial Intelligence 1985 — accepted papers →](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/)

## Papers with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[Selectively Generalizing Plans for Problem-Solving](https://md.research.elamur.ai/free/en/papers/minton-1985-selectively-generalizing-plans-problem-solving/) [International Joint Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/)**Steven Minton*1985 · 160 citations*

## Top topics

Topics of its works in our library, with the number of works on each.

[Reasoning (1)](https://md.research.elamur.ai/free/en/topics/reasoning/)

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Steven Minton**1 work here · 160 citations](https://md.research.elamur.ai/free/en/authors/steven-minton/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🎓**Carnegie Mellon University** Pittsburgh · United States 1 work here](https://md.research.elamur.ai/free/en/universities/carnegie-mellon-university/)

works and citations from OpenAlex and our library.

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