Elamur Research⌕
☰
home / venues / International Joint Conference on… / 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.

 160papers in the proceedings 1work in our library 160citations of these 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 ↗Lawrence D. Davis638 citations
  2. Computing circumscription ↗Vladimir Lifschitz372 citations
  3. A common-sense theory of time ↗James F. Allen, Patrick J. Hayes257 citations
  4. LEAP: a learning apprentice for VLSI design ↗Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg248 citations
  5. The geometry tutor ↗John R. Anderson, C. Franklin Boyle, Gregg R. Yost248 citations
  6. Checking an expert systems knowledge base for consistency and completeness ↗Tin A. Nguyen, W. A. Perkins, Thomas J. Laffey et al.178 citations
  7. Symbols among the neurons: details of a connectionist inference architecture ↗David S. Touretzky, Geoffrey E. Minton177 citations
  8. A guide to the modal logics of knowledge and belief: preliminary draft ↗Joseph Yehuda Halpern, Yoram Moses167 citations
  9. Selectively generalizing plans for problem-solvingSteven Minton154 citations · our summary
  10. A process model of cased-based reasoning in problem solving ↗Janet L. Kolodner, Robert L. Simpson, Katia Sycara-Cyranski152 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 ↗Lawrence D. Davis638 citations
  2. Computing circumscription ↗Vladimir Lifschitz372 citations
  3. A common-sense theory of time ↗James F. Allen, Patrick J. Hayes257 citations
  4. LEAP: a learning apprentice for VLSI design ↗Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg248 citations
  5. The geometry tutor ↗John R. Anderson, C. Franklin Boyle, Gregg R. Yost248 citations
  6. Checking an expert systems knowledge base for consistency and completeness ↗Tin A. Nguyen, W. A. Perkins, Thomas J. Laffey et al.178 citations
  7. Symbols among the neurons: details of a connectionist inference architecture ↗David S. Touretzky, Geoffrey E. Minton177 citations
  8. A guide to the modal logics of knowledge and belief: preliminary draft ↗Joseph Yehuda Halpern, Yoram Moses167 citations
  9. Selectively generalizing plans for problem-solvingSteven Minton154 citations · our summary
  10. A process model of cased-based reasoning in problem solving ↗Janet L. Kolodner, Robert L. Simpson, Katia Sycara-Cyranski152 citations
  11. Dynamic student modelling in an intelligent tutor for LISP programming ↗Brian J. Reiser, John R. Anderson, Robert Farrell149 citations
  12. The restricted language architecture of a hybrid representation system ↗Marc Vilain143 citations
  13. MORE: an intelligent knowledge acquisition tool ↗Gary S. Kahn, Steve Nowlan, John P. McDermott118 citations
  14. The limits of qualitative simulation ↗Benjamin J. Kuipers111 citations
  15. Iterative-deepening-A: an optimal admissible tree search ↗Richard E. Korf109 citations
  16. Specular stereo ↗A. Blake99 citations
  17. Multi-objective learning via genetic algorithms ↗J. David Schaffer, John J. Grefenstette90 citations
  18. Knowledge acquisition for constructive systems ↗Sandra Marcus, John P. McDermott, Tianran Wang84 citations
  19. Belief, awareness, and limited reasoning: preliminary report ↗Ronald Fagin, Joseph Yehuda Halpern82 citations
  20. Computer assisted reasoning with MIZAR ↗Andrzej Trybulec, Howard A. Blair69 citations
  21. Syntax, preference, and right attachment ↗Yorick Alexander Wilks, Xiuming Huang, Dan Fass63 citations
  22. An equational approach to theorem proving in first-order predicate calculus ↗Deepak Kapur, Paliath Narendran60 citations
  23. An analysis of consecutively bounded depth-first search with applications in automated deduction ↗Mark E. Stickel, W. Mabry Tyson58 citations
  24. Understanding behavior using consolidation ↗Tom Bylander, B. Chandrasekaran58 citations
  25. An efficient context-free parsing algorithm for natural languages ↗Masaru Tomita56 citations

See all 160 papers in International Joint Conference on Artificial Intelligence 1985 — accepted 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-SolvingInternational Joint Conference on Artificial IntelligenceSteven Minton1985 · 160 citations

 Top topics

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

Reasoning (1)

 Fields

Computer Science (1)

 Top authors

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

🧑‍🔬Steven Minton1 work here · 160 citations

 Top institutions

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

🎓Carnegie Mellon UniversityPittsburgh · United States1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/