Table of Contents

• Toward a Detailed Model of Processing for Language Describing the Physical WorldDavid L. Waltz. 1-6
• Language Comprehension in a Problem SolverDouglas Wong. 7-12
• Cancelled Due To Lack Of InterestMichael Lebowitz. 13-15
• Story Generation After TALE-SPINNatlie Dehn. 16-18
• Modeling Informal DebatesRachel Reichman. 19-24
• A Knowledge-Based Approach to Language Processing: A Progress ReportRobert Wilensky. 25-30
• The Need for Referent Identification as a Planned ActionPhilip R. Cohen. 31-36
• Integration, Unification, Reconstruction, Modification: An Eternal Parsing BraidMichael C. Dyer. 37-42
• Design Characteristics of a Machine Translation SystemMargaret King. 43-46
• High Level Memory Structures and Text Coherence in TranslationC. J. Yang. 47-48
• Natural Language Dialogue about Moving Objects in an Automatically Analyzed Traffic SceneHeinz Marburger, Bernd Neumann, Hans-Joachim Novak. 49-51
• Using Language and Context in the Analysis of TextYigal Arens. 52-57
• Opportunistic Processing in ArgumentsRod McGuire, Lawrence Birnbaum, Margot Flowers. 58-60
• Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as ResponseEric Mays, Sitaram Lanka, Aravind K. Joshi, Bonnie L. Webber. 61-63
• Variable-Depth Natural Language UnderstandingDaniel Kayser, Daniel Coulon. 64-66
• Generalizations Based on ExplanationsGerald DeJong. 67-69
• Viewing Word Expert Parsing as Linguistic TheorySteven L. Small. 70-76
• A Plot Understanding System on Reference to Both Image and LanguageNorihiro Abe, Itsuya Soga, Saburo Tsuji. 77-84
• Metaphor Interpretation as Selective InferencingJerry R. Hobbs. 85-91
• A Computer Model of Child Language AcquisitionMallory Selfridge. 92-96
• A Theory of Language Acquisition Based on General Learning PrinciplesJohn R. Anderson. 97-103
• Concept Learning by ExperimentClaude Sammut. 104-105
• Analogy-Based Acquisition of Utterances Relating to Temporal AspectsV. Sembugamoorthy. 106-108
• Inductive Learning of Pronunciation Rules by hypothesis Testing and CorrectionS. Oakey, R. C. Cawthorn. 109-114
• Failure-Driven Reminding for Incremental LearningChristopher Riesbeck. 115-120
• BACON.5: The Discovery of Conservation LawsPat Langley, Gary L. Bradshaw, Herbert A. Simon. 121-126
• Learning Problem-Solving Heuristics Through PracticeTom M. Mitchell, Paul E. Utgoff, Bernard Nudel, Ranan B. Banerji. 127-134
• Knowledge Acquisition in the Consul SystemDavid Wilczynski. 135-140
• Learning (Complex) Structural Descriptions from ExamplesRegine Loisel, Yves Kodratoff. 141-143
• Learning Racquetball by Constrained Example GenerationLeonard P. Wesley. 144-146
• A Computational Model of Analogical Problem SolvingJaime G. Carbonell. 147-152
• A Computational Model of Analogical Problem SolvingJaime G. Carbonell. 147-152
• Concept Learning by Structured Examples - An Algebraic ApproachFritz Wysotzki, Werner Kolbe, Joachim Selbig. 153-158
• Learning of Sensory-Motor Schemas in a Mobile RobotAlan H. Bond, David H. Mott. 159-161
• Constrained Example Generation: A Testbed for Studying Issues in LearningEdwina L. Rissland, Elliot Soloway. 162-164
• Tuning of Search of the Problem Space for Geometry ProofsJohn R. Anderson. 165-170
• AUTOPILOT: A Distributed Planner for Air Fleet ControlPerry W. Thorndyke, Dave McArtbur, Stephanie J. Cammarata. 171-177
• Deductive Modeling of Human CognitionGöran Hagert, Sten-Åke Tärnlund. 178-183
• Summarizing NarrativesWendy G. Lehnert, John B. Black, Brian J. Reiser. 184-189
• Text Plans and World Plans in Natural DiscourseJerry R. Hobbs, Michael Agar. 190-196
• Why Robots Will Rave EmotionsAaron Sloman, Monica Croucher. 197-202
• Recognizing Intended Meaning and Speakers PlansCandace L. Sidner, David J. Israel. 203-208
• Character Tracking and the Understanding of NarrativesBrian J. Reiser. 209-211
• Learning And Abstraction In SimulationSarah E. Goldin, Philip Klahr. 212-214
• Strolling Down The Garden Path: Error Prone Tasks in Expert Problem SolvingPaul E. Johnson, William B. Thompson. 215-217
• Multi-Processor Rotation and Comparison of ObjectsBrian V. Funt. 218-220
• An Interval-Based Representation of Temporal KnowledgeJames F. Allen. 221-226
• Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You?Janet L. Kolodner. 227-233
• /RESTAURANT Revisited or Lunch with BORIS Michael C. Dyer. 234-236
• The Role of Roles: Some Aspects of Real World Knowledge RepresentationHarald Trost, Ingeborg Steinacker. 237-239
• The Interaction with Incomplete Knowledge Bases: A Formal TreatmentHector J. Levesque. 240-245
• The Representation of an Evolving System of Legal Concepts: II. Prototypes and DeformationsL. Thorne McCarty, N. S. Sridharan. 246-253
• On the Definition of Specialization Hierarchies for ProceduresAlexander Borgida. 254-256
• Cancellation in a Parallel Semantic NetworkScott E. Fahlman, David S. Touretzky, Walter van Roggen. 257-263
• Knowledge Representation of Design in Many-Sorted LogicZsuzsanna Markusz. 264-269
• On Interacting DefaultsRaymond Reiter, Giovanni Criscuolo. 270-276
• The Design Of A System For Designing Knowledge Representation SystemsJames L. Weiner, Martha Palmer. 277-282
• HPM: A Computational Formalism for Heuristic Procedure ModificationRobert Neches. 283-288
• Representing Implicit And Explicit Time Relations In NarrativeLynette Hirschman, Guy Story. 289-295
• The Superiority of Relative Criteria in Partial Matching and GeneralizationPaul J. Kline. 296-303
• PARTS INFERENCE: Closed and Semi-Closed Partitioning GraphsMary Angela Papalaskaris, Lenhart K. Schubert. 304-309
• Decision Trees For Optimizing Pattern - Matching Algorithms in Production SystemsMalik Ghallab. 310-312
• Reasoning With Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge AcquisitionMark S. Fox. 313-318
• An Inference Technique for Integrating Knowledge from Disparate SourcesThomas D. Garvey, John D. Lowrance, Martin A. Fischler. 319-325
• Qualitative Reasoning about Physical ProcessesKenneth D. Forbus. 326-330
• Plan Synthesis: A Logical PerspectiveStanley J. Rosenschein. 331-337
• A New Method for Solving Constraint Satisfaction ProblemsRaimund Seidel. 338-342
• Representations for Reasoning about Digital CircuitsTom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly. 343-344
• Don t Be StupidDennis F. Kibler, Paul Morris. 345-347
• The Nature of Generalization in UnderstandingMichael Lebowitz. 348-353
• Directing And Re-Directing Inference Pursuit: Extra-Textual Influences on Text InterpretationRichard H. Granger. 354-361
• Towards Automating ExplanationsR. E. Cullingford, M. W. Krueger, Mallory Selfridge, Marie A. Bienkowski. 362-367
• Using Active Connection Graphs for Reasoning with Recursive RulesDonald P. McKay, Stuart C. Shapiro. 368-374
• Representation and Inference in the Consul SystemWilliam Mark. 375-381
• Reasoning about Deduction with Unknown ConstantsAndrew Eaas. 382-384
• Control of Inference: Role of Some Aspects of Discourse Structure-CenteringAravind K. Joshi, Scott Weinstein. 385-387
• A Belief Representation for Understanding DeceptionGregory B. Taylor, Stephen B. Whitehill. 388-393
• The Framework for a Model of Psychoanalytic InferenceVirginia Teller, Hartvig Dahl. 394-400
• Building the Inference Component of an Historical Information Retrieval SystemGian Piero Zarri. 401-408
• The Design and an Example Use of Hearsay-IIILee D. Erman, Philip London, Stephen Fickas. 409-415
• Anaphora for Limited Domain SystemsPhilip J. Hayes. 416-422
• Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages AssistantAnatole Gershman. 423-425
• Computing a Map from Michi-Annai-Bun or Written DescriptionsTeiji Furugori. 426-428
• GLP: A General Linguistic ProcessorG. Goerx. 429-431
• Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and UpdatePhilip J. Hayes, Jaime G. Carbonell. 432-439
• A Deterministic Analyzer for the Interpretation of Natural Language CommandsLeonardo Lesmo, Daniela Magnani, Pietro Torasso. 440-442
• A General Semantic Analyser for Data Base AccessBranimir Boguraev, Karen Sparck Jones. 443-445
• An Algorithm that Infers Theories from FactsEhud Y. Shapiro. 446-451
• Distinctions and Confusions: A Catalogue RaisonneDavid J. Israel, Ronald J. Brachman. 452-459
• An Application of AI Techniques to Structuring Objects into an Optimal Conceptual HierarchyRyszard S. Michalski, Robert E. Stepp. 460-465
• Using Matching in Algebraic Equation SolvingAlan Borning, Alan Bundy. 466-471
• Application of Automatic Transformations to Program VerificationRobert Veroff, Lawrence J. Henschen. 472-479
• Subsumption And Connection GraphsNorbert Eisinger. 480-486
• Extended Plausible InferenceLeonard Friedman. 487-495
• A Metalanguage Representation of Relational Databases for Deductive Question-Answering SystemsKurt Konolige. 496-503
• Consistency and Completeness of OMEGA, a Logic for Knowledge RepresentationGiuseppe Attardi, Maria Simi. 504-510
• The Markgraf Karl Refutation ProcedureKarl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther. 511-518
• Symbolic Evaluation of LISP Functions with Side Effects for VerificationDennis de Champeaux, Jos de Bruin. 519-524
• An Improved Filter for Literal Indexing in Resolution SystemsLawrence J. Henschen, Shamim A. Naqvi. 525-529
• Obvious Logical InferencesMartin Davis. 530-531
• Universal Unification and Regular Equational ACFM TheoriesJörg H. Siekmann, Peter Szabó. 532-538
• The Efficacy of RUE Resolution Experimental Results and Heuristic TheoryVincent J. Digricoli. 539-547
• Decomposition Ordering as a Tool to Prove the Termination of Rewriting SystemsPierre Lescanne. 548-550
• Homogenization: Preparing Equations for Change of UnknownAlan Bundy, Bernard Silver. 551-553
• Heuristic Search Theory: Survey of Recent ResultsJudea Pearl. 554-562
• Search Methods Using Heuristic StrategiesMichael P. Georgeff. 563-568
• Branch & Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary ResultsLaveen N. Kanal, Vipin Kumar. 569-571
• Some Remarks on Heuristic Search AlgorithmsLászló Méro. 572-574
• The Use of Parallelism to Implement a Heuristic SearchWilliam A. Kornfeld. 575-580
• An Examination of Brute Force IntelligenceHans J. Berliner. 581-587
• Recognition of 3-D Objects Using the Extended Gaussian ImageKatsushi Ikeuchi. 595-600
• Object Recognition Using Three-Dimensional InformationMasaki Oshima, Yoshiaki Shirai. 601-606
• On ShapesDana H. Ballard, Daniel Sabbah. 607-612
• The Interpretation of Three-Dimensional Structure from Image CurvesDavid G. Lowe, Thomas O. Binford. 613-618
• Model-Based Three Dimensional Interpretations of Two Dimensional ImagesRodney A. Brooks. 619-624
• Structuring Domain Knowledge For Visual PerceptionAlan K. Mackworth, William S. Havens. 625-627
• Experiments In Knowledge-Driven Interpretation of Natural ScenesTerry E. Weymouth. 628-630
• Depth from Edge and Intensity Based StereoH. Harlyn Baker, Thomas O. Binford. 631-636
• A RANSAC-Based Approach to Model Fitting and Its Application to Finding Cylinders in Range DataRobert C. Bolles, Martin A. Fischler. 637-643
• Computing Optic FlowFrank Claser. 644-647
• 3D Object Representation and Matching with B-Splines and Surface PatchesBryant W. York, Allen R. Hanson, Edward M. Riseman. 648-651
• Shape from Shading for Surfaces with Texture and SpecularityE. North Coleman Jr., Ramesh Jain. 652-657
• Triangulation of 3-D ObjectsJean-Daniel Boissonnat, Olivier D. Faugeras. 658-660
• On 3D Reconstruction from Two Perspective ViewsHans-Hellmut Nagel, Bernd Neumann. 661-663
• Polyhedra of Minimal Area as 3D Object ModelsJoseph O Rourke. 664-666
• A Feature-Based Scene MatcherDonald B. Gennery. 667-673
• An Iterative Image Registration Technique with an Application to Stereo VisionBruce D. Lucas, Takeo Kanade. 674-679
• A Structural Method of Scene AnalysisZdenek Zdráhal. 680-682
• A Parallel Computation that Assigns Canonical Object-Based Frames of ReferenceGeoffrey E. Hinton. 683-685
• Structure from Motion of Rigid and Jointed ObjectsJon A. Webb, Jake K. Aggarwal. 686-691
• Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street SceneLeonie Dreschler, Hans-Hellmut Nagel. 692-697
• A Simple Method for Recovering a Relative Depth Map in the Case of a Translating SensorK. Prazdny. 698-699
• Optic Flow Field Structure And Processing Image MotionDaryl T. Lawton. 700-703
• Real-Time Natural Scene Analysis for a Blind ProsthesisMichael F. Peering, Carter Collins. 704-709
• Knowledge-Based Identification of Artery Branches in Cine-AngiogramsSaburo Tsuji, Hidetoshi Nakano. 710-715
• Determining Velocity Map By 3-D Iterative EstimationMasahiko Yachida. 716-718
• Inferential Region Extraction in TV-SequencesBernd Radig. 719-721
• Design Of A Highly Parallel Visual Recognition SystemDaniel Sabbah. 722-727
• Hierarchical Description of TexturesFumiaki Tomita. 728-733
• Dynamically Quantized PyramidsKenneth R. Sloan Jr.. 734-736
• Dynamically Quantized Spaces for Focusing the Hough TransformJoseph O Rourke. 737-739
• Perceptual Problems in Analyzing Industrial RadiographsOscar Firschein, Martin A. Fischler. 740-745
• Obtaining Surface Orientation from Texels under Perspective ProjectionTu-ichi Ohta, Kiyoshi Maenobu, Toshiyuki Sakai. 746-751
• Intensity Discontinuity Location to SubPixel PrecisionP. J. MacVicar-Whelan, Thomas O. Binford. 752-754
• Reasoning About Images: Application to Aerial Image UnderstandingPeter G. Selfridge, Kenneth R. Sloan Jr.. 755-757
• Spatial Problems for a Simulated RobotR. S. Rosenberg, P. F. Rowat. 758-765
• GARI: A Problem Solver That Plans How to Machine Mechanical PartsYannick Descotte, Jean-Claude Latombe. 766-772
• Algorithms of the Complex Tactile Information ProcessingVladimír Marík. 773-774
• Design Concept of Direct-Drive Manipulators Using Rare-Earth DC Torque MotorsHaruhiko Asada, Takeo Kanade. 775-778
• A Locomotion Control System for Mobile RobotsJun-ichi Iijima, Yutaka Kanayama, Shin ichi Yuta. 779-784
• Rover Visual Obstacle AvoidanceHans P. Moravec. 785-790
• Tactile Sensation for RobotsKenneth J. Overton, Thomas Williams. 791-795
• A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a BinJean-Daniel Boissonnat, F. Germain. 796-802
• Advanced Automaton For Space MissionsRobert A. Freitas Jr., Timothy J. Healy, James E. Long. 803-808
• An Object-Oriented Language for Constructing SimulationsDavid McArthur, Henry Sowizral. 809-814
• Explaining and Justifying Expert Consulting ProgramsWilliam R. Swartout. 815-823
• Extending a Knowledge-Based System to Deal with Ad Hoc ConstraintsJohn P. McDermott, Barbara Steele. 824-828
• NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to TeachingWilliam J. Clancey, Reed Letsinger. 829-836
• Inexact Inference for Rule-Based Damage Assessment of Existing StructuresMitsuru Ishizuka, King-sun Fu, James T. P. Yao. 837-842
• DART: An Expert System for Computer Fault DiagnosisJames S. Bennett, Clifford R. Hollander. 843-845
• The DIPMETER ADVISOR: Interpretation of Geologic SignalsRandall Davis, Howard Austin, Ingrid Carlbom, Bud Frawley, Paul Pruchnik, Rich Sneiderman, J. A. Gilreath. 846-849
• Knowledge Structure Definition for an Expert System in Primary Medical CareWerner Horn, Walter Buchstaller, Robert Trappl. 850-852
• Developing Microprocessor Based Expert Models for Instrument InterpretationSholom M. Weiss, Casimir A. Kulikowski, Robert S. Galen. 853-855
• Acquisition of Procedural Knowledge from Domain ExpertsPeter Friedland. 856-861
• How Expert Should an Expert System Be?Roger T. Hartley. 862-867
• Computational Methods for a Mathematical Theory of EvidenceJeffrey A. Barnett. 868-875
• ONCOCIN: An Expert System for Oncology Protocol ManagementEdward H. Shortliffe, A. Carlisle Scott, Miriam B. Bischoff, A. Bruce Campbell, William van Melle, Charlotte D. Jacobs. 876-881
• A Rule-Based Task Generation SystemDerek H. Sleeman. 882-887
• Application Design: Issues in Expert System ArchitectureHarry C. Reinstein, Janice S. Aikins. 888-892
• Causal Understanding of Patient Illness in Medical DiagnosisRamesh S. Patil, Peter Szolovits, William B. Schwartz. 893-899
• Temporal Event Recognition: An Application to Left Ventricular PerformanceJohn K. Tsotsos. 900-907
• A Precedence Scheme for Selection and Explanation of TherapiesJohn K. Kastmer, Sholom M. Weiss. 908-909
• Time-Oriented Features for Medical Consultation SystemsT. Koyama, S. Kaihara, T. Minamikawa, T. Kurokawa. 910-912
• Layered Networks as a Tool for Software DevelopmentIra P. Goldstein, Daniel G. Bobrow. 913-919
• A Knowledge-Based Program EditorRichard C. Waters. 920-926
• Overview of a Display-Oriented Editor for INTERLISPDavid R. Barstow. 927-929
• PEARL - A Package for Efficient Access to Representations in LISPMichael Deering, Joseph Faletti, Robert Wilensky. 930-932
• UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT IKenneth M. Kahn. 933-939
• Brand X: LISP Suport for Semantic NetworksPeter Szolovits, William A. Martin. 940-946
• Last Steps Towards an Ultimate PROLOGAlain Colmerauer, Henry Kanoui, Michel Van Caneghem. 947-948
• Concurrent LISP on a Multi-Micro-Processor SystemShigeo Sugimoto, Koichi Tabata, Kiyoshi Agusa, Yutaka Ohno. 949-954
• ZMOB: A New Conputing Engine for AIChuck Rieger, Randall H. Trigg, Bob Bane. 955-960
• NON-VON: A Parallel Machine Architecture for Knowledge-Based Information ProcessingDavid Elliot Shaw. 961-963
• Domain Specific Debugging Aids for Novice ProgrammersJoachim Laubsch, Marc Eisenstadt. 964-969
• LOGO as an Information Prosthetic for Communication and ControlSylvia Weir. 970-974
• Beverly Park Woolf, Eric Rubin, Paul Barth: Meno-II: An Intelligent Tutoring System for Novice ProgrammersElliot Soloway. 975-977
• An Information Presentation SystemFrank Zdybel, Norton Greenfeld, Martin D. Yonke, Jeff Gibbons. 978-984
• Large Human-Machine Information SpacesChuck Rieger, Richard J. Wood, Elizabeth Allen. 985-991
• The Conceptual Calculus For Automatic Program UnderstandingDaniel Goossens. 992-997
• Automatic Synthesis of Numerical Computer ProgramsRichard H. Brown. 998-1003
• PAPE: An On-Line System for Inferring Procedures from Sets of Their TracesF.-Y. Villemin. 1004-1006
• Inversion of Applicative ProgramsRichard E. Korf. 1007-1009
• Use of Data Representation Mapping in Automatic Generation of Data Base Access ProceduresKoichi Furukawa. 1010-1015
• Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary TreesClaude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud. 1016-1023
• Algebraic ApproximationsDavid A. McAllester. 1024-1026
• A Design for an Automatic Programming SystemDouglas R. Smith. 1027-1029
• An Advisory System for Developing Data RepresentationsShmuel Katz, Ruth Zimmerman. 1030-1036
• APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and AlgorithmsUlrich Bartels, Walter G. Olthoff, Peter Raulefs. 1037-1043
• A Formal Representation for Plans in the Programmers ApprenticeCharles Rich. 1044-1052
• STAMMER2: A Rule-Based ApplicationRobert J. Bechtel. 1053
• A Set of APL Functions to Play New EleusisMichael J. A. Berry. 1054
• MDX and Related Medical Decision-Making SystemsB. Chandrasekaran, Sanjay Mittal, Jack W. Smith. 1055
• Demonstrating PROLOG on APPLE IIAlain Colmerauer, Henry Kanoui, Michel Van Caneghem. 1056
• BORIS - An In-Dept Understander of NarrativesMichael G. Dyer, Thomas C. Wolf, Martin Korsin. 1057
• Factory Modelling, Simulation, and Scheduling in the Intelligent Management SystemMark S. Fox. 1058
• IPP Program DescriptionMichael Lebowitz. 1059
• Tinker: Example-Based Programming for Artificial IntelligenceHenry Lieberman. 1060
• Compound: A Program that Understands Noun CompoundsDavid B. McDonald. 1061
• MUMBLE: A Flexible System for Language ProductionDavid B. McDonald. 1062
• Physics Problem Solving: ISAAC-IIGordon S. Novak. 1063
• The Model Inference SystemEhud Y. Shapiro. 1064
• MARK I RobotJohn K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle. 1065
• KEYSIGHT: Computer Vision Inspection of Valve Spring Assemblies on Engine HeadsWalton A. Perkins. 1066
• Knowledge Sources In VisionSteven Rubin. 1067
• Parameter Networks: Towards a Theory of Low-Level VisionDana H. Ballard. 1068-1078
• Six Topics in Search of a Parser: An Overview of AI Language ResearchEugene Charniak. 1079-1087
• Shape Representation in Parallel SystemsGeoffrey E. Hinton. 1088-1096
• A Psychologist Views Human Processing: Human Errors and Other Phenomena Suggest Processing MechanismsDonald A. Norman. 1097-1101
• Computer Vision and Human Perception: An Essay on the Discovery of ConstraintsSteven W. Zucker. 1102