. German Research Center for Artificial Intelligence GmbH


Persistent Bibliographic Information Record
c-ijcai85

Ninth Int. Joint Conf. on AI (IJCAI-85)

Reference:

Ninth Int. Joint Conf. on AI (IJCAI-85)
Proc. of the 9th IJCAI, Los Angeles, CA, USA, 1985.

Description:

The International Joint Conference on Artificial Intelligence is the main international gathering of researchers in AI. Started in 1969, it is held every two years, and is jointly sponsored by IJCAI Inc. (IJCAII), and the national AI societies of the host countries.

*PBIR:
The unique LIDOS PBIR Identifier is c-ijcai85
*URL:
This page is located at http://www.dfki.uni-sb.de/imedia/lidos/pbir/c-ijcai85.html
*PURL:
Hyperlinks to this page should refer to http://purl.org/dfki/pbir/c-ijcai85.html, the persistent URL of this bibliographic information record

Contents:

1
J. R. Anderson, C. F. Boyle, and G. Yost. The Geometry Tutor. In Proc. of the 9th IJCAI, pp. 1-7, Los Angeles, CA, 1985.

2
B. J. Reiser, J. R. Anderson, and R. G. Farrell. Dynamic Student Modelling in an Intelligent Tutor For LISP Programming. In Proc. of the 9th IJCAI, pp. 8-14, Los Angeles, CA, 1985.

3
W. R. Murray. Heuristic and Formal Methods in Automatic Program Debugging. In Proc. of the 9th IJCAI, pp. 15-19, Los Angeles, CA, 1985.

4
E. Schuster. Grammars as User Models. In Proc. of the 9th IJCAI, pp. 20-22, Los Angeles, CA, 1985.

5
R. Joobbani and S. N. Talukdar. An Expert System for Understanding Expressions from Electric Circuit Analysis. In Proc. of the 9th IJCAI, pp. 23-25, Los Angeles, CA, 1985.

6
A. Trybulec and H. Blair. Computer Assisted Reasoning with MIZAR. In Proc. of the 9th IJCAI, pp. 26-28, Los Angeles, CA, 1985.

7
S. Kaslf and J. Minker. The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. In Proc. of the 9th IJCAI, pp. 29-31, Los Angeles, CA, 1985.

8
A. L. Davis and S. V. Robison. The Architecture of the FAIM-1 Symbolic Multiprocessing System. In Proc. of the 9th IJCAI, pp. 32-38, Los Angeles, CA, 1985.

9
V. Singh and M. R. Genesereth. A Variable Supply Model for Distributing Deductions. In Proc. of the 9th IJCAI, pp. 39-45, Los Angeles, CA, 1985.

10
G. M. E. Lafue and R. G. Smith. A Modular Tool for Knowledge Management. In Proc. of the 9th IJCAI, pp. 46-52, Los Angeles, CA, 1985.

11
D. F. Kibler and J. Conery. Parallelism in AI Programs. In Proc. of the 9th IJCAI, pp. 53-56, Los Angeles, CA, 1985.

12
A. M. Flynn and J. G. Harris. Recognition Algorithms for the Connection Machine. In Proc. of the 9th IJCAI, pp. 57-60, Los Angeles, CA, 1985.

13
D. E. Shaw. Non-Von's Applicability to Three AI Task Areas. In Proc. of the 9th IJCAI, pp. 61-72, Los Angeles, CA, 1985.

14
R. Brooks and R. Lum. Yes, an SIMD Machine Can Be Used for AI. In Proc. of the 9th IJCAI, pp. 73-79, Los Angeles, CA, 1985.

15
M. L. Ginsberg. Counterfactuals. In Proc. of the 9th IJCAI, pp. 80-86, Los Angeles, CA, 1985.

16
J. Doyle. Reasoned Assumptions and Pareto Optimality. In Proc. of the 9th IJCAI, pp. 87-90, Los Angeles, CA, 1985.

17
J. S. Rosenschein and M. R. Genesereth. Deals Among Rational Agents. In Proc. of the 9th IJCAI, pp. 91-99, Los Angeles, CA, 1985.

18
E. Sandewall. A Functional Approach to Non-Monotonic Logic. In Proc. of the 9th IJCAI, pp. 100-106, Los Angeles, CA, 1985.

19
M. L. Ginsberg. Does Probability Have a Place in Non-Monotonic Reasoning? In Proc. of the 9th IJCAI, pp. 107-110, Los Angeles, CA, 1985.

20
D. Dubois and H. Prade. Combination and Propagation of Uncertainty with Belief Functions (A Reexamination). In Proc. of the 9th IJCAI, pp. 111-113, Los Angeles, CA, 1985.

21
T. Imielinski. Results on Translating Defaults to Circumscription. In Proc. of the 9th IJCAI, pp. 114-120, Los Angeles, CA, 1985.

22
V. Lifschitz. Computing Circumscription. In Proc. of the 9th IJCAI, pp. 121-127, Los Angeles, CA, 1985.

23
B. Kuipers. The Limits of Qualitative Simulation. In Proc. of the 9th IJCAI, pp. 128-136, Los Angeles, CA, 1985.

24
E. Sacks. Qualitative Mathematical Reasoning. In Proc. of the 9th IJCAI, pp. 137-139, Los Angeles, CA, 1985.

25
D. S. Weld. Combining Discrete and Continuous Process Models. In Proc. of the 9th IJCAI, pp. 140-143, Los Angeles, CA, 1985.

26
D. L. Poole. On the Comparison of Theories: Preferring the Most Specific Explanation. In Proc. of the 9th IJCAI, pp. 144-147, Los Angeles, CA, 1985.

27
A. M. Frisch. Using Model Theory to Specify AI Programs. In Proc. of the 9th IJCAI, pp. 148-154, Los Angeles, CA, 1985.

28
M. W. Kim. EGS: A Transformational Approach to Automatic Example Generation. In Proc. of the 9th IJCAI, pp. 155-161, Los Angeles, CA, 1985.

29
L. Davis. Applying Adaptive Algorithms to Epistatic Domains. In Proc. of the 9th IJCAI, pp. 162-164, Los Angeles, CA, 1985.

30
J. Mostow and D. Cohen. Automating Program Speedup by Deciding What to Cache. In Proc. of the 9th IJCAI, pp. 165-172, Los Angeles, CA, 1985.

31
E. L. Lozinskii. Evaluating Queries in Deductive Databases by Generating. In Proc. of the 9th IJCAI, pp. 173-177, Los Angeles, CA, 1985.

32
A. L. Brown. Modal Propositional Semantics for Reason Maintenance Systems. In Proc. of the 9th IJCAI, pp. 178-184, Los Angeles, CA, 1985.

33
J. W. Goodwin. A Process Theory of Non-Monotonic Inference. In Proc. of the 9th IJCAI, pp. 185-187, Los Angeles, CA, 1985.

34
V. Dhar. An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge. In Proc. of the 9th IJCAI, pp. 188-190, Los Angeles, CA, 1985.

35
J. D. Tenenberg. Taxonomic Reasoning. In Proc. of the 9th IJCAI, pp. 191-193, Los Angeles, CA, 1985.

36
G. W. Cottrell. Parallelism in Inheritance Hierarchies with Exceptions. In Proc. of the 9th IJCAI, pp. 194-202, Los Angeles, CA, 1985.

37
R. Balzer. Automated Enhancement of Knowledge Representations. In Proc. of the 9th IJCAI, pp. 203-207, Los Angeles, CA, 1985.

38
N. Dershowitz. Synthesis by Completion. In Proc. of the 9th IJCAI, pp. 208-214, Los Angeles, CA, 1985.

39
D. R. Smith. Reasoning by Cases and the Formation of Conditional Programs. In Proc. of the 9th IJCAI, pp. 215-218, Los Angeles, CA, 1985.

40
D. Eppstein. A Heuristic Approach to Program Inversion. In Proc. of the 9th IJCAI, pp. 219-221, Los Angeles, CA, 1985.

41
Z. Manna and R. Waldinger. The Origin of the Binary-Search Paradigm. In Proc. of the 9th IJCAI, pp. 222-224, Los Angeles, CA, 1985.

42
D. Steiner and E. Kant. Symbolic Execution in Algorithm Design. In Proc. of the 9th IJCAI, pp. 225-231, Los Angeles, CA, 1985.

43
D. Barstow. Automatic Programming for Streams. In Proc. of the 9th IJCAI, pp. 232-237, Los Angeles, CA, 1985.

44
D. S. Touretzky and G. E. Hinton. Symbols Among the Neurons: Details of a Connectionist Inference Architecture. In Proc. of the 9th IJCAI, pp. 238-243, Los Angeles, CA, 1985.

45
J. A. Reggia. Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory. In Proc. of the 9th IJCAI, pp. 244-248, Los Angeles, CA, 1985.

46
J. Geller. The Teachable Letter Recognizer. In Proc. of the 9th IJCAI, pp. 249-251, Los Angeles, CA, 1985.

47
G. E. Hinton and K. J. Lang. Shape Recognition and Illusory Conjunctions. In Proc. of the 9th IJCAI, pp. 252-259, Los Angeles, CA, 1985.

48
H. M. Gigley. Computational Neurolinguistics - What is It all about? In Proc. of the 9th IJCAI, pp. 260-266, Los Angeles, CA, 1985.

49
D. Partridge. Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism. In Proc. of the 9th IJCAI, pp. 267-273, Los Angeles, CA, 1985.

50
G. Hagert. What's in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions. In Proc. of the 9th IJCAI, pp. 274-277, Los Angeles, CA, 1985.

51
E. T. Mueller and M. G. Dyer. Daydreaming in Humans and Computers. In Proc. of the 9th IJCAI, pp. 278-280, Los Angeles, CA, 1985.

52
L. Birnbaum. A Short Note on Opportunistic Planning and Memory in Arguments. In Proc. of the 9th IJCAI, pp. 281-283, Los Angeles, CA, 1985.

53
J. L. Kolodner, R. L. Simpson, and K. Sycara-Cyranski. A Process Model of Cased-Based Reasoning in Problem Solving. In Proc. of the 9th IJCAI, pp. 284-290, Los Angeles, CA, 1985.

54
S. R. Goldman, M. G. Dyer, and M. Flowers. Learning to Understand Contractual Situations. In Proc. of the 9th IJCAI, pp. 291-293, Los Angeles, CA, 1985.

55
K. Sycara-Cyranski. Arguments of Persuasion in Labour Mediation. In Proc. of the 9th IJCAI, pp. 294-296, Los Angeles, CA, 1985.

56
P. A. Koton. Empirical and Model-Based Reasoning in Expert Systems. In Proc. of the 9th IJCAI, pp. 297-299, Los Angeles, CA, 1985.

57
J. Sticklen, B. Chandrasekaran, and J. R. Josephson. Control Issues in Classificatory Diagnosis. In Proc. of the 9th IJCAI, pp. 300-306, Los Angeles, CA, 1985.

58
T. Shibahara. On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias. In Proc. of the 9th IJCAI, pp. 307-314, Los Angeles, CA, 1985.

59
T. Niblett. Judgemental Reasoning for Expert Systems. In Proc. of the 9th IJCAI, pp. 315-317, Los Angeles, CA, 1985.

60
N. A. Khan and R. Jain. Uncertainty Management in a Distributed Knowledge Based System. In Proc. of the 9th IJCAI, pp. 318-320, Los Angeles, CA, 1985.

61
T. R. Thompson. Parallel Formulation of Evidential-Reasoning Theories. In Proc. of the 9th IJCAI, pp. 321-327, Los Angeles, CA, 1985.

62
A. P. White. Predictor: An Alternative Approach to Uncertain Inference in Expert Systems. In Proc. of the 9th IJCAI, pp. 328-330, Los Angeles, CA, 1985.

63
R. D. Ferrante. The Characteristic Error Approach to Conflict Resolution. In Proc. of the 9th IJCAI, pp. 331-334, Los Angeles, CA, 1985.

64
A. J. Nevins. An Architecture for Knowledge Based Deduction. In Proc. of the 9th IJCAI, pp. 335-339, Los Angeles, CA, 1985.

65
J. R. Ensor and J. D. Gabbe. Transactional Blackboards. In Proc. of the 9th IJCAI, pp. 340-344, Los Angeles, CA, 1985.

66
M. Gallanti, G. Guida, L. Spampinato, and A. Stefanini. Representing Procedural Knowledge in Expert Systems: An Application to Process Control. In Proc. of the 9th IJCAI, pp. 345-352, Los Angeles, CA, 1985.

67
W. Dilger and J. Kippe. Comodel: A Language for the Representation of Technical Knowledge. In Proc. of the 9th IJCAI, pp. 353-358, Los Angeles, CA, 1985.

68
L. Friedman. Controlling Production Firing: The FCL Language. In Proc. of the 9th IJCAI, pp. 359-366, Los Angeles, CA, 1985.

69
A. Ginsberg and S. Weiss. SEEK2: Generalized Approach to Automatic Knowledge Base Refinement. In Proc. of the 9th IJCAI, pp. 367-374, Los Angeles, CA, 1985.

70
T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora. Checking an Expert Systems Knowledge Base for Consistency and Completeness. In Proc. of the 9th IJCAI, pp. 375-378, Los Angeles, CA, 1985.

71
A. Eriksson and A. L. Johansson. Neat Explanation of Proof Trees. In Proc. of the 9th IJCAI, pp. 379-381, Los Angeles, CA, 1985.

72
R. Neches, W. R. Swartout, and J. Moore. Explainable (And Maintable) Expert Systems. In Proc. of the 9th IJCAI, pp. 382-389, Los Angeles, CA, 1985.

73
P. de Greef and J. Breuker. A Case Study in Structured Knowledge Acquisition. In Proc. of the 9th IJCAI, pp. 390-392, Los Angeles, CA, 1985.

74
M. Kimura, Y. Matsumura, T. Matsunaga, R. Hata, and H. Matsumura. Rhinos: A Consultation System for Diagnoses of Headache and Facial Pain. In Proc. of the 9th IJCAI, pp. 393-396, Los Angeles, CA, 1985.

75
G. Jiwen, X. Ying, C. Minche, and Z. Jizhi. Model Expert System MES. In Proc. of the 9th IJCAI, pp. 397-399, Los Angeles, CA, 1985.

76
R. Elio and J. de Haan. Knowledge Representation in an Expert Storm Forecasting System. In Proc. of the 9th IJCAI, pp. 400-406, Los Angeles, CA, 1985.

77
T. Tanaka. Parsing Circuit Topology in a Deductive System. In Proc. of the 9th IJCAI, pp. 407-410, Los Angeles, CA, 1985.

78
T. Cline, W. Fong, and S. Rosenberg. An Expert Advisor for Photolithography. In Proc. of the 9th IJCAI, pp. 411-413, Los Angeles, CA, 1985.

79
E. A. Scarl, J. R. Jamieson, and C. I. Delaune. A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle. In Proc. of the 9th IJCAI, pp. 414-416, Los Angeles, CA, 1985.

80
L. A. Zadeh. Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems. In Proc. of the 9th IJCAI, pp. 417-419, Los Angeles, CA, 1985.

81
A. Yeh. Flexible Data Fusion (&Fission). In Proc. of the 9th IJCAI, pp. 420-422, Los Angeles, CA, 1985.

82
R. Milne. Fault Diagnosis Through Responsibility. In Proc. of the 9th IJCAI, pp. 423-425, Los Angeles, CA, 1985.

83
P. K. Fink. Control and Integration of Diverse Knowledge in a Diagnostic Expert System. In Proc. of the 9th IJCAI, pp. 426-431, Los Angeles, CA, 1985.

84
J. R. Hobbs. Granularity. In Proc. of the 9th IJCAI, pp. 432-435, Los Angeles, CA, 1985.

85
Y. Shoham. Naive Kinematics: One Aspect of Shape. In Proc. of the 9th IJCAI, pp. 436-442, Los Angeles, CA, 1985.

86
S. Addanki and E. Davis. A Representation for Complex Physical Domains. In Proc. of the 9th IJCAI, pp. 443-446, Los Angeles, CA, 1985.

87
C. Langlotz, L. Fagan, S. Tu, J. Williams, and B. Sikic. ONYX: An Architecture for Planning in Uncertain Environments. In Proc. of the 9th IJCAI, pp. 447-449, Los Angeles, CA, 1985.

88
T. Bylander and B. Chandrasekaran. Understanding Behavior Using Consolidation. In Proc. of the 9th IJCAI, pp. 450-454, Los Angeles, CA, 1985.

89
P. F. Patel-Schneider. A Decidable First-Order Logic for Knowledge Representation. In Proc. of the 9th IJCAI, pp. 455-458, Los Angeles, CA, 1985.

90
W. Lukaszewicz. Two Results on Default Logic. In Proc. of the 9th IJCAI, pp. 459-461, Los Angeles, CA, 1985.

91
P. Trum. On the Descriptional Complexity of Production System. In Proc. of the 9th IJCAI, pp. 462-464, Los Angeles, CA, 1985.

92
L. Shastri and J. A. Feldman. Evidential Reasoning in Semantic Networks: A Formal Theory. In Proc. of the 9th IJCAI, pp. 465-474, Los Angeles, CA, 1985.

93
M. Sullivan and P. R. Cohen. An Endorsement-Based Plan Recognition Program. In Proc. of the 9th IJCAI, pp. 475-479, Los Angeles, CA, 1985.

94
J. Y. Halpern and Y. Moses. A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. In Proc. of the 9th IJCAI, pp. 480-490, Los Angeles, CA, 1985.

95
R. Fagin and J. Y. Halpern. Belief, Awareness, and Limited Reasoning: Preliminary Report. In Proc. of the 9th IJCAI, pp. 491-501, Los Angeles, CA, 1985.

96
K. Konolige. A Computational Theory of Belief Introspection. In Proc. of the 9th IJCAI, pp. 502-508, Los Angeles, CA, 1985.

97
M. Y. Vardi. A Model-Theoretic Analysis of Monotonic Knowledge. In Proc. of the 9th IJCAI, pp. 509-512, Los Angeles, CA, 1985.

98
A. Kobsa. Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants. In Proc. of the 9th IJCAI, pp. 513-515, Los Angeles, CA, 1985.

99
M. P. Georgeff, A. L. Lansky, and P. Bessiere. A Procedural Logic. In Proc. of the 9th IJCAI, pp. 516-523, Los Angeles, CA, 1985.

100
G. C. Borchardt. Event Calculus. In Proc. of the 9th IJCAI, pp. 524-527, Los Angeles, CA, 1985.

101
J. F. Allen and P. J. Hayes. A Common-Sense Theory of Time. In Proc. of the 9th IJCAI, pp. 528-531, Los Angeles, CA, 1985.

102
R. J. Brachman, V. Pigman Gilbert, and H. J. Levesque. An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of Krypton. In Proc. of the 9th IJCAI, pp. 532-539, Los Angeles, CA, 1985.

103
C. Rich. The Layered Architecture of a System for Reasoning about Programs. In Proc. of the 9th IJCAI, pp. 540-546, Los Angeles, CA, 1985.

104
M. Vilain. The Restricted Language Architecture of a Hybrid Representation System. In Proc. of the 9th IJCAI, pp. 547-551, Los Angeles, CA, 1985.

105
B. Falkenhainer. Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process. In Proc. of the 9th IJCAI, pp. 552-554, Los Angeles, CA, 1985.

106
B. W. Porter and D. F. Kibler. A Comparison of Analytic and Experimental Goal Regression for Machine Learning. In Proc. of the 9th IJCAI, pp. 555-559, Los Angeles, CA, 1985.

107
L. G. Valiant. Learning Disjunctions of Conjunctions. In Proc. of the 9th IJCAI, pp. 560-566, Los Angeles, CA, 1985.

108
J. Pearl. Learning Hidden Causes from Empirical Data. In Proc. of the 9th IJCAI, pp. 567-572, Los Angeles, CA, 1985.

109
T. M. Mitchell, S. Mahadevan, and L. I. Steinberg. LEAP: A Learning Apprentice for VLSI Design. In Proc. of the 9th IJCAI, pp. 572-580, Los Angeles, CA, 1985.

110
G. Kahn, S. Nowlan, and J. McDermott. MORE: An Intelligent Knowledge Acquisition Tool. In Proc. of the 9th IJCAI, pp. 581-584, Los Angeles, CA, 1985.

111
J. Schaeffer and T. A. Marsland. The Utility of Expert Knowledge. In Proc. of the 9th IJCAI, pp. 585-587, Los Angeles, CA, 1985.

112
D. E. Goldberg. Dynamic System Control Using Rule Learning and Genetic Algorithms. In Proc. of the 9th IJCAI, pp. 588-592, Los Angeles, CA, 1985.

113
J. D. Schaffer and J. J. Grefenstette. Multi-Objective Learning Via Genetic Algorithms. In Proc. of the 9th IJCAI, pp. 593-595, Los Angeles, CA, 1985.

114
S. Minton. Selectively Generalizing Plans for Problem-Solving. In Proc. of the 9th IJCAI, pp. 596-599, Los Angeles, CA, 1985.

115
C. Dolan and M. Dyer. Learning Planning Heuristics Through Observation. In Proc. of the 9th IJCAI, pp. 600-602, Los Angeles, CA, 1985.

116
S. Salzberg. Heuristics for Inductive Learning. In Proc. of the 9th IJCAI, pp. 603-609, Los Angeles, CA, 1985.

117
P. Thagard and K. Holyoak. Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving. In Proc. of the 9th IJCAI, pp. 610-612, Los Angeles, CA, 1985.

118
A. Heeffer. Validating Concepts from Automated Acquisition Systems. In Proc. of the 9th IJCAI, pp. 613-615, Los Angeles, CA, 1985.

119
S. Mahadevan. Verification-Based Learning: A Generalization Strategy for Inferring Problem-Reduction Methods. In Proc. of the 9th IJCAI, pp. 616-623, Los Angeles, CA, 1985.

120
D. M. Neves. Learning Procedures from Examples and by Doing. In Proc. of the 9th IJCAI, pp. 624-630, Los Angeles, CA, 1985.

121
B. Arbab and D. Michie. Generating Rules from Examples. In Proc. of the 9th IJCAI, pp. 631-633, Los Angeles, CA, 1985.

122
J. Segen. Learning Concept Descriptions from Examples with Errors. In Proc. of the 9th IJCAI, pp. 634-636, Los Angeles, CA, 1985.

123
S. Marcus, J. McDermott, and T. Wang. Knowledge Acquisition for Constructive Systems. In Proc. of the 9th IJCAI, pp. 637-639, Los Angeles, CA, 1985.

124
G. A. Iba. Learning by Discovering Macros in Puzzle Solving. In Proc. of the 9th IJCAI, pp. 640-642, Los Angeles, CA, 1985.

125
T. Ellman. Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. In Proc. of the 9th IJCAI, pp. 643-646, Los Angeles, CA, 1985.

126
S. Lanka. Automatically Inferring Database Schemas. In Proc. of the 9th IJCAI, pp. 647-649, Los Angeles, CA, 1985.

127
L. Rendell. Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search. In Proc. of the 9th IJCAI, pp. 650-658, Los Angeles, CA, 1985.

128
L. Fu and B. G. Buchanan. Learning Intermediate Concepts in Constructing a Hierarchical Knowledge Base. In Proc. of the 9th IJCAI, pp. 659-666, Los Angeles, CA, 1985.

129
J. W. Shavilik. Learning about Momentum Conservation. In Proc. of the 9th IJCAI, pp. 667-669, Los Angeles, CA, 1985.

130
O. G. Selfridge and R. S. Suyyon. Training and Tracking in Robotics. In Proc. of the 9th IJCAI, pp. 670-672, Los Angeles, CA, 1985.

131
R. G. Smith, H. A. Winston, T. M. Mitchell, and B. G. Buchanan. Representation and Use of Explicit Justifications for Knowledge Base Refinement. In Proc. of the 9th IJCAI, pp. 673-680, Los Angeles, CA, 1985.

132
R. Mooney and G. DeJong. Learning Schemata for Natural Language Processing. In Proc. of the 9th IJCAI, pp. 681-687, Los Angeles, CA, 1985.

133
S. Rajamoney, G. DeJong, and B. Faltings. Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation. In Proc. of the 9th IJCAI, pp. 688-690, Los Angeles, CA, 1985.

134
D. Fisher and P. Langley. Approaches to Conceptual Clustering. In Proc. of the 9th IJCAI, pp. 691-697, Los Angeles, CA, 1985.

135
R. I. Phelps and P. B. Musgrove. A Prototypical Approach to Machine Learning. In Proc. of the 9th IJCAI, pp. 698-700, Los Angeles, CA, 1985.

136
M. Ishizuka and N. Kanai. Prolog-ELF Incorporating Fuzzy Logic. In Proc. of the 9th IJCAI, pp. 700-703, Los Angeles, CA, 1985.

137
T. Kanamori and K. Horiuchi. Type Inference in Prolog and its Application. In Proc. of the 9th IJCAI, pp. 704-707, Los Angeles, CA, 1985.

138
H. Nakashima. Term Description: A Simple Powerful Extension to Prolog Data Structures. In Proc. of the 9th IJCAI, pp. 708-710, Los Angeles, CA, 1985.

139
R. Goebel. Interpreting Descriptions in a Prolog-Based Knowledge Representation System. In Proc. of the 9th IJCAI, pp. 711-716, Los Angeles, CA, 1985.

140
M. Eisenstadt. Retrospective Zooming: A Knowledge Based Tracing and Debugging Methodology for Logic Programming. In Proc. of the 9th IJCAI, pp. 717-719, Los Angeles, CA, 1985.

141
L. Naish. Prolog Control Rules. In Proc. of the 9th IJCAI, pp. 720-722, Los Angeles, CA, 1985.

142
T. Yokomori. A Logic Program Schema and its Applications. In Proc. of the 9th IJCAI, pp. 723-725, Los Angeles, CA, 1985.

143
S. Goto. Concurrency in Proof Normalization and Logic Programming. In Proc. of the 9th IJCAI, pp. 726-729, Los Angeles, CA, 1985.

144
W. Schoenfeld. Prolog Extensions Based on Tableau Calculus. In Proc. of the 9th IJCAI, pp. 730-732, Los Angeles, CA, 1985.

145
R. Whitney, D. J. VanBuer, D. P. McKay, D. Kogan, L. Hirschman, and R. Davis. A Predicate Connection Graph Based Logic with Flexible Control. In Proc. of the 9th IJCAI, pp. 733-736, Los Angeles, CA, 1985.

146
H. Seki. Incorporating Generalization Heuristics into Verification of Prolog Programs. In Proc. of the 9th IJCAI, pp. 737-741, Los Angeles, CA, 1985.

147
F. M. Brown and P. Liu. A Logic Programming and Verification System for Recursive Quantificational Logic. In Proc. of the 9th IJCAI, pp. 742-748, Los Angeles, CA, 1985.

148
G. D. Blanck. A New Kind of Finite-State Automation: Register Vector Grammar. In Proc. of the 9th IJCAI, pp. 749-755, Los Angeles, CA, 1985.

149
M. Tomita. An Efficient Context-free Parsing Algorithm for Natural Languages. In Proc. of the 9th IJCAI, pp. 756-764, Los Angeles, CA, 1985.

150
F. Popowich. Unrestricted Gapping Grammars. In Proc. of the 9th IJCAI, pp. 765-768, Los Angeles, CA, 1985.

151
G. E. Barton and R. C. Berwick. Parsing with Assertion Sets and Information Monotonicity. In Proc. of the 9th IJCAI, pp. 769-771, Los Angeles, CA, 1985.

152
L. Lesmo and P. Torasso. Weighted Interaction of Syntax and Semantics in Natural Language Analysis. In Proc. of the 9th IJCAI, pp. 772-778, Los Angeles, CA, 1985.

153
Y. Wilks, X. Huang, and D. Fass. Syntax, Preference and Right Attachment. In Proc. of the 9th IJCAI, pp. 779-784, Los Angeles, CA, 1985.

154
S. Minton, P. J. Hayes, and J. Fain. Controlling Search in Flexible Parsing. In Proc. of the 9th IJCAI, pp. 785-787, Los Angeles, CA, 1985.

155
S. Bayer, L. Joseph, and C. Kalish. Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding. In Proc. of the 9th IJCAI, pp. 788-790, Los Angeles, CA, 1985.

156
K. F. McCoy. The Role of Perspective in Responding to Property Misconceptions. In Proc. of the 9th IJCAI, pp. 791-793, Los Angeles, CA, 1985.

157
K. R. McKeown, M. Wish, and K. Matthews. Tailoring Explanations for the User. In Proc. of the 9th IJCAI, pp. 794-798, Los Angeles, CA, 1985.

158
D. D. McDonald and J. D. Pustejovsky. Description-Directed Natural Language Generation. In Proc. of the 9th IJCAI, pp. 799-805, Los Angeles, CA, 1985.

159
K. M. Yip. Tense, Aspect and the Cognitive Representation of Time. In Proc. of the 9th IJCAI, pp. 806-814, Los Angeles, CA, 1985.

160
L. Birnbaum. Lexical Ambiguity as a Touchstone for Theories of Language Analysis. In Proc. of the 9th IJCAI, pp. 815-820, Los Angeles, CA, 1985.

161
A. Meyers. VOX-An Extensible Natural Language Processor. In Proc. of the 9th IJCAI, pp. 821-825, Los Angeles, CA, 1985.

162
Y. Yang, S. Doshita, and T. Nishida. Partial Constraints in Chinese Analysis. In Proc. of the 9th IJCAI, pp. 826-828, Los Angeles, CA, 1985.

163
U. Reyle. Grammatical Functions, Discourse Referents and Quantification. In Proc. of the 9th IJCAI, pp. 829-831, Los Angeles, CA, 1985.

164
B. J. Grosz and C. L. Sidner. Discourse Structure and the Proper Treatment of Interruptions. In Proc. of the 9th IJCAI, pp. 832-839, Los Angeles, CA, 1985.

165
D. Fum, G. Guida, and C. Tasso. Evaluating Importance: A Step Towards Text Summarization. In Proc. of the 9th IJCAI, pp. 840-844, Los Angeles, CA, 1985.

166
S. E. August and M. G. Dyer. Understanding Analogies in Editorials. In Proc. of the 9th IJCAI, pp. 845-847, Los Angeles, CA, 1985.

167
E. H. Hovy. Integrating Text Planning and Production in Generation. In Proc. of the 9th IJCAI, pp. 848-851, Los Angeles, CA, 1985.

168
A. Vilnat and G. Sabah. Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation. In Proc. of the 9th IJCAI, pp. 852-854, Los Angeles, CA, 1985.

169
B. Euzenat, B. Normier, A. Ogonowski, and G. P. Zarri. Saphir+Reseda: A New Approach to Intelligent Data Base Access. In Proc. of the 9th IJCAI, pp. 855-857, Los Angeles, CA, 1985.

170
M. Lebowitz. Researcher: An Experimental Intelligent Information System. In Proc. of the 9th IJCAI, pp. 858-862, Los Angeles, CA, 1985.

171
K. P. Eiselt. A Parallel-Process Model of On-Line Inference Processing. In Proc. of the 9th IJCAI, pp. 863-869, Los Angeles, CA, 1985.

172
S. Fong and R. C. Berwick. New Approaches to Parsing Conjunctions Using Prolog. In Proc. of the 9th IJCAI, pp. 870-876, Los Angeles, CA, 1985.

173
R. De Mori and M. Palakal. On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition. In Proc. of the 9th IJCAI, pp. 877-879, Los Angeles, CA, 1985.

174
R. C. Berwick and S. F. Pilato. Reversible Automata and Induction of the English Auxiliary System. In Proc. of the 9th IJCAI, pp. 880-882, Los Angeles, CA, 1985.

175
S. Kitazawa, M. Ishikawa, and S. Doshita. DP-Matching: With or without Phonemes. In Proc. of the 9th IJCAI, pp. 883-885, Los Angeles, CA, 1985.

176
K. Kanatani. Structure from Motion without Correspondence: General Principle. In Proc. of the 9th IJCAI, pp. 886-888, Los Angeles, CA, 1985.

177
A. P. Blicher and S. M. Omohundro. Unique Recovery of Motion and Optic Flow Via Lie Algebras. In Proc. of the 9th IJCAI, pp. 889-891, Los Angeles, CA, 1985.

178
G. Xu, S. Tsuji, and M. Asada. Coarse-to-Fine Control Strategy for Machine Motion Stereo Pairs. In Proc. of the 9th IJCAI, pp. 892-894, Los Angeles, CA, 1985.

179
M. Asada and S. Tsuji. Utilization of a Stripe Pattern for Dynamic Scene Analysis. In Proc. of the 9th IJCAI, pp. 895-897, Los Angeles, CA, 1985.

180
S. Negahdaripour and B. K. P. Horn. Determining 3-D Motion of Planar Objects from Image Brightness Platterns. In Proc. of the 9th IJCAI, pp. 898-901, Los Angeles, CA, 1985.

181
T. Kitahashi and H. Endo. A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry. In Proc. of the 9th IJCAI, pp. 902-904, Los Angeles, CA, 1985.

182
J. A. Mulder. Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous. In Proc. of the 9th IJCAI, pp. 905-907, Los Angeles, CA, 1985.

183
T. Matsuyama and V. Hwang. Sigma: A Framework for Image Understanding - Integration of Bottom-Up and Top-Down Analyses. In Proc. of the 9th IJCAI, pp. 908-915, Los Angeles, CA, 1985.

184
B. Mont-Reynaud. Problem-Solving Strategies in a Music Transcription System. In Proc. of the 9th IJCAI, pp. 916-918, Los Angeles, CA, 1985.

185
R. Bajcsy, A. Joshi, E. Krotkov, and A. Zwarico. LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. In Proc. of the 9th IJCAI, pp. 919-921, Los Angeles, CA, 1985.

186
J. H. Connell and M. Brady. Learning Shape Descriptions. In Proc. of the 9th IJCAI, pp. 922-925, Los Angeles, CA, 1985.

187
J. Aloimonos and M. J. Swain. Shape from texture. In Proc. of the 9th IJCAI, pp. 926-931, Los Angeles, CA, 1985.

188
M. J. Brooks and B. K. P. Horn. Shape and Source from Shading. In Proc. of the 9th IJCAI, pp. 932-936, Los Angeles, CA, 1985.

189
T. M. Strat and M. A. Fischler. One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry. In Proc. of the 9th IJCAI, pp. 937-943, Los Angeles, CA, 1985.

190
M. Kass and A. Witkin. Analyzing Oriented Patterns. In Proc. of the 9th IJCAI, pp. 944-952, Los Angeles, CA, 1985.

191
D. G. Lowe. Visual Recognition from Spatial Correspondence and Perceptual Organization. In Proc. of the 9th IJCAI, pp. 953-959, Los Angeles, CA, 1985.

192
J. J. Little. Determining Object Attitude from Extended Gaussian Images. In Proc. of the 9th IJCAI, pp. 960-963, Los Angeles, CA, 1985.

193
D. H. Ballard and H. Tanaka. Transformational from Perception in 3D: Constraints, Algorithms, Implementation. In Proc. of the 9th IJCAI, pp. 964-968, Los Angeles, CA, 1985.

194
I. Weiss. 3-D Shape Representation by Contours. In Proc. of the 9th IJCAI, pp. 969-972, Los Angeles, CA, 1985.

195
A. Blake. Specular Stereo. In Proc. of the 9th IJCAI, pp. 973-976, Los Angeles, CA, 1985.

196
Y. Nishimoto and Y. Shirai. A Parallel Matching Algorithm for Stereo Vision. In Proc. of the 9th IJCAI, pp. 977-980, Los Angeles, CA, 1985.

197
B. D. Lucas and T. Kanade. Optical Navigation by the Method of Differences. In Proc. of the 9th IJCAI, pp. 981-984, Los Angeles, CA, 1985.

198
L. R. Williams. Spectral Continuity and Eye Vergence Movement. In Proc. of the 9th IJCAI, pp. 985-987, Los Angeles, CA, 1985.

199
A. P. Pentland. A New Sense for Depth of Field. In Proc. of the 9th IJCAI, pp. 988-994, Los Angeles, CA, 1985.

200
A. Sloman. What Enables a Machine to Understand? In Proc. of the 9th IJCAI, pp. 995-1001, Los Angeles, CA, 1985.

201
P. Cheeseman. In Defense of Probability. In Proc. of the 9th IJCAI, pp. 1002-1009, Los Angeles, CA, 1985.

202
M. E. Drummond. Refining and Extending the Procedural Net. In Proc. of the 9th IJCAI, pp. 1010-1012, Los Angeles, CA, 1985.

203
S. F. Smith and P. S. Ow. The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks. In Proc. of the 9th IJCAI, pp. 1013-1015, Los Angeles, CA, 1985.

204
S. A. Vere. Splicing Plans to Achieve Misordered Goals. In Proc. of the 9th IJCAI, pp. 1016-1021, Los Angeles, CA, 1985.

205
D. Chapman. Nonlinear Planning: A Rigorous Reconstruction. In Proc. of the 9th IJCAI, pp. 1022-1024, Los Angeles, CA, 1985.

206
E. H. Durfee, V. R. Lesser, and D. D. Corkill. Increasing Coherence in a Distributed Problem Solving Network. In Proc. of the 9th IJCAI, pp. 1025-1030, Los Angeles, CA, 1985.

207
C. Stuart. An Implementation of a Multi-Agent Plan Synchronizer. In Proc. of the 9th IJCAI, pp. 1031-1033, Los Angeles, CA, 1985.

208
R. E. Korf. Iterative-Deepening-A*: An Optimal Admissible Tree Search. In Proc. of the 9th IJCAI, pp. 1034-1036, Los Angeles, CA, 1985.

209
B. Zhang and L. Zhang. A Weighted Technique in Heuristic Search. In Proc. of the 9th IJCAI, pp. 1037-1039, Los Angeles, CA, 1985.

210
A. Reinefeld, J. Schaeffer, and T. A. Marsland. Information Acquisition in Minimal Window Search. In Proc. of the 9th IJCAI, pp. 1040-1043, Los Angeles, CA, 1985.

211
D. B. Leifker and L. N. Kanal. A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees. In Proc. of the 9th IJCAI, pp. 1044-1046, Los Angeles, CA, 1985.

212
D. L. S. Berlin. SPAN: Integrating Problem Solving Tactics. In Proc. of the 9th IJCAI, pp. 1047-1051, Los Angeles, CA, 1985.

213
D. Miller, R. J. Firby, and T. Dean. Deadlines, Travel Time, and Robot Problem Solving. In Proc. of the 9th IJCAI, pp. 1052-1054, Los Angeles, CA, 1985.

214
S. Vere. Temporal Scope of Assertions and Window Cutoff. In Proc. of the 9th IJCAI, pp. 1055-1059, Los Angeles, CA, 1985.

215
T. Dean. Temporal Reasoning Involving Counterfactuals and Disjunctions. In Proc. of the 9th IJCAI, pp. 1060-1062, Los Angeles, CA, 1985.

216
D. C. Chen. Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain. In Proc. of the 9th IJCAI, pp. 1063-1065, Los Angeles, CA, 1985.

217
R. Dechter and J. Pearl. The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation. In Proc. of the 9th IJCAI, pp. 1066-1072, Los Angeles, CA, 1985.

218
M. E. Stickel and W. M. Tyson. An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. In Proc. of the 9th IJCAI, pp. 1073-1075, Los Angeles, CA, 1985.

219
E. C. Freuder and M. J. Quinn. Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems. In Proc. of the 9th IJCAI, pp. 1076-1078, Los Angeles, CA, 1985.

220
H. Berliner and G. Goetsch. A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness. In Proc. of the 9th IJCAI, pp. 1079-1082, Los Angeles, CA, 1985.

221
H. E. Motteler and L. N. Kanal. The Complexity of Searching Several Classes of And/Or Graphs. In Proc. of the 9th IJCAI, pp. 1083-1085, Los Angeles, CA, 1985.

222
J. F. Gilmore and A. C. Semeco. Terrain Navigation Through Knowledge-Based Route Planning. In Proc. of the 9th IJCAI, pp. 1086-1088, Los Angeles, CA, 1985.

223
R. Wallace, A. Stentz, C. Thorpe, H. Moravec, W. Whittaker, and T. Kanade. First Results in Robot Road-Following. In Proc. of the 9th IJCAI, pp. 1089-1095, Los Angeles, CA, 1985.

224
C. E. Buckley and L. J. Leifer. A Proximity Metric for Continuum Path Planning. In Proc. of the 9th IJCAI, pp. 1096-1102, Los Angeles, CA, 1985.

225
R. P. Sobek. A Robot Planning Structure Using Production Rules. In Proc. of the 9th IJCAI, pp. 1103-1105, Los Angeles, CA, 1985.

226
T. Henderson, C. Hansen, and B. Bhanu. A Framework for Distributed Sensing and Control. In Proc. of the 9th IJCAI, pp. 1106-1109, Los Angeles, CA, 1985.

227
G. Marino, P. Morasso, and R. Zaccaria. Motor Knowledge Representation. In Proc. of the 9th IJCAI, pp. 1110-1112, Los Angeles, CA, 1985.

228
A. Fleming. Analysis of Uncertainties in a Structure of Parts. In Proc. of the 9th IJCAI, pp. 1113-1115, Los Angeles, CA, 1985.

229
R. Horaud. Spatial Object Perception from an Image. In Proc. of the 9th IJCAI, pp. 1116-1119, Los Angeles, CA, 1985.

230
Y. Ohta and T. Kanade. Stereo by Two-Level Dynamic Programming. In Proc. of the 9th IJCAI, pp. 1120-1126, Los Angeles, CA, 1985.

231
T. Echigo and M. Yachida. A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras. In Proc. of the 9th IJCAI, pp. 1127-1130, Los Angeles, CA, 1985.

232
P. Allen and R. Bajcsy. Object Recognition Using Vision and Touch. In Proc. of the 9th IJCAI, pp. 1131-1137, Los Angeles, CA, 1985.

233
Y. Lim and L. J. Henschen. A New Hyperparamodulation Strategy for the Equality Relation. In Proc. of the 9th IJCAI, pp. 1138-1145, Los Angeles, CA, 1985.

234
D. Kapur and P. Narendran. An Equational Approach to Theorem Proving in First-Order Predicate Calculus. In Proc. of the 9th IJCAI, pp. 1146-1153, Los Angeles, CA, 1985.

235
V. J. Digricoli. The Management of Heuristic Search in Boolean Experiments with Rue Resolution. In Proc. of the 9th IJCAI, pp. 1154-1161, Los Angeles, CA, 1985.

236
M. Schmidt-Schauss. A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. In Proc. of the 9th IJCAI, pp. 1162-1168, Los Angeles, CA, 1985.

237
A. G. Cohn. On the Solution of Schubert's Steamroller in Many Sorted Logic. In Proc. of the 9th IJCAI, pp. 1169-1174, Los Angeles, CA, 1985.

238
K. B. Irani and D. G. Shin. A Many-Sorted Resolution based on Extension of a First-Order Language. In Proc. of the 9th IJCAI, pp. 1175-1177, Los Angeles, CA, 1985.

239
T. Yamaguchi, Y. Tezuka, and O. Kakusho. Parallel Processing of Resolution. In Proc. of the 9th IJCAI, pp. 1178-1180, Los Angeles, CA, 1985.

240
M. E. Stickel. Automated Deduction by Theory Resolution. In Proc. of the 9th IJCAI, pp. 1181-1186, Los Angeles, CA, 1985.

241
N. V. Murray and E. Rosenthal. Path Resolution with Link Deletion. In Proc. of the 9th IJCAI, pp. 1187-1193, Los Angeles, CA, 1985.

242
W. Dilger and H. A. Schneider. ASSIP-T: A Theorem Proving Machine. In Proc. of the 9th IJCAI, pp. 1194-1200, Los Angeles, CA, 1985.

243
T. C. Wang. Designing Examples for Semantically Guided Hierarchical Deduction. In Proc. of the 9th IJCAI, pp. 1201-1207, Los Angeles, CA, 1985.

244
J. Castaing. How to Facilitate the Proof of Theorems by Using the Induction-Matching, and by Generalization. In Proc. of the 9th IJCAI, pp. 1208-1213, Los Angeles, CA, 1985.

245
M. Franova. CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. In Proc. of the 9th IJCAI, pp. 1214-1220, Los Angeles, CA, 1985.

246
A. Bundy. Discovery and Reasoning in Mathematics. In Proc. of the 9th IJCAI, pp. 1221-1230, Los Angeles, CA, 1985.

247
H. Inoue. Building a Bridge between AI and Robotics. In Proc. of the 9th IJCAI, pp. 1231-1237, Los Angeles, CA, 1985.

248
J. Perry. Self-Knowledge and Self-Representation. In Proc. of the 9th IJCAI, pp. 1238-1242, Los Angeles, CA, 1985.

249
E. Kant. Understanding and Automating Algorithm Design. In Proc. of the 9th IJCAI, pp. 1243-1253, Los Angeles, CA, 1985.

250
E. L. Rissland. AI and Legal Reasoning. In Proc. of the 9th IJCAI, pp. 1254-1260, Los Angeles, CA, 1985.

251
T. S. Schwartz. Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow. In Proc. of the 9th IJCAI, pp. 1261-1266, Los Angeles, CA, 1985.

252
M. A. Boden. Artificial Intelligence and Legal Responsibility. In Proc. of the 9th IJCAI, pp. 1267-1268, Los Angeles, CA, 1985.

253
R. Kowalski and M. Sergot. Computer Representation of the Law. In Proc. of the 9th IJCAI, pp. 1269-1270, Los Angeles, CA, 1985.

254
M. S. Willick. Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as ``Persons''. In Proc. of the 9th IJCAI, pp. 1271-1273, Los Angeles, CA, 1985.

255
J. Bloom Becker. Fifth Generation Computer Crime Law. In Proc. of the 9th IJCAI, pp. 1274-1278, Los Angeles, CA, 1985.

256
Y. Wilks. Responsible Computers? In Proc. of the 9th IJCAI, pp. 1279-1280, Los Angeles, CA, 1985.

257
H. Thompson. Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility and Moral Sensibility. In Proc. of the 9th IJCAI, pp. 1281-1283, Los Angeles, CA, 1985.

258
J. Fox. Judgement, Policy and the Harmony Machine. In Proc. of the 9th IJCAI, pp. 1284-1288, Los Angeles, CA, 1985.

259
A. Bundy and R. Clutterbuck. Raising the Standards of AI Products. In Proc. of the 9th IJCAI, pp. 1289-1294, Los Angeles, CA, 1985.

260
R. R. Yager. Reasoning with Uncertainty for Expert Systems. In Proc. of the 9th IJCAI, pp. 1295-1297, Los Angeles, CA, 1985.

261
D. Sleeman, D. Appelt, K. Konolige, E. Rich, N. S. Sridharan, and B. Swartout. User Modelling Panel. In Proc. of the 9th IJCAI, pp. 1298-1302, Los Angeles, CA, 1985.

262
H. E. Jacobson. The US & Japan Cooperative AI Research & Development. In Proc. of the 9th IJCAI, pp. 1303-1305, Los Angeles, CA, 1985.

263
T. Winograd, R. Davis, S. Dreyfus, and B. Smith. Panel: Expert Systems: How Far Can They Go? In Proc. of the 9th IJCAI, pp. 1306-1309, Los Angeles, CA, 1985.





Gerd Herzog
Last update: Sat Nov 23 17:06:29 MET 1996


Send comments to herzog@acm.org