. German Research Center for Artificial Intelligence GmbH


Persistent Bibliographic Information Record
c-ijcai83

Eighth Int. Joint Conf. on AI (IJCAI-83)

Reference:

Eighth Int. Joint Conf. on AI (IJCAI-83)
Proc. of the 8th IJCAI, Karlsruhe, Germany, 1983.

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-ijcai83
*URL:
This page is located at http://www.dfki.uni-sb.de/imedia/lidos/pbir/c-ijcai83.html
*PURL:
Hyperlinks to this page should refer to http://purl.org/dfki/pbir/c-ijcai83.html, the persistent URL of this bibliographic information record

Contents:

1
G. Guiho. Automatic Programming Using Abstract Data Types. In Proc. of the 8th IJCAI, pp. 1-9, Karlsruhe, Germany, 1983.

2
U. S. Reddy and B. Jayaraman. Theory of Linear Equations Applied to Program Transformation. In Proc. of the 8th IJCAI, pp. 10-16, Karlsruhe, Germany, 1983.

3
D. Cohen. Symbolic Execution of the Gist Specification Language. In Proc. of the 8th IJCAI, pp. 16-20, Karlsruhe, Germany, 1983.

4
P. M. D. Gray and D. S. Moffat. Manipulating Descriptions of Programs for Database Access. In Proc. of the 8th IJCAI, pp. 21-24, Karlsruhe, Germany, 1983.

5
S. A. Naqvi and L. J. Henschen. Synthesizing Least Fixed Point Queries into Non-Recursive Iterative Programs. In Proc. of the 8th IJCAI, pp. 25-28, Karlsruhe, Germany, 1983.

6
R. L. Sedlmeyer, W. B. Thompson, and P. E. Johnson. Diagnostic Reasoning in Software Fault Localization. In Proc. of the 8th IJCAI, pp. 29-31, Karlsruhe, Germany, 1983.

7
D. R. Smith. A Problem Reduction Approach to Program Synthesis. In Proc. of the 8th IJCAI, pp. 32-36, Karlsruhe, Germany, 1983.

8
C. Gresse. Automatic Programming from Data Types Decomposition Patterns. In Proc. of the 8th IJCAI, pp. 37-39, Karlsruhe, Germany, 1983.

9
J. Mostow. Program Transformations for VLSI. In Proc. of the 8th IJCAI, pp. 40-43, Karlsruhe, Germany, 1983.

10
A. Sloman. Under what Conditions Can a Machine Attribute Meanings to Symbolics (Panel Discussion). In Proc. of the 8th IJCAI, p. 44, Karlsruhe, Germany, 1983.

11
D. McDermott. Under what Conditions Can a Machine Attribute Meanings to Symbolics (Panel Discussion). In Proc. of the 8th IJCAI, pp. 45-46, Karlsruhe, Germany, 1983.

12
W. A. Woods. Under What Conditions Can a Machine Attribute Meanings to Symbolics (Panel Discussion). In Proc. of the 8th IJCAI, pp. 47-48, Karlsruhe, Germany, 1983.

13
B. Kuipers and J. P. Kassirer. How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert Physician. In Proc. of the 8th IJCAI, pp. 49-56, Karlsruhe, Germany, 1983.

14
J. R. Anderson. Learning to Program. In Proc. of the 8th IJCAI, pp. 57-62, Karlsruhe, Germany, 1983.

15
M. Lebowitz. Creating a Story-Telling Universe. In Proc. of the 8th IJCAI, pp. 63-65, Karlsruhe, Germany, 1983.

16
A. Markus. Shifting the Focus of Attention: The Way Agatha Christie Leads You On. In Proc. of the 8th IJCAI, pp. 66-68, Karlsruhe, Germany, 1983.

17
S. Wood. Dynamic World Simulation for Planning with Multiple Agents. In Proc. of the 8th IJCAI, pp. 69-71, Karlsruhe, Germany, 1983.

18
G. Adorni, M. Di Manzo, and F. Giunchiglia. Some Basic Mechanism for Common Sense Reasoning about Stories Environment. In Proc. of the 8th IJCAI, pp. 72-74, Karlsruhe, Germany, 1983.

19
M. G. Dyer. Understanding Stories Through Morals and Remindings. In Proc. of the 8th IJCAI, pp. 75-77, Karlsruhe, Germany, 1983.

20
G. Airenti, B. G. Bara, and M. Colombetti. Planning Perlocutionary Acts. In Proc. of the 8th IJCAI, pp. 78-80, Karlsruhe, Germany, 1983.

21
G. Hagert and A. Hansson. Logic Modelling of Cognitive Reasoning. In Proc. of the 8th IJCAI, pp. 81-83, Karlsruhe, Germany, 1983.

22
J. G. Wallace. Motives and Emotions in a General Learning System. In Proc. of the 8th IJCAI, pp. 84-86, Karlsruhe, Germany, 1983.

23
W. Bell. Artificial Intelligence in the Classroom. In Proc. of the 8th IJCAI, pp. 87-89, Karlsruhe, Germany, 1983.

24
E. L. Rissland. Examples in Legal Reasoning: Legal Hypotheticals. In Proc. of the 8th IJCAI, pp. 90-93, Karlsruhe, Germany, 1983.

25
S. Sage and P. Langley. Modelling Cognitive Development on the Balance Scale Task. In Proc. of the 8th IJCAI, pp. 94-96, Karlsruhe, Germany, 1983.

26
L. Konst, B. J. Wielinga, and J. J. Elshout. Semi-Automated Analysis of Protocols from Novices and Expert Solvig Physics Problems. In Proc. of the 8th IJCAI, pp. 97-99, Karlsruhe, Germany, 1983.

27
J. McDermott. Extracting Knowledge from Expert System. In Proc. of the 8th IJCAI, pp. 100-107, Karlsruhe, Germany, 1983.

28
T. P. Kehler, P. Friedland, and H. Pople. Industrial Strength Knowledge Bases: Issues and Experiences. In Proc. of the 8th IJCAI, pp. 108-109, Karlsruhe, Germany, 1983.

29
R. Sauers and R. Walsh. On the Requirements of Future Expert Systems. In Proc. of the 8th IJCAI, pp. 110-115, Karlsruhe, Germany, 1983.

30
G. T. Vesonder, S. J. Stolfo, J. E. Zielinski, F. D. Miller, and D. H. Copp. ACE: An Expert System for Telephone Cable Maintenance. In Proc. of the 8th IJCAI, pp. 116-121, Karlsruhe, Germany, 1983.

31
R. G. Smith and J. D. Baker. The Dipmeter Advisor System: A Case Study in Commercial Expert System Development. In Proc. of the 8th IJCAI, pp. 122-129, Karlsruhe, Germany, 1983.

32
H. Prade. A Synthetic View of Approximate Reasoning Techniques. In Proc. of the 8th IJCAI, pp. 130-136, Karlsruhe, Germany, 1983.

33
J. R. Quinlan. Consistency and Plausible Reasoning. In Proc. of the 8th IJCAI, pp. 137-144, Karlsruhe, Germany, 1983.

34
R. Reboh. Extracting Useful Advice from Conflicting Expertise. In Proc. of the 8th IJCAI, pp. 145-150, Karlsruhe, Germany, 1983.

35
M. Georgeff and U. Bonollo. Procedural Expert Systems. In Proc. of the 8th IJCAI, pp. 151-157, Karlsruhe, Germany, 1983.

36
M. S. Fox, S. Lowenfeld, and P. Kleinosky. Techniques for Sensor-Based Diagnosis. In Proc. of the 8th IJCAI, pp. 158-163, Karlsruhe, Germany, 1983.

37
J. Xinsong, S. Guoning, and C. Yu. AI Research in China: A Review. In Proc. of the 8th IJCAI, pp. 164-166, Karlsruhe, Germany, 1983.

38
D. B. Lenat, A. Borning, and D. McDonald. Knoesphere: Building Expert Systems with Encyclopedic Knowledge. In Proc. of the 8th IJCAI, pp. 167-169, Karlsruhe, Germany, 1983.

39
C. H. Kellogg. Intelligent Assistants for Knowledge and Information Resources Management. In Proc. of the 8th IJCAI, pp. 170-172, Karlsruhe, Germany, 1983.

40
R. Mizoguchi, Y. Isomoto, and O. Kakusho. Expert System as an Intelligent Assistant for Computer Users. In Proc. of the 8th IJCAI, pp. 173-175, Karlsruhe, Germany, 1983.

41
T. W. Finin. Providing Help and Advice in Task Oriented Systems. In Proc. of the 8th IJCAI, pp. 176-178, Karlsruhe, Germany, 1983.

42
T. L. Williams, P. J. Orgren, and C. L. Smith. Diagnosis of Multiple Faults in a Nationwide Communications Network. In Proc. of the 8th IJCAI, pp. 179-181, Karlsruhe, Germany, 1983.

43
D. W. Loveland and M. Valtorta. Detecting Ambiguity: An Example in Knowledge Evaluation. In Proc. of the 8th IJCAI, pp. 182-184, Karlsruhe, Germany, 1983.

44
A. Bonnet and C. Dahan. Oil-Well Data Interpretation Using Expert System and Pattern Recognition Technique. In Proc. of the 8th IJCAI, pp. 185-189, Karlsruhe, Germany, 1983.

45
J. H. Kim and J. Pearl. A Computational Model for Causal and Diagnostic Reasoning in Inference System. In Proc. of the 8th IJCAI, pp. 190-193, Karlsruhe, Germany, 1983.

46
R. M. Tong, D. G. Shapiro, J. S. Dean, and B. P. McCune. A Comparision of Uncertainty Calculi in an Expert System for Information Retrieval. In Proc. of the 8th IJCAI, pp. 194-197, Karlsruhe, Germany, 1983.

47
P. Cheeseman. A Method of Computing Generalized Bayesian Probability Values for Expert Systems. In Proc. of the 8th IJCAI, pp. 198-202, Karlsruhe, Germany, 1983.

48
L. P. Wesley. Reasoning about Control: The Investigations of an Evidential Approach. In Proc. of the 8th IJCAI, pp. 203-206, Karlsruhe, Germany, 1983.

49
R. R. Cantone, F. J. Pipitone, W. Brent Lander, and M. P. Marrone. Model-Based Probalistic Reasoning for Electronics Troubleshooting. In Proc. of the 8th IJCAI, pp. 207-211, Karlsruhe, Germany, 1983.

50
P. R. Cohen and M. D. Lieberman. A Report on FOLIO: An Expert Assistant for Portfolio Managers. In Proc. of the 8th IJCAI, pp. 212-214, Karlsruhe, Germany, 1983.

51
S. Rosenberg. HPRL: A Language for Building Expert Systems. In Proc. of the 8th IJCAI, pp. 215-217, Karlsruhe, Germany, 1983.

52
T. Bylander, S. Mittal, and B. Chandrasekaran. CSRL: A Language for Expert Systems for Diagnosis. In Proc. of the 8th IJCAI, pp. 218-221, Karlsruhe, Germany, 1983.

53
C. M. Lou and J. Wang. Structure Based Control Strategy. In Proc. of the 8th IJCAI, pp. 222-224, Karlsruhe, Germany, 1983.

54
N. Yamada and H. Motoda. A Diagnosis Method of Dynamic Systems Using the Knowledge on System Description. In Proc. of the 8th IJCAI, pp. 225-229, Karlsruhe, Germany, 1983.

55
W. J. Long and T. A. Russ. A Control Structure for Time Dependant Reasoning. In Proc. of the 8th IJCAI, pp. 230-232, Karlsruhe, Germany, 1983.

56
S. Masui, J. McDermott, and A. Sobel. Decision-Making in Time-Critical Situations. In Proc. of the 8th IJCAI, pp. 233-235, Karlsruhe, Germany, 1983.

57
W. B. Thompson, P. E. Johnson, and J. B. Moen. Recognition-Based Diagnostic Reasoning. In Proc. of the 8th IJCAI, pp. 236-238, Karlsruhe, Germany, 1983.

58
P. L. Miller. Medical Plan-Analysis: The Attending System. In Proc. of the 8th IJCAI, pp. 239-241, Karlsruhe, Germany, 1983.

59
T. Shibahara, J. K. Tsotsos, J. Mylopoulos, and H. D. Covvey. CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. In Proc. of the 8th IJCAI, pp. 242-245, Karlsruhe, Germany, 1983.

60
J. Cuena. The Use of Simulation Models and Human Advice to Build an Expert System for the Defense and Control of River Floods. In Proc. of the 8th IJCAI, pp. 246-249, Karlsruhe, Germany, 1983.

61
J. L. Roos. Artificial Intelligence and Macro-Economy: An Application. In Proc. of the 8th IJCAI, pp. 250-251, Karlsruhe, Germany, 1983.

62
H. J. van den Herik. Representation of Experts' Knowledge in a Subdomain of Chess Intelligence. In Proc. of the 8th IJCAI, pp. 252-255, Karlsruhe, Germany, 1983.

63
R. S. Michalski and A. B. Baskin. Integrating Multiple Knowledge Representations and Learning Capabilities in an Expert System: The ADVISE System. In Proc. of the 8th IJCAI, pp. 256-258, Karlsruhe, Germany, 1983.

64
D. B. Lenat, A. Clarkson, and G. Kiremidjian. An Expert System for Indications & Warning Analysis. In Proc. of the 8th IJCAI, pp. 259-263, Karlsruhe, Germany, 1983.

65
T. Tanaka. Representation and Analysis of Electronical Circuits in a Deductive System. In Proc. of the 8th IJCAI, pp. 263-267, Karlsruhe, Germany, 1983.

66
R. L. Blum. Representation of Empirically Derived Causal. In Proc. of the 8th IJCAI, pp. 268-271, Karlsruhe, Germany, 1983.

67
R. C. Moore. Semantical Considerations on Nonmonotonic Logic. In Proc. of the 8th IJCAI, pp. 272-279, Karlsruhe, Germany, 1983.

68
J. A. Barnden. Intensions as Such: An Outline. In Proc. of the 8th IJCAI, pp. 280-286, Karlsruhe, Germany, 1983.

69
L. T. McCarty. Permissions and Obligations. In Proc. of the 8th IJCAI, pp. 287-294, Karlsruhe, Germany, 1983.

70
E. Davis. The Mercator Representation of Spatial Knowledge. In Proc. of the 8th IJCAI, pp. 295-301, Karlsruhe, Germany, 1983.

71
D. McDermott. Generalizing Problem Reduction : A Logical Analysis. In Proc. of the 8th IJCAI, pp. 302-308, Karlsruhe, Germany, 1983.

72
J. Doyle. A Society of Mind: Multiple Perspectives, Reasoned Assumptions, and Virtual Copies. In Proc. of the 8th IJCAI, pp. 309-314, Karlsruhe, Germany, 1983.

73
K. Forbus. Measurement Interpretation in Qualitative Process Theory. In Proc. of the 8th IJCAI, pp. 315-320, Karlsruhe, Germany, 1983.

74
W. Dilger and W. Womann. Semantic Networks as Abstract Data Types. In Proc. of the 8th IJCAI, pp. 321-324, Karlsruhe, Germany, 1983.

75
R. Meersman and F. van Assche. Modelling and Manipulating Production Data Bases in Terms of Semantic Nets. In Proc. of the 8th IJCAI, pp. 325-329, Karlsruhe, Germany, 1983.

76
J. G. Schmolze and T. A. Lipkis. Classification in the KL-ONE Knowledge Representation Systems. In Proc. of the 8th IJCAI, pp. 330-332, Karlsruhe, Germany, 1983.

77
A. Cappelli, L. Moretti, and C. Vinchesi. KL-Conc: A Language for Interactive with SI-Nets. In Proc. of the 8th IJCAI, pp. 333-336, Karlsruhe, Germany, 1983.

78
U. Reimer and U. Hahn. A Formal Approach to the Semantics of a Frame Data Model. In Proc. of the 8th IJCAI, pp. 336-339, Karlsruhe, Germany, 1983.

79
B. P. Allen and J. M. Wright. Integrating Logic Programs and Schemata. In Proc. of the 8th IJCAI, pp. 340-342, Karlsruhe, Germany, 1983.

80
J. Malik and T. O. Binford. Reasoning in Time and Space. In Proc. of the 8th IJCAI, pp. 343-345, Karlsruhe, Germany, 1983.

81
E. Y. Kandrashina. Representation of Temporal Knowledge. In Proc. of the 8th IJCAI, pp. 346-351, Karlsruhe, Germany, 1983.

82
J. Doyle. The Ins and Outs of Reason Maintenance. In Proc. of the 8th IJCAI, pp. 352-354, Karlsruhe, Germany, 1983.

83
W. Lukaszewicz. General Approach to Nonmonotonic Logics. In Proc. of the 8th IJCAI, pp. 352-354, Karlsruhe, Germany, 1983.

84
P. R. Cohen and M. R. Grinberg. A Framework for Heuristic Reasoning about Uncertainty. In Proc. of the 8th IJCAI, pp. 355-357, Karlsruhe, Germany, 1983.

85
C. R. Rollinger. How to Represent Evidence: Aspects of Uncertain. In Proc. of the 8th IJCAI, pp. 358-361, Karlsruhe, Germany, 1983.

86
J. W. Hearne. Simulating Non-Deductive Reasoning. In Proc. of the 8th IJCAI, pp. 362-364, Karlsruhe, Germany, 1983.

87
R. E. Filman, J. Lamping, and F. S. Montalvo. Meta-Knowledge and Meta-Reasoning. In Proc. of the 8th IJCAI, pp. 365-369, Karlsruhe, Germany, 1983.

88
J. P. Martins and S. C. Shapiro. Reasoning in Multiple Belief Spaces. In Proc. of the 8th IJCAI, pp. 370-373, Karlsruhe, Germany, 1983.

89
M. Nilsson. A Logical Model of Knowledge. In Proc. of the 8th IJCAI, pp. 374-376, Karlsruhe, Germany, 1983.

90
K. Konolige. A Deductive Model of Belief. In Proc. of the 8th IJCAI, pp. 377-381, Karlsruhe, Germany, 1983.

91
A. S. Maida. Knowing Intensional Individuals, and Reasoning about Knowing Intensional Individuals. In Proc. of the 8th IJCAI, pp. 382-384, Karlsruhe, Germany, 1983.

92
J. F. Cloarec and J. F. Cudelou. An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems. In Proc. of the 8th IJCAI, pp. 385-387, Karlsruhe, Germany, 1983.

93
D. N. Chin. A Case of Study of Knowledge Representation in UC. In Proc. of the 8th IJCAI, pp. 388-390, Karlsruhe, Germany, 1983.

94
S. Ohsuga. Predicate Logic Involving Data Structures as a Knowledge Representation Language. In Proc. of the 8th IJCAI, pp. 391-394, Karlsruhe, Germany, 1983.

95
L. Steels. Descriptions as Constraints in Object-Oriented Representation. In Proc. of the 8th IJCAI, pp. 395-397, Karlsruhe, Germany, 1983.

96
M. Xiwen and G. Weide. W-JS: A Modal Logic of Knowledge. In Proc. of the 8th IJCAI, pp. 398-401, Karlsruhe, Germany, 1983.

97
R. Wilensky. Memory and Inference. In Proc. of the 8th IJCAI, pp. 402-404, Karlsruhe, Germany, 1983.

98
A. Fusaoka, H. Seki, and K. Takahashi. A Description and Reasoning of Plant Controllers in Temporal Logic. In Proc. of the 8th IJCAI, pp. 405-408, Karlsruhe, Germany, 1983.

99
F. Wysotzki. Representation and Induction of Infinite Concepts and Recursive Action Sequences. In Proc. of the 8th IJCAI, pp. 409-414, Karlsruhe, Germany, 1983.

100
D. Kibler and B. Porter. Perturbation: A Means for Guiding Generalization. In Proc. of the 8th IJCAI, pp. 415-418, Karlsruhe, Germany, 1983.

101
P. Langley. Learning Effective Search Heuristics. In Proc. of the 8th IJCAI, pp. 419-421, Karlsruhe, Germany, 1983.

102
S. F. Smith. Flexible Learning of Problem Solving Heuristics Through Adaptive Search. In Proc. of the 8th IJCAI, pp. 422-425, Karlsruhe, Germany, 1983.

103
S. Ohlsson. A Constrained Mechanism for Procedural Learning. In Proc. of the 8th IJCAI, pp. 426-428, Karlsruhe, Germany, 1983.

104
B. Silver. Learning Equation Solving Methods from Examples. In Proc. of the 8th IJCAI, pp. 429-431, Karlsruhe, Germany, 1983.

105
P. D. Scott and R. C. Vogt. Knowledge Oriented Learning. In Proc. of the 8th IJCAI, pp. 432-435, Karlsruhe, Germany, 1983.

106
M. D. Grover. A Pragmatic Knowledge Aquisition Methodology. In Proc. of the 8th IJCAI, pp. 436-438, Karlsruhe, Germany, 1983.

107
A. A. Araya. Learning by Controlled Transference of Knowledge between Domains. In Proc. of the 8th IJCAI, pp. 439-443, Karlsruhe, Germany, 1983.

108
G. M. K. Hunt. Admissable Hypotheses and Enhanced Learning. In Proc. of the 8th IJCAI, pp. 444-446, Karlsruhe, Germany, 1983.

109
P. E. Utgoff. Adjusting Bias in Concept Learning. In Proc. of the 8th IJCAI, pp. 447-449, Karlsruhe, Germany, 1983.

110
R. Greiner and M. R. Genesereth. What's New? A Semantic Definition of Novelty. In Proc. of the 8th IJCAI, pp. 450-454, Karlsruhe, Germany, 1983.

111
W. Emde, C. U. Habel, and C.-R. Rollinger. The Discovery of the Equator or Concept Driven Learning. In Proc. of the 8th IJCAI, pp. 455-458, Karlsruhe, Germany, 1983.

112
R. C. Berwick. Learning Word Meanings from Examples. In Proc. of the 8th IJCAI, pp. 459-461, Karlsruhe, Germany, 1983.

113
G. DeJong. Acquiring Schemata Through Understanding and Generalizing Plans. In Proc. of the 8th IJCAI, pp. 462-464, Karlsruhe, Germany, 1983.

114
P. Langley, J. M. Zytkow, G. L. Bradshaw, and H. A. Simon. Three Facets of Scientific Discovery. In Proc. of the 8th IJCAI, pp. 465-468, Karlsruhe, Germany, 1983.

115
L. A. Rendell. A Learning System Which Accommodates Feature Interactions. In Proc. of the 8th IJCAI, pp. 469-472, Karlsruhe, Germany, 1983.

116
B. A. Shepherd. An Appraisal of a Decision Tree Approach to Image Classification. In Proc. of the 8th IJCAI, pp. 473-475, Karlsruhe, Germany, 1983.

117
J. Quinqueton and J. Sallantin. Algorithms for Learning Logical Formulas. In Proc. of the 8th IJCAI, pp. 476-478, Karlsruhe, Germany, 1983.

118
R. A. O'Keefe. Concept Formation from very Large Training Sets. In Proc. of the 8th IJCAI, pp. 479-481, Karlsruhe, Germany, 1983.

119
T. Nishida, A. Kosaka, and S. Doshita. Towards Knowledge Acquisition from Natural Language Documents: Automatic Model Construction from Hardware Manual. In Proc. of the 8th IJCAI, pp. 482-486, Karlsruhe, Germany, 1983.

120
A. Colmerauer. Prolog in 10 Figures. In Proc. of the 8th IJCAI, pp. 487-499, Karlsruhe, Germany, 1983.

121
J. Jaffar, J.-L. Lasez, and J. Lloyd. Completness of the Negation as Failure Rule. In Proc. of the 8th IJCAI, pp. 500-506, Karlsruhe, Germany, 1983.

122
M. Sato and T. Sakurai. Qute: A Prolog/Lisp Type Language for Logic Programming. In Proc. of the 8th IJCAI, pp. 507-513, Karlsruhe, Germany, 1983.

123
W. A. Kornfeld. Equality for Prolog. In Proc. of the 8th IJCAI, pp. 514-519, Karlsruhe, Germany, 1983.

124
W. G. Wilson and C. C. John. Semantic Code Analysis. In Proc. of the 8th IJCAI, pp. 520-525, Karlsruhe, Germany, 1983.

125
A. Walker. Prolog/Ex1: An Inference Engine Which Explains Both Yes and No Answers. In Proc. of the 8th IJCAI, pp. 526-528, Karlsruhe, Germany, 1983.

126
E. Y. Shapiro. Logic Programs with Uncertainties: A Tool for Implementing Rule-Based Systems. In Proc. of the 8th IJCAI, pp. 529-532, Karlsruhe, Germany, 1983.

127
C. Mellish and S. Hardy. Integrating Prolog into the Poplog Environment. In Proc. of the 8th IJCAI, pp. 533-535, Karlsruhe, Germany, 1983.

128
D. C. Dodson and A. L. Rector. ``Logal'': Algorithmic Control Structures for Prolog. In Proc. of the 8th IJCAI, pp. 536-538, Karlsruhe, Germany, 1983.

129
J. S. Conery and D. F. Kibler. AND Parallelism in Logic Programs. In Proc. of the 8th IJCAI, pp. 539-543, Karlsruhe, Germany, 1983.

130
S. Kasif, M. Kohli, and J. Minker. PRISM: A Parallel Inference System for Problem Solving. In Proc. of the 8th IJCAI, pp. 544-546, Karlsruhe, Germany, 1983.

131
K. Mukai. A Unification Algorithm for Infinite Trees. In Proc. of the 8th IJCAI, pp. 547-549, Karlsruhe, Germany, 1983.

132
A. Feuer. Building Libraries in Prolog. In Proc. of the 8th IJCAI, pp. 550-552, Karlsruhe, Germany, 1983.

133
A. Edman and S. A. Tärnlund. Mechanization of an Oracle in a Debugging System. In Proc. of the 8th IJCAI, pp. 553-555, Karlsruhe, Germany, 1983.

134
G. Gazdar. Phrase Structure Grammars and Natural Languages. In Proc. of the 8th IJCAI, pp. 556-565, Karlsruhe, Germany, 1983.

135
D. N. Osherson, M. Stob, and S. Weinstein. Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. In Proc. of the 8th IJCAI, pp. 566-572, Karlsruhe, Germany, 1983.

136
P. Martin, D. Appelt, and F. Pereira. Transportability and Generality in a Natural-Language Interface System. In Proc. of the 8th IJCAI, pp. 573-581, Karlsruhe, Germany, 1983.

137
K. R. McKeown. Focus Constraints on Language Generation. In Proc. of the 8th IJCAI, pp. 582-587, Karlsruhe, Germany, 1983.

138
W. Hoeppner, T. Christaller, and H. Marburger. Beyond Domain-Independence: Experience with the Development of a German Language Access System to Highly Diverse Background Systems. In Proc. of the 8th IJCAI, pp. 588-594, Karlsruhe, Germany, 1983.

139
D. E. Appelt. Telegram: A Grammar Formalism for Language Planning. In Proc. of the 8th IJCAI, pp. 595-599, Karlsruhe, Germany, 1983.

140
J. Ellman. An Indirect Approach to Types of Speech Acts. In Proc. of the 8th IJCAI, pp. 600-602, Karlsruhe, Germany, 1983.

141
G. Nadathur and A. K. Joshi. Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. In Proc. of the 8th IJCAI, pp. 603-605, Karlsruhe, Germany, 1983.

142
L. Danlos. Some Issues in Generation from a Semantic Representation. In Proc. of the 8th IJCAI, pp. 606-609, Karlsruhe, Germany, 1983.

143
P. S. Jacobs. Generation in a Natural Language Interface. In Proc. of the 8th IJCAI, pp. 610-612, Karlsruhe, Germany, 1983.

144
S. Ishizaki. Generation of Japanese Sentences from Conceptual Representation. In Proc. of the 8th IJCAI, pp. 613-615, Karlsruhe, Germany, 1983.

145
A. Jameson. Impression Monitoring in Evaluation-Oriented Dialog: The Role of the Listener's Assumed Expectations and Values in the Generation of Informative Statements. In Proc. of the 8th IJCAI, pp. 616-620, Karlsruhe, Germany, 1983.

146
K. Sparck Jones. Shifting Meaning Representations. In Proc. of the 8th IJCAI, pp. 621-623, Karlsruhe, Germany, 1983.

147
P. Norvig. Frame Activated Inferences in a Story Understanding Program. In Proc. of the 8th IJCAI, pp. 624-626, Karlsruhe, Germany, 1983.

148
I. Steinacker and H. Trost. Structural Relations: A Case Against Case. In Proc. of the 8th IJCAI, pp. 627-629, Karlsruhe, Germany, 1983.

149
M. O'Kane. The FOPHO Speech Recognition Project. In Proc. of the 8th IJCAI, pp. 630-632, Karlsruhe, Germany, 1983.

150
J. Mudler. A System for Improving the Recognition of Fluently Spoken German Speech. In Proc. of the 8th IJCAI, pp. 633-635, Karlsruhe, Germany, 1983.

151
K. W. Church. Allophonic and Phonotactic Constraints are Useful. In Proc. of the 8th IJCAI, pp. 636-638, Karlsruhe, Germany, 1983.

152
S. Nakagawa. A Recognition Method of Connected Spoken Words with Syntactical Constraints by Augmented Continuous DP Algorithm. In Proc. of the 8th IJCAI, pp. 639-642, Karlsruhe, Germany, 1983.

153
W. Wahlster, H. Marburger, and A. Jameson. Over-Answering Yes-No Questions: Extended Responses in a NL Interface to a Vision System. In Proc. of the 8th IJCAI, pp. 643-646, Karlsruhe, Germany, 1983.

154
K. Morik. Demand and Requirements for Natural Language Systems: Results of an Inquiry. In Proc. of the 8th IJCAI, pp. 647-649, Karlsruhe, Germany, 1983.

155
B. L. Webber and E. Mays. Varieties of User Misconceptions: Detection and Correction. In Proc. of the 8th IJCAI, pp. 650-652, Karlsruhe, Germany, 1983.

156
J. G. Carbonell, W. M. Boggs, M. L. Mauldin, and P. G. Anick. The XCALIBUR Project: A Natural Language Interface to Expert Systems. In Proc. of the 8th IJCAI, pp. 653-656, Karlsruhe, Germany, 1983.

157
R. Kittredge and I. Mel'cuk. Towards a Computable Model of Meaning-Text Relations within a Natural Sublanguage. In Proc. of the 8th IJCAI, pp. 657-659, Karlsruhe, Germany, 1983.

158
E. M. M. Mueckstein. Q-TRANS: Query Translation into English. In Proc. of the 8th IJCAI, pp. 660-662, Karlsruhe, Germany, 1983.

159
R. Comino, R. Gemello, and G. Guida. Understanding Natural Language Through Parallel Processing of Syntactic and Semantic Knowledge: An Applicaton to Data Base Query. In Proc. of the 8th IJCAI, pp. 663-667, Karlsruhe, Germany, 1983.

160
P. J. Hayes and J. G. Carbonell. A Framework for Processing Corrections in Task-Oriented Dialogues. In Proc. of the 8th IJCAI, pp. 668-670, Karlsruhe, Germany, 1983.

161
E. Hyvönen. Graph Grammar Approach to Natural Language Parsing and Understanding. In Proc. of the 8th IJCAI, pp. 671-674, Karlsruhe, Germany, 1983.

162
J. S. Bien. Articles and Resource Control. In Proc. of the 8th IJCAI, pp. 675-677, Karlsruhe, Germany, 1983.

163
M. A. Jones. Activation-Based Parsing. In Proc. of the 8th IJCAI, pp. 678-682, Karlsruhe, Germany, 1983.

164
K. Koskenniemi. Two-Level Model for Morphological Analysis. In Proc. of the 8th IJCAI, pp. 683-685, Karlsruhe, Germany, 1983.

165
E. Wehrli. A Modular Parser for French. In Proc. of the 8th IJCAI, pp. 686-689, Karlsruhe, Germany, 1983.

166
B. Phillips. An Object-Oriented Parser for Text Understanding. In Proc. of the 8th IJCAI, pp. 690-692, Karlsruhe, Germany, 1983.

167
U. Reyle and W. Frey. A Prolog Implementation of Lexical Functional Grammar. In Proc. of the 8th IJCAI, pp. 693-695, Karlsruhe, Germany, 1983.

168
J. Bear. A Breadth-First Parsing Modul. In Proc. of the 8th IJCAI, pp. 696-698, Karlsruhe, Germany, 1983.

169
S. M. Shieber. Sentence Disambiguation by a Shift-Reduce Parsing Technique. In Proc. of the 8th IJCAI, pp. 699-703, Karlsruhe, Germany, 1983.

170
R. J. Byrd. Word Formation in Natural Language Processing Systems. In Proc. of the 8th IJCAI, pp. 704-706, Karlsruhe, Germany, 1983.

171
G. Sabah and M. Rady. A Deterministic Syntactic-Semantic Parser. In Proc. of the 8th IJCAI, pp. 707-709, Karlsruhe, Germany, 1983.

172
R. C. Berwick. A Deterministic Parser with Broard Coverage. In Proc. of the 8th IJCAI, pp. 710-712, Karlsruhe, Germany, 1983.

173
W. G. Lehnert. Narrative Complexity Based on Summarization Algorithms. In Proc. of the 8th IJCAI, pp. 713-716, Karlsruhe, Germany, 1983.

174
A. Shimazu, S. Naito, and H. Nomura. Japanese Language Semantic Analyzer Based on an Extended Case Frame Model. In Proc. of the 8th IJCAI, pp. 717-720, Karlsruhe, Germany, 1983.

175
M. Gehrke. Syntax, Semantics and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues. In Proc. of the 8th IJCAI, pp. 721-723, Karlsruhe, Germany, 1983.

176
B. Neumann and H. J. Novak. Event Models for Recognition and Natural Language Description of Events in Real-World Image Sequences. In Proc. of the 8th IJCAI, pp. 724-726, Karlsruhe, Germany, 1983.

177
W. Frey, U. Reyle, and C. Rohrer. Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language. In Proc. of the 8th IJCAI, pp. 727-729, Karlsruhe, Germany, 1983.

178
J. H. Clippinger and D. D. McDonald. Why Good Writing is Easier to Understand. In Proc. of the 8th IJCAI, pp. 730-732, Karlsruhe, Germany, 1983.

179
D. E. Wilkins. Representation in a Domain-Independent Planner. In Proc. of the 8th IJCAI, pp. 733-740, Karlsruhe, Germany, 1983.

180
J. F. Allen and J. A. Koomen. Planning Using a Temporal World Model. In Proc. of the 8th IJCAI, pp. 741-747, Karlsruhe, Germany, 1983.

181
D. D. Corkill and V. R. Lesser. The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network. In Proc. of the 8th IJCAI, pp. 748-756, Karlsruhe, Germany, 1983.

182
L. Zhang and B. Zhang. The Statistical Inference Method in Heuristic Search Techniques. In Proc. of the 8th IJCAI, pp. 757-759, Karlsruhe, Germany, 1983.

183
H. Kaindl. Searching to Variable Depth in Computer Chess. In Proc. of the 8th IJCAI, pp. 760-762, Karlsruhe, Germany, 1983.

184
T. A. Marsland. Relative Efficiency of Alpha-Beta Implementations. In Proc. of the 8th IJCAI, pp. 763-766, Karlsruhe, Germany, 1983.

185
S. Cammarata, D. McArthur, and R. Steeb. Strategies of Cooperation in Distributed Problem Solving. In Proc. of the 8th IJCAI, pp. 767-770, Karlsruhe, Germany, 1983.

186
J. E. Laird and A. Newell. A Universal Weak Method: Summary of Results. In Proc. of the 8th IJCAI, pp. 771-773, Karlsruhe, Germany, 1983.

187
J. A. Barnett and D. Cohen. A Wrinkle on Satisficing Search Problems. In Proc. of the 8th IJCAI, pp. 774-776, Karlsruhe, Germany, 1983.

188
M. Valtorta. A Result on the Computational Complexity of Heuristic Estimates for the Algorithm. In Proc. of the 8th IJCAI, pp. 777-779, Karlsruhe, Germany, 1983.

189
R. Rada. Characterizing Search Spaces. In Proc. of the 8th IJCAI, pp. 780-782, Karlsruhe, Germany, 1983.

190
M. J. Schoppers. On A* as a Special Case of Ordered Search. In Proc. of the 8th IJCAI, pp. 783-785, Karlsruhe, Germany, 1983.

191
J. A. Barnett. Optimal Searches From And and Or Nodes. In Proc. of the 8th IJCAI, pp. 786-788, Karlsruhe, Germany, 1983.

192
M. Ghallab and D. G. Allard. A-Epsilon - An Efficient Near Admissible Heuristic Search Algorithm. In Proc. of the 8th IJCAI, pp. 789-791, Karlsruhe, Germany, 1983.

193
J. Hallam. Resolving Observer Motion by Object Tracking. In Proc. of the 8th IJCAI, pp. 792-798, Karlsruhe, Germany, 1983.

194
R. A. Brooks and T. Lozano-Perez. A Subdivision Algorithm in Configuration Space for Findpath with Rotation. In Proc. of the 8th IJCAI, pp. 799-806, Karlsruhe, Germany, 1983.

195
E. Grechanovsky and I. S. Pinsker. An Algorithm for Moving a Computer-Controlled Manipulation While Avoiding Obstacles. In Proc. of the 8th IJCAI, pp. 807-813, Karlsruhe, Germany, 1983.

196
Y. Baolin. A Framework for Handling Vision Data in an Object Level Robot Language: RAPT. In Proc. of the 8th IJCAI, pp. 814-820, Karlsruhe, Germany, 1983.

197
M. Gini and G. Gini. Towards Automatic Error Recovery in Robots Programs. In Proc. of the 8th IJCAI, pp. 821-823, Karlsruhe, Germany, 1983.

198
M. H. Lee, D. P. Barnes, and N. W. Hardy. Knowledge Based Error Recovery in Industrial Robots. In Proc. of the 8th IJCAI, pp. 824-826, Karlsruhe, Germany, 1983.

199
C. M. Witkowski. A Parallel Processor Algorithm for Robot Route Planning. In Proc. of the 8th IJCAI, pp. 827-829, Karlsruhe, Germany, 1983.

200
A. Elfes and S. N. Talukdar. A Distributed Control System for the CMU Rover. In Proc. of the 8th IJCAI, pp. 830-833, Karlsruhe, Germany, 1983.

201
Y. Kanayama. Concurrent Programming of Intelligent Robots. In Proc. of the 8th IJCAI, pp. 834-838, Karlsruhe, Germany, 1983.

202
J. P. Laumond. Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot. In Proc. of the 8th IJCAI, pp. 839-841, Karlsruhe, Germany, 1983.

203
D. F. Corner, A. P. Ambler, and R. J. Popplestone. Reasoning about the Spatial Relationships Derived From a RAPT Program for Describing Assembly by a Robot. In Proc. of the 8th IJCAI, pp. 842-844, Karlsruhe, Germany, 1983.

204
R. A. Brooks, R. P. Gabriel, and G. L. Steele. Lisp-in-Lisp: High Performance and Portability. In Proc. of the 8th IJCAI, pp. 845-849, Karlsruhe, Germany, 1983.

205
S. J. Stolfo, D. Miranker, and D. E. Shaw. Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence. In Proc. of the 8th IJCAI, pp. 850-854, Karlsruhe, Germany, 1983.

206
R. G. Smith. STROBE: Support for Structured Object Knowledge Representation. In Proc. of the 8th IJCAI, pp. 855-858, Karlsruhe, Germany, 1983.

207
S. Narain, D. McArthur, and P. Klahr. Large-Scale System Development in Several Lisp Environments. In Proc. of the 8th IJCAI, pp. 859-861, Karlsruhe, Germany, 1983.

208
G. Pacini and F. Turini. Demonizing Production Systems. In Proc. of the 8th IJCAI, pp. 862-866, Karlsruhe, Germany, 1983.

209
L. Wos. Automated Reasoning: Real Uses and Potential Uses. In Proc. of the 8th IJCAI, pp. 867-876, Karlsruhe, Germany, 1983.

210
T. Gergely and K. Vershinin. Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. In Proc. of the 8th IJCAI, pp. 877-881, Karlsruhe, Germany, 1983.

211
C. Walther. A Many-Sorted Calculus Based on Resolution and Paramodulation. In Proc. of the 8th IJCAI, pp. 882-891, Karlsruhe, Germany, 1983.

212
W. W. Bledsoe. Using Examples to Generate Instantiations of Set Variables. In Proc. of the 8th IJCAI, pp. 892-901, Karlsruhe, Germany, 1983.

213
W. W. McCune and L. J. Henschen. Semantic Paramodulation for Horn Sets. In Proc. of the 8th IJCAI, pp. 902-908, Karlsruhe, Germany, 1983.

214
J. P. Jouannaud, H. Kirchner, and J. L. Remy. Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. In Proc. of the 8th IJCAI, pp. 909-915, Karlsruhe, Germany, 1983.

215
G. Antoniou and H. J. Ohlbach. Terminator. In Proc. of the 8th IJCAI, pp. 916-919, Karlsruhe, Germany, 1983.

216
W. Bibel, E. Eder, and B. Fronhoefer. Towards an Advanced Implementation of the Connection Method. In Proc. of the 8th IJCAI, pp. 920-922, Karlsruhe, Germany, 1983.

217
L. Fribourg. A Superposition Oriented Theorem Prover. In Proc. of the 8th IJCAI, pp. 923-925, Karlsruhe, Germany, 1983.

218
L. Farinas del Cerro. Temporal Reasoning and Termination of Programs. In Proc. of the 8th IJCAI, pp. 926-929, Karlsruhe, Germany, 1983.

219
Y. Kodratoff and J. Castaing. Trivializing the Proof of Trivial Theorems. In Proc. of the 8th IJCAI, pp. 930-932, Karlsruhe, Germany, 1983.

220
J. A. Kalman and J. G. Peterson. Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus. In Proc. of the 8th IJCAI, pp. 933-935, Karlsruhe, Germany, 1983.

221
K. H. Bläsius. Equality Reasoning in Clause Graphs. In Proc. of the 8th IJCAI, pp. 936-939, Karlsruhe, Germany, 1983.

222
N. Dershowitz, J. Hsiang, N. A. Josephson, and D. A. Plaisted. Associative-Commutative Rewriting. In Proc. of the 8th IJCAI, pp. 940-944, Karlsruhe, Germany, 1983.

223
H. H. Nagel. Constraints for the Estimation of Displacement Vector Fields From Image Sequences. In Proc. of the 8th IJCAI, pp. 945-951, Karlsruhe, Germany, 1983.

224
R. I. D. Cowie. The Viewer's Place in Theories of Vision. In Proc. of the 8th IJCAI, pp. 952-958, Karlsruhe, Germany, 1983.

225
C. Thorpe and S. Shafer. Correspondence in Line Drawings of Multiple Views of Objects. In Proc. of the 8th IJCAI, pp. 959-965, Karlsruhe, Germany, 1983.

226
B. Cernuschi-Frias, R. M. Bolle, and D. B. Cooper. A New Conceptually Attractive & Computationally Effective Approach to Shape from Shading. In Proc. of the 8th IJCAI, pp. 966-968, Karlsruhe, Germany, 1983.

227
M. Brady and A. Yuille. An Extremum Principle for Shape from Contour. In Proc. of the 8th IJCAI, pp. 969-972, Karlsruhe, Germany, 1983.

228
A. P. Pentland. Fractal-Based Description. In Proc. of the 8th IJCAI, pp. 973-981, Karlsruhe, Germany, 1983.

229
O. D. Faugeras and J. Ponce. Prism Trees: A Hierarchical Representation for 3-D Objects. In Proc. of the 8th IJCAI, pp. 982-988, Karlsruhe, Germany, 1983.

230
R. B. Fisher. Using Surfaces and Object Models to Recognize Partially Obscured Objects. In Proc. of the 8th IJCAI, pp. 989-995, Karlsruhe, Germany, 1983.

231
O. D. Faugeras and M. Hebert. A 3-D Recognition and Positioning Algorithm Using Geometrical Matching between Primitive Surfaces. In Proc. of the 8th IJCAI, pp. 996-1002, Karlsruhe, Germany, 1983.

232
M. D. Diamond, N. Narasimhamurthi, and S. Ganapathy. Optimization Approaches to the Problem of Edge Linking with a Focus on Parallel Processing. In Proc. of the 8th IJCAI, pp. 1003-1009, Karlsruhe, Germany, 1983.

233
M. A. Fischler and H. C. Wolf. Machine Perception of Linear Structure. In Proc. of the 8th IJCAI, pp. 1010-1013, Karlsruhe, Germany, 1983.

234
M. A. Fischler and R. C. Bolles. Perceptual Organization and the Curve Partitioning Problem. In Proc. of the 8th IJCAI, pp. 1014-1018, Karlsruhe, Germany, 1983.

235
A. P. Witkin. Scale-Space Filtering. In Proc. of the 8th IJCAI, pp. 1019-1022, Karlsruhe, Germany, 1983.

236
A. P. Witkin and J. M. Tenenbaum. What is Perceptual Organization for? In Proc. of the 8th IJCAI, pp. 1023-1026, Karlsruhe, Germany, 1983.

237
J. H. Rieger and D. T. Lawton. Sensor Motion and Relative Depth from Difference Fields of Optic Flows. In Proc. of the 8th IJCAI, pp. 1027-1031, Karlsruhe, Germany, 1983.

238
M. Asda and S. Tsuji. Inferring Motion of Cylindrical Object from Shape Infomation. In Proc. of the 8th IJCAI, pp. 1032-1034, Karlsruhe, Germany, 1983.

239
J. Q. Fang and T. S. Huang. Estimating 3-D Movement of a Rigid Object: Experimental Results. In Proc. of the 8th IJCAI, pp. 1035-1037, Karlsruhe, Germany, 1983.

240
R. Y. Tsai. 3-D Inference from the Motion Parallax of a Conic Arc and a Point in Two Perspective Views. In Proc. of the 8th IJCAI, pp. 1038-1042, Karlsruhe, Germany, 1983.

241
M. Kass. A Computational Framework for the Visual Correspondence Problem. In Proc. of the 8th IJCAI, pp. 1043-1045, Karlsruhe, Germany, 1983.

242
A. P. Blicher. The Stereo Matching Problem from the Topological Viewpoint. In Proc. of the 8th IJCAI, pp. 1046-1049, Karlsruhe, Germany, 1983.

243
K. Prazdny. Computing Convergence Angle from Random Dot Stereograms. In Proc. of the 8th IJCAI, pp. 1050-1052, Karlsruhe, Germany, 1983.

244
A. R. Bruss. Is What You See What You Get? In Proc. of the 8th IJCAI, pp. 1053-1056, Karlsruhe, Germany, 1983.

245
K. A. Stevens. The Line of Curvature Constraint and the Interpretation of 3-D Shape from Parallel Surface Contours. In Proc. of the 8th IJCAI, pp. 1057-1061, Karlsruhe, Germany, 1983.

246
S. T. Barnard and A. P. Pentland. Three-Dimensional Shape from Line Drawings. In Proc. of the 8th IJCAI, pp. 1062-1064, Karlsruhe, Germany, 1983.

247
M. Berthod. Global Optimization of a Consistent Labeling. In Proc. of the 8th IJCAI, pp. 1065-1067, Karlsruhe, Germany, 1983.

248
B. H. Stuth, D. H. Ballard, and C. M. Brown. Boundary Conditions in Multiple Intrinsic Images. In Proc. of the 8th IJCAI, pp. 1068-1072, Karlsruhe, Germany, 1983.

249
D. Terzopoulos. The Role of Constraints and Discontinuities in Visible-Surface Reconstruction. In Proc. of the 8th IJCAI, pp. 1073-1077, Karlsruhe, Germany, 1983.

250
J. Glicksman. Using Multiple Information Sources in a Computational Vision System. In Proc. of the 8th IJCAI, pp. 1078-1080, Karlsruhe, Germany, 1983.

251
C. M. Brown, M. B. Curtiss, and D. B. Sher. Advanced Hough Transform Implementations. In Proc. of the 8th IJCAI, pp. 1081-1085, Karlsruhe, Germany, 1983.

252
J. Naor and S. Peleg. Image Compression and Filtering Using Pyramid Data Structures. In Proc. of the 8th IJCAI, pp. 1086-1088, Karlsruhe, Germany, 1983.

253
M. Potmesil. Generating Models of Solid Objects by Matching 3D Surface Segments. In Proc. of the 8th IJCAI, pp. 1089-1093, Karlsruhe, Germany, 1983.

254
H. Tropf and I. Walter. An ATN Model for 3-D Recognition of Solids in Single Images. In Proc. of the 8th IJCAI, pp. 1094-1098, Karlsruhe, Germany, 1983.

255
A. Huertas and R. Nevatia. Detection of Buildings in Aerial Images Using Shape and Shadows. In Proc. of the 8th IJCAI, pp. 1099-1103, Karlsruhe, Germany, 1983.

256
J. R. Kender. Environmental Labelings in Low-Level Image Understanding. In Proc. of the 8th IJCAI, pp. 1104-1107, Karlsruhe, Germany, 1983.

257
M. Herman, T. Kanade, and S. Kuroe. The 3D Mosaic Scene Understanding System. In Proc. of the 8th IJCAI, pp. 1108-1112, Karlsruhe, Germany, 1983.

258
N. Abe, F. Itho, and S. Tsuji. Toward Generation of 3-Dimensional Models of Objects Using 2-Dimensional Figures and Explanations in Language. In Proc. of the 8th IJCAI, pp. 1113-1115, Karlsruhe, Germany, 1983.

259
R. C. Bolles, P. Horaud, and M. J. Hannah. 3DPO: A Three-Dimensional Part Orientation System. In Proc. of the 8th IJCAI, pp. 1116-1120, Karlsruhe, Germany, 1983.

260
A. Lux and V. Souvignier. PVV: A Goal-Oriented System for Industrial Vision. In Proc. of the 8th IJCAI, pp. 1121-1124, Karlsruhe, Germany, 1983.

261
M. Yachida, T. Ichinose, and S. Tsuji. Model-Guided Monitoring of a Building Environment by a Mobile Robot. In Proc. of the 8th IJCAI, pp. 1125-1127, Karlsruhe, Germany, 1983.

262
G. T. Herman, L. Axel, R. Bajcsy, H. Kundel, R. LeVeen, J. K. Udupa, and G. Wolf. Model Driven Visualization of Coronary Arteries. In Proc. of the 8th IJCAI, pp. 1128-1131, Karlsruhe, Germany, 1983.

263
F. Tomita. A Learning Vision System for 2D Object Recognition. In Proc. of the 8th IJCAI, pp. 1132-1135, Karlsruhe, Germany, 1983.

264
B. Bhanu. Recognition of Occluded Objects. In Proc. of the 8th IJCAI, pp. 1136-1138, Karlsruhe, Germany, 1983.

265
T. M. Mitchell. Learning and Problem Solving. In Proc. of the 8th IJCAI, pp. 1139-1151, Karlsruhe, Germany, 1983.

266
A. L. Samuel. AI: Where It Has Been and Where It Is Going. In Proc. of the 8th IJCAI, pp. 1152-1157, Karlsruhe, Germany, 1983.

267
J. de Kleer and J. S. Brown. The Origin, Form and Logic of Qualitative Physical Laws. In Proc. of the 8th IJCAI, pp. 1158-1169, Karlsruhe, Germany, 1983.

268
D. Barstow. A Perspective on Automatic Programming. In Proc. of the 8th IJCAI, pp. 1170-1179, Karlsruhe, Germany, 1983.

269
S. Rosenschein. Natural-Language Processing: Crucible for Computational Theories of Cognition. In Proc. of the 8th IJCAI, pp. 1180-1186, Karlsruhe, Germany, 1983.

270
A. Mackworth. On Seeing Things, Again. In Proc. of the 8th IJCAI, pp. 1187-1191, Karlsruhe, Germany, 1983.

271
R. Kowalski. Panel on the Fifth Generation Project. In Proc. of the 8th IJCAI, pp. 1192-1194, Karlsruhe, Germany, 1983.

272
N. J. Nilsson and S. B. Cook. Artificial Intelligence: Its Impacts on Human Occupations and Distribution of Income. In Proc. of the 8th IJCAI, pp. 1195-1198, Karlsruhe, Germany, 1983.

273
R. Reiter, H. Gallaire, J. J. King, J. Mylopoulos, and B. L. Webber. A Panel on AI and Databases. In Proc. of the 8th IJCAI, pp. 1199-1206, Karlsruhe, Germany, 1983.





Gerd Herzog
Last update: Sat Nov 23 17:05:05 MET 1996


Send comments to herzog@acm.org