International Joint Conference on Artificial Intelligence 1985: all accepted papers
- Applying adaptive algorithms to epistatic domains ↗Lawrence D. Davis638 citations
- Computing circumscription ↗Vladimir Lifschitz372 citations
- A common-sense theory of time ↗James F. Allen, Patrick J. Hayes257 citations
- LEAP: a learning apprentice for VLSI design ↗Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg248 citations
- The geometry tutor ↗John R. Anderson, C. Franklin Boyle, Gregg R. Yost248 citations
- Checking an expert systems knowledge base for consistency and completeness ↗Tin A. Nguyen, W. A. Perkins, Thomas J. Laffey et al.178 citations
- Symbols among the neurons: details of a connectionist inference architecture ↗David S. Touretzky, Geoffrey E. Minton177 citations
- A guide to the modal logics of knowledge and belief: preliminary draft ↗Joseph Yehuda Halpern, Yoram Moses167 citations
- Selectively generalizing plans for problem-solvingSteven Minton154 citations · our summary
- A process model of cased-based reasoning in problem solving ↗Janet L. Kolodner, Robert L. Simpson, Katia Sycara-Cyranski152 citations
- Dynamic student modelling in an intelligent tutor for LISP programming ↗Brian J. Reiser, John R. Anderson, Robert Farrell149 citations
- The restricted language architecture of a hybrid representation system ↗Marc Vilain143 citations
- MORE: an intelligent knowledge acquisition tool ↗Gary S. Kahn, Steve Nowlan, John P. McDermott118 citations
- The limits of qualitative simulation ↗Benjamin J. Kuipers111 citations
- Iterative-deepening-A: an optimal admissible tree search ↗Richard E. Korf109 citations
- Specular stereo ↗A. Blake99 citations
- Multi-objective learning via genetic algorithms ↗J. David Schaffer, John J. Grefenstette90 citations
- Knowledge acquisition for constructive systems ↗Sandra Marcus, John P. McDermott, Tianran Wang84 citations
- Belief, awareness, and limited reasoning: preliminary report ↗Ronald Fagin, Joseph Yehuda Halpern82 citations
- Computer assisted reasoning with MIZAR ↗Andrzej Trybulec, Howard A. Blair69 citations
- Syntax, preference, and right attachment ↗Yorick Alexander Wilks, Xiuming Huang, Dan Fass63 citations
- An equational approach to theorem proving in first-order predicate calculus ↗Deepak Kapur, Paliath Narendran60 citations
- An analysis of consecutively bounded depth-first search with applications in automated deduction ↗Mark E. Stickel, W. Mabry Tyson58 citations
- Understanding behavior using consolidation ↗Tom Bylander, B. Chandrasekaran58 citations
- An efficient context-free parsing algorithm for natural languages ↗Masaru Tomita56 citations
- Evidential reasoning in semantic networks: a formal theory ↗Lokendra Shastri, Jerome A. Feldman56 citations
- A decidable first-order logic for knowledge representation ↗Peter F. Patel‐Schneider52 citations
- Learning intermediate concepts in constructing a hierarchical knowledge base ↗LiMin Fu, Bruce G. Buchanan49 citations
- SIGMA: a framework for image understanding integration of bottom-up and top-down analyses ↗Takashi Matsuyama, Vincent Shang-Shouq Hwang48 citations
- The layered architecture of a system for reasoning about programs ↗Charles Rich46 citations
- A learning apprentice for VLSI design ↗Tom M. Mitchell45 citations
- Increasing coherence in a distributed problem-solving network ↗Edmund H. Durfee, Victor Lesser, Daniel D. Corkill45 citations
- A procedural logic ↗Michael Georgeff, Amy Lansky, Pierre Bessìère44 citations
- Parallelism in inheritance hierarchies with exceptions ↗Garrison W. Cottrell43 citations
- Structure from motion without correspondence: general principle ↗Kenichi Kanatani43 citations
- What enables a machine to understand ↗Aaron Sloman42 citations
- Arguments of persuasion in labour mediation ↗Katia Sycara-Cyranski41 citations
- Description-directed natural language generation ↗David D. McDonald, James D. Pustejovsky41 citations
- A computational theory of belief introspection ↗Kurt Konolige40 citations
- Control and integration of diverse knowledge in a diagnostic expert system ↗Pamela K. Fink40 citations
- A proximity metric for continuum path planning ↗C. E. Buckley, LARRY J. LEIFER36 citations
- Automated enhancement of knowledge representations ↗Robert M. Balzer36 citations
- Evaluating queries in deductive databases by generating ↗Eliezer L. Lozinskii36 citations
- Reasoning with uncertainty for expert systems ↗Ronald R. Yager35 citations
- Optical navigation by the method of differences ↗Bruce D. Lucas, Takeo Kanade A34 citations
- Synthesis by completion ↗Nachum Dershowitz34 citations
- Automating program speedup by deciding what to cache ↗Jack Mostow, Donald Cohen33 citations
- Virtual uteral inhibition in parallel activation models of associative memory ↗James A. Reggia33 citations
- On the Solution of Schubert's Steamroller in Many-Sorted Logic. ↗Anthony G. Cohn32 citations
- Type inference in prolog and its application ↗Tadashi Kanamori, Kenji Horiuchi32 citations
- Integrating text planning and production in generation ↗Eduard H. Hovy31 citations
- A case study in structured knowledge acquisition ↗Paul De Grasf, Joost Breuker29 citations
- Verification-based learning: a generalisation strategy for inferring problem-reduction methods ↗Sridhar Mahadevan29 citations
- Discovering the wave theory of sound: inductive inference in the context of problem solving ↗Paul R. Thagard, Keith J. Holyoak27 citations
- Shape from texture ↗John Aliomonos, Michael J. Swain26 citations
- Towards a model of conceptual knowledge acquisition through directed experimentation ↗Shankar A. Rajamoney, GERALD F. DEJONG, Boi V. Faltings26 citations
- A fault detection and isolation method applied to liquid oxygen loading for the space Shuttle ↗Ethan A. Scarl, John R. Jamieson, Carl I. Delaune25 citations
- Empirical and model-based reasoning in expert systems ↗Phyllis Koton25 citations
- A model-theoretic analysis of monotonic knowledge ↗Moshe Y. Vardi23 citations
- LandScan: a natural language and computer vision system for analyzing aerial images ↗Ruzena K. Bajcsy, Aravind K. Joshi, Eric Krotkov et al.23 citations
- Two results on default logic ↗Witold Lukaszewlcz23 citations
- Using model theory to specify AI programs ↗Alan M. Frisch23 citations
- Control issues in classificatory diagnosis ↗Jon Sticklen, Bharath Chandrasekaran, John R. Josephson22 citations
- Nonlinear planning: a rigorous reconstruction ↗David Chapman22 citations
- A framework for distributed sensing and control ↗Tom Henderson, Chuck Hansen, Bir Bhanu21 citations
- Heuristic and formal methods in automatic program debugging ↗William R. Murray21 citations
- Learning shape descriptions ↗Jonathan H. Connell, Michael Brady21 citations
- NON-VON's applicability to three AI task area ↗David Elliot Shaw20 citations
- Naive kinematics: one aspect of shape ↗Yoav Shoham20 citations
- Syllogistic reasoning as a basis for combination of evidence in expert systems ↗Lotfi A. Zadeh20 citations
- Parallel formulation op evidential-reasoning theories ↗Terence R. Thompson19 citations
- An endorsement-based plan recognition program ↗Michael A. Sullivan, Paul R. Cohen18 citations
- Computer representation of the law ↗Robert Kowalski, Marek J. Sergot18 citations
- Event calculus ↗Gary C. Borchardt18 citations
- Refining and extending the procedural net ↗Mark Drummond18 citations
- RESEARCHER: an experimental intelligent information system ↗Michael Lebowitz17 citations
- Does probability have a place in non-monotonic reasoning? ↗Matthew L. Ginsberg16 citations
- Prolog control rules ↗Lee Naish16 citations
- Retrospective zooming: a knowledge based tracking and debugging methodology for logic programming ↗Marc Eisenstadt A16 citations
- A representation for complex physical domains ↗Sanjaya Addanki, Ernest Davis15 citations
- Determining 3-D motion of planar objects from image brightness patterns ↗S. Negahdaripour, Berthold K. P. Horn15 citations
- Learning by discovering macros in puzzle solving ↗Glenn A. Iba15 citations
- Analysis of uncertainties in a structure of parts ↗Alan Fleming14 citations
- Constitutional law and artificial intelligence: the potential legal recognition of computers as persons ↗Marshal S. Willick14 citations
- Learning about momentum conservation ↗JUDE W. SHAVLIK14 citations
- On the use of a taxonomy of time-frequency morphologies for automatic speech recognition ↗Renato De Mori, Mathew J. Palakal14 citations
- CM-strategy: a methodology for inductive theorem proving or constructive well-generalized proofs ↗Marta Fraňová13 citations
- Grammars as user models ↗Ethel Schuster13 citations
- Grammatical functions, discourse, referents, and quantification ↗Uwe Reyle13 citations
- Neat explanation of proof trees ↗Agneta Eriksson, Anna-Lena Johansson13 citations
- Parsing with assertion sets and information monotonicity ↗C. Edward Barton, Robert C. Berwick13 citations
- Temporal reasoning involving counterfactnais and disjunctions ↗Thomas Dean13 citations
- A process theory of non-monotonic inference ↗James W. Goodwin12 citations
- A variable supply model for distributing deductions ↗Vineet Kumar Singh, Michael Genesereth12 citations
- Coarse-to-fine control strategy for matching motion stereo pairs ↗Gang Xu, Saburo Tsuji, Minoru Asada12 citations
- Combining discrete and continuous process models ↗Daniel S. Weld12 citations
- Designing examples for semantically guided hierarchical deduction ↗Tie Cheng Wang12 citations
- Modal propositional semantics for reason maintenance systems ↗Allen L. Brown12 citations
- Motor knowledge representation ↗G. Marino, Pietro Morasso, Renato Zaccaria12 citations
- Splicing plans to achieve misordered goals ↗Steven A. Vere12 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/1985/papers/