7. IJCAI 1981:
Vancouver,
British Columbia,
Canada
Patrick J. Hayes (Ed.):
Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981.
William Kaufmann 1981 BibTeX
- David L. Waltz:
Toward a Detailed Model of Processing for Language Describing the Physical World.
1-6 BibTeX
- Douglas Wong:
Language Comprehension in a Problem Solver.
7-12 BibTeX
- Michael Lebowitz:
Cancelled Due To Lack Of Interest.
13-15 BibTeX
- Natlie Dehn:
Story Generation After TALE-SPIN.
16-18 BibTeX
- Rachel Reichman:
Modeling Informal Debates.
19-24 BibTeX
- Robert Wilensky:
A Knowledge-Based Approach to Language Processing: A Progress Report.
25-30 BibTeX
- Philip R. Cohen:
The Need for Referent Identification as a Planned Action.
31-36 BibTeX
- Michael C. Dyer:
Integration, Unification, Reconstruction, Modification: An Eternal Parsing Braid.
37-42 BibTeX
- Margaret King:
Design Characteristics of a Machine Translation System.
43-46 BibTeX
- C. J. Yang:
High Level Memory Structures and Text Coherence in Translation.
47-48 BibTeX
- Heinz Marburger, Bernd Neumann, Hans-Joachim Novak:
Natural Language Dialogue about Moving Objects in an Automatically Analyzed Traffic Scene.
49-51 BibTeX
- Yigal Arens:
Using Language and Context in the Analysis of Text.
52-57 BibTeX
- Rod McGuire, Lawrence Birnbaum, Margot Flowers:
Opportunistic Processing in Arguments.
58-60 BibTeX
- Eric Mays, Sitaram Lanka, Aravind K. Joshi, Bonnie L. Webber:
Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as Response.
61-63 BibTeX
- Daniel Kayser, Daniel Coulon:
Variable-Depth Natural Language Understanding.
64-66 BibTeX
- Gerald DeJong:
Generalizations Based on Explanations.
67-69 BibTeX
- Steven L. Small:
Viewing Word Expert Parsing as Linguistic Theory.
70-76 BibTeX
- Norihiro Abe, Itsuya Soga, Saburo Tsuji:
A Plot Understanding System on Reference to Both Image and Language.
77-84 BibTeX
- Jerry R. Hobbs:
Metaphor Interpretation as Selective Inferencing.
85-91 BibTeX
- Mallory Selfridge:
A Computer Model of Child Language Acquisition.
92-96 BibTeX
- John R. Anderson:
A Theory of Language Acquisition Based on General Learning Principles.
97-103 BibTeX
- Claude Sammut:
Concept Learning by Experiment.
104-105 BibTeX
- V. Sembugamoorthy:
Analogy-Based Acquisition of Utterances Relating to Temporal Aspects.
106-108 BibTeX
- S. Oakey, R. C. Cawthorn:
Inductive Learning of Pronunciation Rules by hypothesis Testing and Correction.
109-114 BibTeX
- Christopher Riesbeck:
Failure-Driven Reminding for Incremental Learning.
115-120 BibTeX
- Pat Langley, Gary L. Bradshaw, Herbert A. Simon:
BACON.5: The Discovery of Conservation Laws.
121-126 BibTeX
- Tom M. Mitchell, Paul E. Utgoff, Bernard Nudel, Ranan B. Banerji:
Learning Problem-Solving Heuristics Through Practice.
127-134 BibTeX
- David Wilczynski:
Knowledge Acquisition in the Consul System.
135-140 BibTeX
- Regine Loisel, Yves Kodratoff:
Learning (Complex) Structural Descriptions from Examples.
141-143 BibTeX
- Leonard P. Wesley:
Learning Racquetball by Constrained Example Generation.
144-146 BibTeX
- Jaime G. Carbonell:
A Computational Model of Analogical Problem Solving.
147-152 BibTeX
- Jaime G. Carbonell:
A Computational Model of Analogical Problem Solving.
147-152 BibTeX
- Fritz Wysotzki, Werner Kolbe, Joachim Selbig:
Concept Learning by Structured Examples - An Algebraic Approach.
153-158 BibTeX
- Alan H. Bond, David H. Mott:
Learning of Sensory-Motor Schemas in a Mobile Robot.
159-161 BibTeX
- Edwina L. Rissland, Elliot Soloway:
Constrained Example Generation: A Testbed for Studying Issues in Learning.
162-164 BibTeX
- John R. Anderson:
Tuning of Search of the Problem Space for Geometry Proofs.
165-170 BibTeX
- Perry W. Thorndyke, Dave McArtbur, Stephanie J. Cammarata:
AUTOPILOT: A Distributed Planner for Air Fleet Control.
171-177 BibTeX
- Göran Hagert, Sten-Åke Tarnlund:
Deductive Modeling of Human Cognition.
178-183 BibTeX
- Wendy G. Lehnert, John B. Black, Brian J. Reiser:
Summarizing Narratives.
184-189 BibTeX
- Jerry R. Hobbs, Michael Agar:
Text Plans and World Plans in Natural Discourse.
190-196 BibTeX
- Aaron Sloman, Monica Croucher:
Why Robots Will Rave Emotions.
197-202 BibTeX
- Candace L. Sidner, David J. Israel:
Recognizing Intended Meaning and Speakers' Plans.
203-208 BibTeX
- Brian J. Reiser:
Character Tracking and the Understanding of Narratives.
209-211 BibTeX
- Sarah E. Goldin, Philip Klahr:
Learning And Abstraction In Simulation.
212-214 BibTeX
- Paul E. Johnson, William B. Thompson:
Strolling Down The Garden Path: Error Prone Tasks in Expert Problem Solving.
215-217 BibTeX
- Brian V. Funt:
Multi-Processor Rotation and Comparison of Objects.
218-220 BibTeX
- James F. Allen:
An Interval-Based Representation of Temporal Knowledge.
221-226 BibTeX
- Janet L. Kolodner:
Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You?
227-233 BibTeX
- Michael C. Dyer:
\RESTAURANT Revisited or "Lunch with BORIS".
234-236 BibTeX
- Harald Trost, Ingeborg Steinacker:
The Role of Roles: Some Aspects of Real World Knowledge Representation.
237-239 BibTeX
- Hector J. Levesque:
The Interaction with Incomplete Knowledge Bases: A Formal Treatment.
240-245 BibTeX
- L. Thorne McCarty, N. S. Sridharan:
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations.
246-253 BibTeX
- Alexander Borgida:
On the Definition of Specialization Hierarchies for Procedures.
254-256 BibTeX
- Scott E. Fahlman, David S. Touretzky, Walter van Roggen:
Cancellation in a Parallel Semantic Network.
257-263 BibTeX
- Zsuzsanna Markusz:
Knowledge Representation of Design in Many-Sorted Logic.
264-269 BibTeX
- Raymond Reiter, Giovanni Criscuolo:
On Interacting Defaults.
270-276 BibTeX
- James L. Weiner, Martha Palmer:
The Design Of A System For Designing Knowledge Representation Systems.
277-282 BibTeX
- Robert Neches:
HPM: A Computational Formalism for Heuristic Procedure Modification.
283-288 BibTeX
- Lynette Hirschman, Guy Story:
Representing Implicit And Explicit Time Relations In Narrative.
289-295 BibTeX
- Paul J. Kline:
The Superiority of Relative Criteria in Partial Matching and Generalization.
296-303 BibTeX
- Mary Angela Papalaskaris, Lenhart K. Schubert:
PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs.
304-309 BibTeX
- Malik Ghallab:
Decision Trees For Optimizing Pattern - Matching Algorithms in Production Systems.
310-312 BibTeX
- Mark S. Fox:
Reasoning With Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition.
313-318 BibTeX
- Thomas D. Garvey, John D. Lowrance, Martin A. Fischler:
An Inference Technique for Integrating Knowledge from Disparate Sources.
319-325 BibTeX
- Kenneth D. Forbus:
Qualitative Reasoning about Physical Processes.
326-330 BibTeX
- Stanley J. Rosenschein:
Plan Synthesis: A Logical Perspective.
331-337 BibTeX
- Raimund Seidel:
A New Method for Solving Constraint Satisfaction Problems.
338-342 BibTeX
- Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly:
Representations for Reasoning about Digital Circuits.
343-344 BibTeX
- Dennis F. Kibler, Paul Morris:
Don't Be Stupid.
345-347 BibTeX
- Michael Lebowitz:
The Nature of Generalization in Understanding.
348-353 BibTeX
- Richard H. Granger:
Directing And Re-Directing Inference Pursuit: Extra-Textual Influences on Text Interpretation.
354-361 BibTeX
- R. E. Cullingford, M. W. Krueger, Mallory Selfridge, Marie A. Bienkowski:
Towards Automating Explanations.
362-367 BibTeX
- Donald P. McKay, Stuart C. Shapiro:
Using Active Connection Graphs for Reasoning with Recursive Rules.
368-374 BibTeX
- William Mark:
Representation and Inference in the Consul System.
375-381 BibTeX
- Andrew Eaas:
Reasoning about Deduction with Unknown Constants.
382-384 BibTeX
- Aravind K. Joshi, Scott Weinstein:
Control of Inference: Role of Some Aspects of Discourse Structure-Centering.
385-387 BibTeX
- Gregory B. Taylor, Stephen B. Whitehill:
A Belief Representation for Understanding Deception.
388-393 BibTeX
- Virginia Teller, Hartvig Dahl:
The Framework for a Model of Psychoanalytic Inference.
394-400 BibTeX
- Gian Piero Zarri:
Building the Inference Component of an Historical Information Retrieval System.
401-408 BibTeX
- Lee D. Erman, Philip London, Stephen Fickas:
The Design and an Example Use of Hearsay-III.
409-415 BibTeX
- Philip J. Hayes:
Anaphora for Limited Domain Systems.
416-422 BibTeX
- Anatole Gershman:
Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages Assistant.
423-425 BibTeX
- Teiji Furugori:
Computing a Map from Michi-Annai-Bun or Written Descriptions.
426-428 BibTeX
- G. Goerx:
GLP: A General Linguistic Processor.
429-431 BibTeX
- Philip J. Hayes, Jaime G. Carbonell:
Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update.
432-439 BibTeX
- Leonardo Lesmo, Daniela Magnani, Pietro Torasso:
A Deterministic Analyzer for the Interpretation of Natural Language Commands.
440-442 BibTeX
- Branimir Boguraev, Karen Sparck Jones:
A General Semantic Analyser for Data Base Access.
443-445 BibTeX
- Ehud Y. Shapiro:
An Algorithm that Infers Theories from Facts.
446-451 BibTeX
- David J. Israel, Ronald J. Brachman:
Distinctions and Confusions: A Catalogue Raisonne.
452-459 BibTeX
- Ryszard S. Michalski, Robert E. Stepp:
An Application of AI Techniques to Structuring Objects into an Optimal Conceptual Hierarchy.
460-465 BibTeX
- Alan Borning, Alan Bundy:
Using Matching in Algebraic Equation Solving.
466-471 BibTeX
- Robert Veroff, Lawrence J. Henschen:
Application of Automatic Transformations to Program Verification.
472-479 BibTeX
- Norbert Eisinger:
Subsumption And Connection Graphs.
480-486 BibTeX
- Leonard Friedman:
Extended Plausible Inference.
487-495 BibTeX
- Kurt Konolige:
A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems.
496-503 BibTeX
- Giuseppe Attardi, Maria Simi:
Consistency and Completeness of OMEGA, a Logic for Knowledge Representation.
504-510 BibTeX
- Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther:
The Markgraf Karl Refutation Procedure.
511-518 BibTeX
- Dennis de Champeaux, Jos de Bruin:
Symbolic Evaluation of LISP Functions with Side Effects for Verification.
519-524 BibTeX
- Lawrence J. Henschen, Shamim A. Naqvi:
An Improved Filter for Literal Indexing in Resolution Systems.
525-529 BibTeX
- Martin Davis:
Obvious Logical Inferences.
530-531 BibTeX
- Jörg H. Siekmann, Peter Szabó:
Universal Unification and Regular Equational ACFM Theories.
532-538 BibTeX
- Vincent J. Digricoli:
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory.
539-547 BibTeX
- Pierre Lescanne:
Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems.
548-550 BibTeX
- Alan Bundy, Bernard Silver:
Homogenization: Preparing Equations for Change of Unknown.
551-553 BibTeX
- Judea Pearl:
Heuristic Search Theory: Survey of Recent Results.
554-562 BibTeX
- Michael P. Georgeff:
Search Methods Using Heuristic Strategies.
563-568 BibTeX
- Laveen N. Kanal, Vipin Kumar:
Branch & Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary Results.
569-571 BibTeX
- László Méro:
Some Remarks on Heuristic Search Algorithms.
572-574 BibTeX
- William A. Kornfeld:
The Use of Parallelism to Implement a Heuristic Search.
575-580 BibTeX
- Hans J. Berliner:
An Examination of Brute Force Intelligence.
581-587 BibTeX
Cynthia A. Brown,
Paul Walton Purdom Jr.:
How to Search Efficiently. 588-594
- Katsushi Ikeuchi:
Recognition of 3-D Objects Using the Extended Gaussian Image.
595-600 BibTeX
- Masaki Oshima, Yoshiaki Shirai:
Object Recognition Using Three-Dimensional Information.
601-606 BibTeX
- Dana H. Ballard, Daniel Sabbah:
On Shapes.
607-612 BibTeX
- David G. Lowe, Thomas O. Binford:
The Interpretation of Three-Dimensional Structure from Image Curves.
613-618 BibTeX
- Rodney A. Brooks:
Model-Based Three Dimensional Interpretations of Two Dimensional Images.
619-624 BibTeX
- Alan K. Mackworth, William S. Havens:
Structuring Domain Knowledge For Visual Perception.
625-627 BibTeX
- Terry E. Weymouth:
Experiments In Knowledge-Driven Interpretation of Natural Scenes.
628-630 BibTeX
- H. Harlyn Baker, Thomas O. Binford:
Depth from Edge and Intensity Based Stereo.
631-636 BibTeX
- Robert C. Bolles, Martin A. Fischler:
A RANSAC-Based Approach to Model Fitting and Its Application to Finding Cylinders in Range Data.
637-643 BibTeX
- Frank Claser:
Computing Optic Flow.
644-647 BibTeX
- Bryant W. York, Allen R. Hanson, Edward M. Riseman:
3D Object Representation and Matching with B-Splines and Surface Patches.
648-651 BibTeX
- E. North Coleman Jr., Ramesh Jain:
Shape from Shading for Surfaces with Texture and Specularity.
652-657 BibTeX
- Jean-Daniel Boissonnat, Olivier D. Faugeras:
Triangulation of 3-D Objects.
658-660 BibTeX
- Hans-Hellmut Nagel, Bernd Neumann:
On 3D Reconstruction from Two Perspective Views.
661-663 BibTeX
- Joseph O'Rourke:
Polyhedra of Minimal Area as 3D Object Models.
664-666 BibTeX
- Donald B. Gennery:
A Feature-Based Scene Matcher.
667-673 BibTeX
- Bruce D. Lucas, Takeo Kanade:
An Iterative Image Registration Technique with an Application to Stereo Vision.
674-679 BibTeX
- Zdenek Zdráhal:
A Structural Method of Scene Analysis.
680-682 BibTeX
- Geoffrey E. Hinton:
A Parallel Computation that Assigns Canonical Object-Based Frames of Reference.
683-685 BibTeX
- Jon A. Webb, Jake K. Aggarwal:
Structure from Motion of Rigid and Jointed Objects.
686-691 BibTeX
- Leonie Dreschler, Hans-Hellmut Nagel:
Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street Scene.
692-697 BibTeX
- K. Prazdny:
A Simple Method for Recovering a Relative Depth Map in the Case of a Translating Sensor.
698-699 BibTeX
- Daryl T. Lawton:
Optic Flow Field Structure And Processing Image Motion.
700-703 BibTeX
- Michael F. Peering, Carter Collins:
Real-Time Natural Scene Analysis for a Blind Prosthesis.
704-709 BibTeX
- Saburo Tsuji, Hidetoshi Nakano:
Knowledge-Based Identification of Artery Branches in Cine-Angiograms.
710-715 BibTeX
- Masahiko Yachida:
Determining Velocity Map By 3-D Iterative Estimation.
716-718 BibTeX
- Bernd Radig:
Inferential Region Extraction in TV-Sequences.
719-721 BibTeX
- Daniel Sabbah:
Design Of A Highly Parallel Visual Recognition System.
722-727 BibTeX
- Fumiaki Tomita:
Hierarchical Description of Textures.
728-733 BibTeX
- Kenneth R. Sloan Jr.:
Dynamically Quantized Pyramids.
734-736 BibTeX
- Joseph O'Rourke:
Dynamically Quantized Spaces for Focusing the Hough Transform.
737-739 BibTeX
- Oscar Firschein, Martin A. Fischler:
Perceptual Problems in Analyzing Industrial Radiographs.
740-745 BibTeX
- Tu-ichi Ohta, Kiyoshi Maenobu, Toshiyuki Sakai:
Obtaining Surface Orientation from Texels under Perspective Projection.
746-751 BibTeX
- P. J. MacVicar-Whelan, Thomas O. Binford:
Intensity Discontinuity Location to SubPixel Precision.
752-754 BibTeX
- Peter G. Selfridge, Kenneth R. Sloan Jr.:
Reasoning About Images: Application to Aerial Image Understanding.
755-757 BibTeX
- R. S. Rosenberg, P. F. Rowat:
Spatial Problems for a Simulated Robot.
758-765 BibTeX
- Yannick Descotte, Jean-Claude Latombe:
GARI: A Problem Solver That Plans How to Machine Mechanical Parts.
766-772 BibTeX
- Vladimír Marík:
Algorithms of the Complex Tactile Information Processing.
773-774 BibTeX
- Haruhiko Asada, Takeo Kanade:
Design Concept of Direct-Drive Manipulators Using Rare-Earth DC Torque Motors.
775-778 BibTeX
- Jun-ichi Iijima, Yutaka Kanayama, Shin'ichi Yuta:
A Locomotion Control System for Mobile Robots.
779-784 BibTeX
- Hans P. Moravec:
Rover Visual Obstacle Avoidance.
785-790 BibTeX
- Kenneth J. Overton, Thomas Williams:
Tactile Sensation for Robots.
791-795 BibTeX
- Jean-Daniel Boissonnat, F. Germain:
A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a Bin.
796-802 BibTeX
- Robert A. Freitas Jr., Timothy J. Healy, James E. Long:
Advanced Automaton For Space Missions.
803-808 BibTeX
- David McArthur, Henry Sowizral:
An Object-Oriented Language for Constructing Simulations.
809-814 BibTeX
- William R. Swartout:
Explaining and Justifying Expert Consulting Programs.
815-823 BibTeX
- John P. McDermott, Barbara Steele:
Extending a Knowledge-Based System to Deal with Ad Hoc Constraints.
824-828 BibTeX
- William J. Clancey, Reed Letsinger:
NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching.
829-836 BibTeX
- Mitsuru Ishizuka, King-sun Fu, James T. P. Yao:
Inexact Inference for Rule-Based Damage Assessment of Existing Structures.
837-842 BibTeX
- James S. Bennett, Clifford R. Hollander:
DART: An Expert System for Computer Fault Diagnosis.
843-845 BibTeX
- Randall Davis, Howard Austin, Ingrid Carlbom, Bud Frawley, Paul Pruchnik, Rich Sneiderman, J. A. Gilreath:
The DIPMETER ADVISOR: Interpretation of Geologic Signals.
846-849 BibTeX
- Werner Horn, Walter Buchstaller, Robert Trappl:
Knowledge Structure Definition for an Expert System in Primary Medical Care.
850-852 BibTeX
- Sholom M. Weiss, Casimir A. Kulikowski, Robert S. Galen:
Developing Microprocessor Based Expert Models for Instrument Interpretation.
853-855 BibTeX
- Peter Friedland:
Acquisition of Procedural Knowledge from Domain Experts.
856-861 BibTeX
- Roger T. Hartley:
How Expert Should an Expert System Be?
862-867 BibTeX
- Jeffrey A. Barnett:
Computational Methods for a Mathematical Theory of Evidence.
868-875 BibTeX
- Edward H. Shortliffe, A. Carlisle Scott, Miriam B. Bischoff, A. Bruce Campbell, William van Melle, Charlotte D. Jacobs:
ONCOCIN: An Expert System for Oncology Protocol Management.
876-881 BibTeX
- Derek H. Sleeman:
A Rule-Based Task Generation System.
882-887 BibTeX
- Harry C. Reinstein, Janice S. Aikins:
Application Design: Issues in Expert System Architecture.
888-892 BibTeX
- Ramesh S. Patil, Peter Szolovits, William B. Schwartz:
Causal Understanding of Patient Illness in Medical Diagnosis.
893-899 BibTeX
- John K. Tsotsos:
Temporal Event Recognition: An Application to Left Ventricular Performance.
900-907 BibTeX
- John K. Kastmer, Sholom M. Weiss:
A Precedence Scheme for Selection and Explanation of Therapies.
908-909 BibTeX
- T. Koyama, S. Kaihara, T. Minamikawa, T. Kurokawa:
Time-Oriented Features for Medical Consultation Systems.
910-912 BibTeX
- Ira P. Goldstein, Daniel G. Bobrow:
Layered Networks as a Tool for Software Development.
913-919 BibTeX
- Richard C. Waters:
A Knowledge-Based Program Editor.
920-926 BibTeX
- David R. Barstow:
Overview of a Display-Oriented Editor for INTERLISP.
927-929 BibTeX
- Michael Deering, Joseph Faletti, Robert Wilensky:
PEARL - A Package for Efficient Access to Representations in LISP.
930-932 BibTeX
- Kenneth M. Kahn:
UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I.
933-939 BibTeX
- Peter Szolovits, William A. Martin:
Brand X: LISP Suport for Semantic Networks.
940-946 BibTeX
- Alain Colmerauer, Henry Kanoui, Michel Van Caneghem:
Last Steps Towards an Ultimate PROLOG.
947-948 BibTeX
- Shigeo Sugimoto, Koichi Tabata, Kiyoshi Agusa, Yutaka Ohno:
Concurrent LISP on a Multi-Micro-Processor System.
949-954 BibTeX
- Chuck Rieger, Randall H. Trigg, Bob Bane:
ZMOB: A New Conputing Engine for AI.
955-960 BibTeX
- David Elliot Shaw:
NON-VON: A Parallel Machine Architecture for Knowledge-Based Information Processing.
961-963 BibTeX
- Joachim Laubsch, Marc Eisenstadt:
Domain Specific Debugging Aids for Novice Programmers.
964-969 BibTeX
- Sylvia Weir:
LOGO as an Information Prosthetic for Communication and Control.
970-974 BibTeX
- Elliot Soloway:
Beverly Park Woolf, Eric Rubin, Paul Barth: Meno-II: An Intelligent Tutoring System for Novice Programmers.
975-977 BibTeX
- Frank Zdybel, Norton Greenfeld, Martin D. Yonke, Jeff Gibbons:
An Information Presentation System.
978-984 BibTeX
- Chuck Rieger, Richard J. Wood, Elizabeth Allen:
Large Human-Machine Information Spaces.
985-991 BibTeX
- Daniel Goossens:
The Conceptual Calculus For Automatic Program Understanding.
992-997 BibTeX
- Richard H. Brown:
Automatic Synthesis of Numerical Computer Programs.
998-1003 BibTeX
- F.-Y. Villemin:
PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces.
1004-1006 BibTeX
- Richard E. Korf:
Inversion of Applicative Programs.
1007-1009 BibTeX
- Koichi Furukawa:
Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures.
1010-1015 BibTeX
- Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud:
Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees.
1016-1023 BibTeX
- David A. McAllester:
Algebraic Approximations.
1024-1026 BibTeX
- Douglas R. Smith:
A Design for an Automatic Programming System.
1027-1029 BibTeX
- Shmuel Katz, Ruth Zimmerman:
An Advisory System for Developing Data Representations.
1030-1036 BibTeX
- Ulrich Bartels, Walter G. Olthoff, Peter Raulefs:
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms.
1037-1043 BibTeX
- Charles Rich:
A Formal Representation for Plans in the Programmers Apprentice.
1044-1052 BibTeX
- Robert J. Bechtel:
STAMMER2: A Rule-Based Application.
1053 BibTeX
- Michael J. A. Berry:
A Set of APL Functions to Play New Eleusis.
1054 BibTeX
- B. Chandrasekaran, Sanjay Mittal, Jack W. Smith:
MDX and Related Medical Decision-Making Systems.
1055 BibTeX
- Alain Colmerauer, Henry Kanoui, Michel Van Caneghem:
Demonstrating PROLOG on APPLE II.
1056 BibTeX
- Michael G. Dyer, Thomas C. Wolf, Martin Korsin:
BORIS - An In-Dept Understander of Narratives.
1057 BibTeX
- Mark S. Fox:
Factory Modelling, Simulation, and Scheduling in the Intelligent Management System.
1058 BibTeX
- Michael Lebowitz:
IPP Program Description.
1059 BibTeX
- Henry Lieberman:
Tinker: Example-Based Programming for Artificial Intelligence.
1060 BibTeX
- David B. McDonald:
Compound: A Program that Understands Noun Compounds.
1061 BibTeX
- David B. McDonald:
MUMBLE: A Flexible System for Language Production.
1062 BibTeX
- Gordon S. Novak:
Physics Problem Solving: ISAAC-II.
1063 BibTeX
- Ehud Y. Shapiro:
The Model Inference System.
1064 BibTeX
- John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle:
MARK I Robot.
1065 BibTeX
- Walton A. Perkins:
KEYSIGHT: Computer Vision Inspection of Valve Spring Assemblies on Engine Heads.
1066 BibTeX
- Steven Rubin:
Knowledge Sources In Vision.
1067 BibTeX
- Dana H. Ballard:
Parameter Networks: Towards a Theory of Low-Level Vision.
1068-1078 BibTeX
- Eugene Charniak:
Six Topics in Search of a Parser: An Overview of AI Language Research.
1079-1087 BibTeX
- Geoffrey E. Hinton:
Shape Representation in Parallel Systems.
1088-1096 BibTeX
- Donald A. Norman:
A Psychologist Views Human Processing: Human Errors and Other Phenomena Suggest Processing Mechanisms.
1097-1101 BibTeX
- Steven W. Zucker:
Computer Vision and Human Perception: An Essay on the Discovery of Constraints.
1102 BibTeX
Copyright © Wed Jul 23 16:11:49 2008
by Michael Ley (ley@uni-trier.de)
