. German Research Center for Artificial Intelligence GmbH

Persistent Bibliographic Information Record
c-ecai84

Sixth European Conf. on AI (ECAI-84)

Reference:

Sixth European Conf. on AI (ECAI-84)

Proc. of the 6th ECAI, Pisa, Italy, 1984.

Description:

The biennial European Conference on Artificial Intelligence (ECAI) is the European forum for international scientific exchange and presentation of AI research. The aim of the conference is to cover all aspects of AI and to bring together basic and applied research.

PBIR:

The unique LIDOS PBIR Identifier is c-ecai84

URL:

This page is located at http://www.dfki.uni-sb.de/imedia/lidos/pbir/c-ecai84.html

PURL:

Hyperlinks to this page should refer to http://purl.org/dfki/pbir/c-ecai84.html, the persistent URL of this bibliographic information record

Contents:

1

L. Steels. Introduction to Expert Systems Subfield. In Proc. of the 6th ECAI, p. 1, Pisa, Italy, 1984.

2

S. Araya and K. Fukumori. ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations. In Proc. of the 6th ECAI, pp. 3-12, Pisa, Italy, 1984.

3

P. Ferrand. SESAM: An Explanatory Medical Aid System. In Proc. of the 6th ECAI, pp. 13-20, Pisa, Italy, 1984.

4

G. Kahn. On When Diagnostic Systems Want to Do without Causal Knowledge. In Proc. of the 6th ECAI, pp. 21-30, Pisa, Italy, 1984.

5

J. G. Ganascia. Reasoning and Result in Expert Systems: Main Differences between Diagnostic Systems and Problem-Solvers. In Proc. of the 6th ECAI, pp. 31-40, Pisa, Italy, 1984.

6

B. J. Wielinga and J. A. Breuker. Interpretation of Verbal Data for Knowledge Acquisition. In Proc. of the 6th ECAI, pp. 41-50, Pisa, Italy, 1984.

7

J. H. Boose. Personal Construct Theory and the Transfer of Human Expertise. In Proc. of the 6th ECAI, pp. 51-60, Pisa, Italy, 1984.

8

W. Horn and K. Ammer. Causal and Anatomical Reasoning in a Two-Level Medical Expert System. In Proc. of the 6th ECAI, pp. 61-64, Pisa, Italy, 1984.

9

M. A. Billmers and M. W. Swartwout. AI-SPEAR: Computer System Failure Analysis Tool. In Proc. of the 6th ECAI, pp. 65-73, Pisa, Italy, 1984.

10

S. K. Mitra and J. M. Parker. An Expert System for Identifying Defects, Stones and Cord in Class. In Proc. of the 6th ECAI, pp. 74-75, Pisa, Italy, 1984.

11

J. M. David and Y. Descotte. Cost-Efficient Troubleshooting. In Proc. of the 6th ECAI, pp. 76-77, Pisa, Italy, 1984.

12

M. O. Cordier and M. C. Rousset. Interactive Operators in Expert Systems: Tango. In Proc. of the 6th ECAI, pp. 78-79, Pisa, Italy, 1984.

13

M. Del Canto, F. Fusconi, P. Piano, and L. Roncarolo. An Expert System for Computer Aided Process Planning. In Proc. of the 6th ECAI, pp. 80-81, Pisa, Italy, 1984.

14

B. Faller. An Expert System in Symbolic Integration. In Proc. of the 6th ECAI, p. 82, Pisa, Italy, 1984.

15

J. A. Gadsden. The Use of Database, Graphics and Algorithmic Interfaces in Support of a Knowledge-Based Plan Adviser for the Royal Navy. In Proc. of the 6th ECAI, p. 83, Pisa, Italy, 1984.

16

G. Guida and C. Tasso. A Flexible Inference Mechanism for Rule-Based Systems. In Proc. of the 6th ECAI, p. 84, Pisa, Italy, 1984.

17

S. B. Cook and G. H. Warfel. Breaking the Knowledge Engineering Logjam: The Use of Domain Expertise in a Structured Team Approach. In Proc. of the 6th ECAI, p. 85, Pisa, Italy, 1984.

18

V. H. Khong and E. H. Mamdani. An Expert System for VLSI Design Knowledge Transformation. In Proc. of the 6th ECAI, p. 86, Pisa, Italy, 1984.

19

M. Jarke and T. Sivasankaran. Knowledge Based Model Management for an Actuarial Consulting System. In Proc. of the 6th ECAI, p. 87, Pisa, Italy, 1984.

20

P. Politakis and W. Hickson. Developmental Facilities in an Expert System for Network Troubleshooting. In Proc. of the 6th ECAI, p. 88, Pisa, Italy, 1984.

21

G. Koch. Introduction to the Logic Programming Subfield. In Proc. of the 6th ECAI, p. 89, Pisa, Italy, 1984.

22

R. Venken. A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation. In Proc. of the 6th ECAI, pp. 91-100, Pisa, Italy, 1984.

23

R. Caferra, E. Eder, B. Fronhoefer, and W. Bibel. Extension of Prolog Through Matrix Reduction. In Proc. of the 6th ECAI, pp. 101-104, Pisa, Italy, 1984.

24

J. C. F. Neves. Security and Co-Operativeness in a Logic Data Base System. In Proc. of the 6th ECAI, pp. 105-108, Pisa, Italy, 1984.

25

G. P. Lopes and R. M. Viccari. An Intelligent Monitor Interaction in Portuguese Language. In Proc. of the 6th ECAI, pp. 109-113, Pisa, Italy, 1984.

26

B. Demoen. How to Obtain a Prolog System with your Preferred Syntax. In Proc. of the 6th ECAI, p. 114, Pisa, Italy, 1984.

27

J. P. Muller. PARALOG: A Parallel Logic Programming System. In Proc. of the 6th ECAI, pp. 115-119, Pisa, Italy, 1984.

28

J. Taylor. Why Novices Will Find Learning Prolog Hard. In Proc. of the 6th ECAI, pp. 120-121, Pisa, Italy, 1984.

29

P. B. Brazdil. Use of Metalogical Primitives in Communication. In Proc. of the 6th ECAI, p. 122, Pisa, Italy, 1984.

30

W. Bell. PROLOG: Tomorrows Language for the Classroom. In Proc. of the 6th ECAI, p. 123, Pisa, Italy, 1984.

31

L. J. Dekeyser, B. Krekels, Y. D. Willems, and J. L. Willems. YAPES: Yet Another Prolog-Based Expert System Shell. In Proc. of the 6th ECAI, p. 124, Pisa, Italy, 1984.

32

C. Mellish. Introduction to the Natural Language Processing Subfield. In Proc. of the 6th ECAI, p. 125, Pisa, Italy, 1984.

33

G. Ritchie. Simulating a Turing Machine Using Functional Unification Grammar. In Proc. of the 6th ECAI, pp. 127-136, Pisa, Italy, 1984.

34

P. S. Jacobs and L. F. Rau. Ace: Associating Language with Meaning. In Proc. of the 6th ECAI, pp. 137-146, Pisa, Italy, 1984.

35

J. L. Binot. A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning. In Proc. of the 6th ECAI, pp. 147-156, Pisa, Italy, 1984.

36

B. Dunin Keplicz. Default Reasoning in Anaphora Resolution. In Proc. of the 6th ECAI, pp. 157-166, Pisa, Italy, 1984.

37

E. Nelimarkka, H. Jaeppinen, and A. Lehtola. Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata. In Proc. of the 6th ECAI, pp. 167-176, Pisa, Italy, 1984.

38

S. Steel. Simplifying Recursive Belief for Language Understanding. In Proc. of the 6th ECAI, pp. 177-180, Pisa, Italy, 1984.

39

K. De Smedt. Using Object-Oriented Knowledge-Representation Techniques in Morphology and Syntax Programming. In Proc. of the 6th ECAI, pp. 181-184, Pisa, Italy, 1984.

40

S. Salveter. A Model of Action that Supports Natural Language Database Update. In Proc. of the 6th ECAI, pp. 185-194, Pisa, Italy, 1984.

41

J. Ferber. MERING: An Open-Ended Object Oriented Language for Knowledge Representation. In Proc. of the 6th ECAI, pp. 195-204, Pisa, Italy, 1984.

42

D. S. Bree, R. A. Smit, and H. P. Schotel. Generation and Comprehension of Dutch Subordinating Conjunctions by Computer. In Proc. of the 6th ECAI, pp. 205-208, Pisa, Italy, 1984.

43

H. Bestougeff and G. Ligozat. Processing Tense Information in French Utterances. In Proc. of the 6th ECAI, pp. 209-212, Pisa, Italy, 1984.

44

L. Danlos. An Algorithm for Automatic Generation. In Proc. of the 6th ECAI, pp. 213-216, Pisa, Italy, 1984.

45

M. Hussmann, M. Bode, M. Borowiak, P. Schefe, and B. Wronn. Extending the Natural Language System Swyss by a Functional Database. In Proc. of the 6th ECAI, pp. 217-220, Pisa, Italy, 1984.

46

S. Busemann. Topicalization and Pronominalization: Extending a Natural Language Generating System. In Proc. of the 6th ECAI, pp. 221-224, Pisa, Italy, 1984.

47

C. Turk. A Correction NL Mechanism. In Proc. of the 6th ECAI, pp. 225-226, Pisa, Italy, 1984.

48

A. Vilnat and G. Sabah. How a System May Be Self-Conscious. In Proc. of the 6th ECAI, pp. 227-228, Pisa, Italy, 1984.

49

C. S. Mellish. Towards Top-Down Generating of Multi-Paragraph Text. In Proc. of the 6th ECAI, p. 229, Pisa, Italy, 1984.

50

L. Bolc, K. Kochut, A. Kowalski, and M. Kozlowska. Natural Language Information Retrieval System with Extension Towards Fuzzy Reasoning in Medicine. In Proc. of the 6th ECAI, p. 230, Pisa, Italy, 1984.

51

D. M. Carter. An Approach to General Machine Translation Based on Preference Semantics and Local Focussing. In Proc. of the 6th ECAI, p. 231, Pisa, Italy, 1984.

52

P. E. Pause. The Interpretation of Anaphoric Expressions in Con3Tra. In Proc. of the 6th ECAI, p. 232, Pisa, Italy, 1984.

53

P. Saint-Dizier. Quantifier Hierarchy in a Semantic Representation of Natural Language Sentences. In Proc. of the 6th ECAI, p. 233, Pisa, Italy, 1984.

54

G. Albers. Introduction to the Industrial Applications Subfield. In Proc. of the 6th ECAI, p. 235, Pisa, Italy, 1984.

55

L. F. Pau. Failure Detection Process by an Expert System and Hybrid Pattern Recognition. In Proc. of the 6th ECAI, p. 237, Pisa, Italy, 1984.

56

S. Hayward. Diagnostic Expertise and its Use in Commercially Viable Expert Systems. In Proc. of the 6th ECAI, pp. 238-239, Pisa, Italy, 1984.

57

A. Kostovetsky. A High Level Data Description Language for CAD Applications. In Proc. of the 6th ECAI, pp. 240-241, Pisa, Italy, 1984.

58

P. Sturdza. Implementing an Expert System with a Fourth Generation DBMS. In Proc. of the 6th ECAI, p. 242, Pisa, Italy, 1984.

59

W. L. Lakin and J. A. H. Miles. A Blackboard System for Multi-Sensor Data Fusion. In Proc. of the 6th ECAI, p. 243, Pisa, Italy, 1984.

60

N. R. Iudica. A Knowledge-Based Generator of Industrial Work Plans. In Proc. of the 6th ECAI, p. 244, Pisa, Italy, 1984.

61

B. Lundberg. A Decision Support System for Computer Aided Engineering. In Proc. of the 6th ECAI, p. 245, Pisa, Italy, 1984.

62

S. A. Erickson, D. O. Nelson, D. J. Balaban, and K. D. Orwell. The Fusion of AI and Simulation. In Proc. of the 6th ECAI, p. 246, Pisa, Italy, 1984.

63

M. Somalvico. Introduction to the Planning and Search Subfield. In Proc. of the 6th ECAI, p. 247, Pisa, Italy, 1984.

64

L. Zhang and B. Zhang. The Successive SA* Search and its Computational Complexity. In Proc. of the 6th ECAI, pp. 249-258, Pisa, Italy, 1984.

65

G. Airenti, B. G. Bara, and M. Colombetti. Plan Formation and Failure Recovery in Communicative Acts. In Proc. of the 6th ECAI, pp. 259-268, Pisa, Italy, 1984.

66

H. Horacek. Some Conceptual Defects of Evaluation Functions. In Proc. of the 6th ECAI, pp. 269-272, Pisa, Italy, 1984.

67

A. Tate. Goal Structure - Capturing the Intent of Plans. In Proc. of the 6th ECAI, pp. 273-276, Pisa, Italy, 1984.

68

R. Field, K. Mohyeldin Said, and I. Pohl. An Investigation of Dynamic Weighting in Heuristic Search. In Proc. of the 6th ECAI, pp. 277-278, Pisa, Italy, 1984.

69

J. A. i Cullell and J. J. Villanueva. AOx Applied to Master Mind. In Proc. of the 6th ECAI, p. 279, Pisa, Italy, 1984.

70

R. Bartle. Cross-Level Planning. In Proc. of the 6th ECAI, p. 280, Pisa, Italy, 1984.

71

J. E. Doran, S. Steel, C. Trayner, and Y. Wilks. Meta-Planning and Communication in Teamwork. In Proc. of the 6th ECAI, p. 281, Pisa, Italy, 1984.

72

H. Coelho. An Introduction to the Knowledge Representation Subfield. In Proc. of the 6th ECAI, p. 283, Pisa, Italy, 1984.

73

L. Farinas del Cerro and E. Orlowska. DAL: A Logic for Data Analysis. In Proc. of the 6th ECAI, pp. 285-294, Pisa, Italy, 1984.

74

R. A. O'Keefe. A New Data-Structure for Type Trees. In Proc. of the 6th ECAI, pp. 295-304, Pisa, Italy, 1984.

75

W. Lukaszewicz. Nonmonotonic Logic for Default Theories. In Proc. of the 6th ECAI, pp. 305-314, Pisa, Italy, 1984.

76

G. Attardi and M. Simi. Metalanguage and Reasoning Across Viewpoints. In Proc. of the 6th ECAI, pp. 315-324, Pisa, Italy, 1984.

77

S. Soulhi. Proof Search in a Gentzen-Like System of Knowledge Logic. In Proc. of the 6th ECAI, pp. 325-332, Pisa, Italy, 1984.

78

L. Steels. Object-Oriented Knowledge Representation in KRS. In Proc. of the 6th ECAI, pp. 333-336, Pisa, Italy, 1984.

79

P. D. Green and A. R. Wood. Knowledge-Based Speech Understanding: Towards a Representational Approach. In Proc. of the 6th ECAI, pp. 337-340, Pisa, Italy, 1984.

80

E. Y. Kandrashina. Approximate Relations for Working with Inexact Information. In Proc. of the 6th ECAI, pp. 341-344, Pisa, Italy, 1984.

81

P. Albert. Kool at a Glance. In Proc. of the 6th ECAI, p. 345, Pisa, Italy, 1984.

82

H. Trost and I. Steinacker. Representation of Chance in a Semantic Net. In Proc. of the 6th ECAI, pp. 346-347, Pisa, Italy, 1984.

83

L. Bolc and P. Rychlik. The Use of Modal Default Reasoning in a Medical Diagnostic System with Natural Language Interface. In Proc. of the 6th ECAI, pp. 348-349, Pisa, Italy, 1984.

84

M. Hussmann. IS-A isn't Enough: Towards a Taxonomic Framework for Intensional Concepts. In Proc. of the 6th ECAI, p. 350, Pisa, Italy, 1984.

85

C. F. Nourani. Equational Intensity, Initial Models, and Non-Monotonic Reasoning: An Overview. In Proc. of the 6th ECAI, p. 351, Pisa, Italy, 1984.

86

H. Oim, M. Koit, S. Litvak, T. Roosmaa, and M. Saluveer. Taming the Combinatorial Explosion: Experts as a Link between High and Low Level Inferences. In Proc. of the 6th ECAI, p. 352, Pisa, Italy, 1984.

87

J. Pavlin. A Model for Analysis and Simulation of Distributed Knowledge-Based Systems. In Proc. of the 6th ECAI, p. 353, Pisa, Italy, 1984.

88

E. van Releghem. Separating Control Knowledge from Domain Knowledge. In Proc. of the 6th ECAI, p. 354, Pisa, Italy, 1984.

89

S. Tazi and J. Virbel. Knowledge Representation in the Design of an Intelligent Text-Editing System. In Proc. of the 6th ECAI, p. 355, Pisa, Italy, 1984.

90

I. Futo. Combined Discrete/Continuous Modelling and Cooperative Problem Solving. In Proc. of the 6th ECAI, p. 356, Pisa, Italy, 1984.

91

J. Breuker. Introduction to the Cognitive Modelling Subfield. In Proc. of the 6th ECAI, p. 357, Pisa, Italy, 1984.

92

G. Adorni, M. Di Manzo, and F. Giunchiglia. From Descriptions to Images: What Reasoning in between? In Proc. of the 6th ECAI, pp. 359-368, Pisa, Italy, 1984.

93

M. Lebowitz. Using Memory in Text Understanding. In Proc. of the 6th ECAI, pp. 369-378, Pisa, Italy, 1984.

94

J. M. Slack. The Role of Distributed Memory in Natural Language Parsing. In Proc. of the 6th ECAI, pp. 379-388, Pisa, Italy, 1984.

95

G. Hagert. Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning. In Proc. of the 6th ECAI, pp. 389-398, Pisa, Italy, 1984.

96

T. Hasemer. MacSolo/AURAC: A Programming Environment for Novices. In Proc. of the 6th ECAI, pp. 399-408, Pisa, Italy, 1984.

97

S. A. Cerri, C. Colombini, M. Grillo, and R. Mallozzi. RADAR: Reasoning on ADA Rubbish. In Proc. of the 6th ECAI, pp. 409-418, Pisa, Italy, 1984.

98

A. Jameson. Interpreting and Predicting Belief Statements. In Proc. of the 6th ECAI, pp. 419-422, Pisa, Italy, 1984.

99

A. Kobsa. Three Steps in Constructing Mutual Belief Models from User Assertions. In Proc. of the 6th ECAI, pp. 423-426, Pisa, Italy, 1984.

100

C. Wegman and V. Eijkhout. The Recognition of Argument Structures Underlying Expressions of Opinion. In Proc. of the 6th ECAI, pp. 427-430, Pisa, Italy, 1984.

101

S. Ohlsson and P. Langley. Towards Automatic Discovery of Simulation Models. In Proc. of the 6th ECAI, pp. 431-434, Pisa, Italy, 1984.

102

J. A. Barnden. Pattern-Recognition in a Pattern-Based Neurophysiological Model of Short-Term Information Processing. In Proc. of the 6th ECAI, pp. 435-438, Pisa, Italy, 1984.

103

E. Scanlon, C. Hawkridge, R. Evertsz, and T. O'Shea. Novice Physics Problem Solving Behaviour. In Proc. of the 6th ECAI, pp. 439-447, Pisa, Italy, 1984.

104

W. Chu. A Computational Model of Human Decision Making. In Proc. of the 6th ECAI, p. 448, Pisa, Italy, 1984.

105

W. N. H. Jansweijer and B. J. Wielinga. Modelling Novice Problem Solving Behaviour. In Proc. of the 6th ECAI, pp. 449-453, Pisa, Italy, 1984.

106

D. Fum. Modelling Knowledge Acquisition by Text Comprehension. In Proc. of the 6th ECAI, p. 455, Pisa, Italy, 1984.

107

J. Gammack and R. M. Young. Psychological Techniques for Knowledge Elicitation. In Proc. of the 6th ECAI, pp. 456-457, Pisa, Italy, 1984.

108

D. Vervenne, A. Heeffer, and D. De Waele. Transformations of Knowledge Representations in Scientific Discovery Processes. In Proc. of the 6th ECAI, pp. 458-459, Pisa, Italy, 1984.

109

C. Thornton. Coherent Systems. In Proc. of the 6th ECAI, p. 460, Pisa, Italy, 1984.

110

G. Hagert. Introduction to the Learning Subfield. In Proc. of the 6th ECAI, p. 461, Pisa, Italy, 1984.

111

N. Seel. An Analysis of a Simple Learning System. In Proc. of the 6th ECAI, pp. 463-472, Pisa, Italy, 1984.

112

M. P. Georgeff and C. S. Wallace. A General Selection Criterion for Inductive Inference. In Proc. of the 6th ECAI, pp. 473-482, Pisa, Italy, 1984.

113

Y. Kodratoff, J. G. Ganascia, B. Clavieras, T. Bollinger, and G. Tecuci. Careful Generalization for Concept Learning. In Proc. of the 6th ECAI, pp. 483-492, Pisa, Italy, 1984.

114

M. W. van Someren. A Heuristic for Rule Learning. In Proc. of the 6th ECAI, pp. 493-496, Pisa, Italy, 1984.

115

S. Salzberg and D. J. Atkinson. Learning by Building Causal Explanations. In Proc. of the 6th ECAI, pp. 497-500, Pisa, Italy, 1984.

116

T. Bollinger. A Learning System for Recursive Functions. In Proc. of the 6th ECAI, pp. 501-504, Pisa, Italy, 1984.

117

J. G. Wallace. Propensity to Psychopathology in a General Learning System. In Proc. of the 6th ECAI, p. 505, Pisa, Italy, 1984.

118

J. G. Wolff and S. G. C. Lawrence. Inductive Learning of Spelling-To-Phoneme Rules by Data Reduction. In Proc. of the 6th ECAI, pp. 506-507, Pisa, Italy, 1984.

119

H. Soldano, J. Sallantin, and S. Belaid. Use of Learning Techniques for Structure Elucidation in Organic Chemistry Using 13 C - NMR Spectra. In Proc. of the 6th ECAI, pp. 508-509, Pisa, Italy, 1984.

120

J. Cuena and C. Salmeron. A Method for Knowledge Acquisition and Language in Rule Based Expert Systems. In Proc. of the 6th ECAI, p. 510, Pisa, Italy, 1984.

121

W. Schatzl and K. D. Kuhnert. Towards the Evaluation of Learning and Intelligence. In Proc. of the 6th ECAI, p. 511, Pisa, Italy, 1984.

122

M. Eisenstadt. A Powerful Prolog Trace Package. In Proc. of the 6th ECAI, pp. 515-524, Pisa, Italy, 1984.

123

P. Dufresne. PSC: An Efficient Production Rule Interpreter. In Proc. of the 6th ECAI, pp. 525-528, Pisa, Italy, 1984.

124

R. Lutz. Program Debugging by Near-Miss Recognition and Evaluation. In Proc. of the 6th ECAI, p. 529, Pisa, Italy, 1984.

125

M. Fiorentini, G. Ferrari, and D. Dara. Gatherer: A User Friendly Interface in Chess Problem Solving. In Proc. of the 6th ECAI, p. 530, Pisa, Italy, 1984.

126

J. Canny. On Detecting Collisions between Polyhedra. In Proc. of the 6th ECAI, pp. 533-542, Pisa, Italy, 1984.

127

P. K. Bose. Learning Stiffness Control for Compliant Motion. In Proc. of the 6th ECAI, pp. 543-554, Pisa, Italy, 1984.

128

D. Partridge, V. Johnston, C. Burleson, G. La Torra, and P. D. Lopez. An Input-Expectation Discrepancy Driven Robot. In Proc. of the 6th ECAI, p. 555, Pisa, Italy, 1984.

129

G. Tascini. Free Space Representation for Description of Paths. In Proc. of the 6th ECAI, p. 556, Pisa, Italy, 1984.

130

J. Malec. The Architecture of the Control System of an Intelligent Robot Acting on Dynamic Scenes. In Proc. of the 6th ECAI, pp. 557-559, Pisa, Italy, 1984.

131

W. Bibel. Introduction to the Automatic Programming Subfield. In Proc. of the 6th ECAI, p. 561, Pisa, Italy, 1984.

132

J. L. Remy and H. Zhang. REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. In Proc. of the 6th ECAI, pp. 563-572, Pisa, Italy, 1984.

133

M. Franova. CM-Strategy-Driven Deductions for Automatic Programming. In Proc. of the 6th ECAI, pp. 573-576, Pisa, Italy, 1984.

134

B. Fronhoefer. Heuristics for Recursion Improvement. In Proc. of the 6th ECAI, pp. 577-580, Pisa, Italy, 1984.

135

J. M. Valade. Automatic Generation of Trajectories for Assembly Tasks. In Proc. of the 6th ECAI, pp. 581-584, Pisa, Italy, 1984.

136

G. Guida, M. Guida, S. Gusmeroli, and M. Somalvico. ESAP: An Expert System for Automatic Programming. In Proc. of the 6th ECAI, pp. 585-588, Pisa, Italy, 1984.

137

G. Koch. Natural Language Programming: Verification and Synthesis of Logic Programs. In Proc. of the 6th ECAI, pp. 589-590, Pisa, Italy, 1984.

138

C. Walther. Unification in Many-Sorted Theories. In Proc. of the 6th ECAI, pp. 593-602, Pisa, Italy, 1984.

139

M. Vivet. CAMELIA: A Knowledge Based Mathematical System. In Proc. of the 6th ECAI, pp. 603-612, Pisa, Italy, 1984.

140

E. Costa and Y. Kodratoff. Using Equations without Tears. In Proc. of the 6th ECAI, pp. 613-616, Pisa, Italy, 1984.

141

W. Dilger and J. Muller. Punify: An AI-Machine for Unification. In Proc. of the 6th ECAI, p. 617, Pisa, Italy, 1984.

142

H. Zhang and P. Lescanne. Extended Path of Symbols Ordering. In Proc. of the 6th ECAI, p. 618, Pisa, Italy, 1984.

143

B. Neumann. Introduction to the Vision Subfield. In Proc. of the 6th ECAI, p. 619, Pisa, Italy, 1984.

144

A. L. Yuille. The Smoothest Velocity Field Token Matching Schemes. In Proc. of the 6th ECAI, pp. 621-630, Pisa, Italy, 1984.

145

B. F. Buxton, H. Buxton, D. W. Murray, and N. S. Williams. 3D Solutions to the Aperture Problem. In Proc. of the 6th ECAI, pp. 631-640, Pisa, Italy, 1984.

146

S. J. Maybank. The Angular Velocity Associated with the Optical Flow Field Due to a Single Moving Rigid Plane. In Proc. of the 6th ECAI, pp. 641-644, Pisa, Italy, 1984.

147

C. Schlieder and B. Radig. Understanding Symmetry of Objects by Matching their Relational Structures. In Proc. of the 6th ECAI, pp. 645-648, Pisa, Italy, 1984.

148

P. Horaud and R. C. Bolles. Finding Modeled Objects in Range Data. In Proc. of the 6th ECAI, pp. 649-652, Pisa, Italy, 1984.

149

C. Granger. Matching a Scene to a Model Using Symbolic and Geometric Reasoning. In Proc. of the 6th ECAI, pp. 653-656, Pisa, Italy, 1984.

150

K. D. Kuhnert. Towards the Objective Evaluation of Low Level Vision Operators. In Proc. of the 6th ECAI, p. 657, Pisa, Italy, 1984.

151

G. L. Scott. Obtaining the Structure(s) of a Non-Rigid Body from Multiple Views by Maximising Perceived Rigidity. In Proc. of the 6th ECAI, p. 658, Pisa, Italy, 1984.

152

M. Camonen. The Neptune System: Validation of Universe Model. In Proc. of the 6th ECAI, p. 659, Pisa, Italy, 1984.

153

G. Sagerer, H. Niemann, I. Hofmann, and H. Bunke. A System for the Evaluation of Medical Image Sequences Using Expert Knowledge. In Proc. of the 6th ECAI, p. 660, Pisa, Italy, 1984.

154

M. Boden. Introduction to the Philosophical Implications Subfield. In Proc. of the 6th ECAI, p. 661, Pisa, Italy, 1984.

155

E. L. Rissland. The Ubiquitous Dialectic. In Proc. of the 6th ECAI, pp. 663-668, Pisa, Italy, 1984.

156

D. Partridge. What's in an AI Program?: A Concept-Learning Cognitive Language Understander by Any Other Name Will Behave the Same. In Proc. of the 6th ECAI, pp. 669-673, Pisa, Italy, 1984.

157

I. Dimitrov and B. Petkoff. A General Knowledge Based Approach to Problem Solving. In Proc. of the 6th ECAI, pp. 674-675, Pisa, Italy, 1984.

158

P. Schefe. Abstraction, Representation and Knowledge: Some Reflections on AI and Philosophy. In Proc. of the 6th ECAI, p. 676, Pisa, Italy, 1984.

159

K. Mohyeldin Said. Problems of the Turing-Machine Functional Description of Mental States. In Proc. of the 6th ECAI, p. 677, Pisa, Italy, 1984.

160

M. Brady and P. E. Agre. The Mechanic's Mate. In Proc. of the 6th ECAI, pp. 681-696, Pisa, Italy, 1984.

161

H. Thompson. Speech Transcription: An Incremental, Interactive Approach. In Proc. of the 6th ECAI, pp. 697-704, Pisa, Italy, 1984.

162

L. Aiello and G. Levi. The Uses of Metaknowledge in AI Systems. In Proc. of the 6th ECAI, pp. 705-717, Pisa, Italy, 1984.

163

H. Enomoto, N. Yonezaki, M. Saeki, K. Chiba, T. Takizuka, and T. Yokoi. Natural Language Based Software Development System Tell. In Proc. of the 6th ECAI, pp. 721-731, Pisa, Italy, 1984.

164

H. Enomoto, N. Yonezaki, M. Saeki, and H. Aramata. Formal Specification and Verification for Concurrent Systems by Tell. In Proc. of the 6th ECAI, pp. 732-745, Pisa, Italy, 1984.

165

J. J. Korczak. Decision Support System for Credit Allocation. In Proc. of the 6th ECAI, pp. 746-747, Pisa, Italy, 1984.

166

B. B. Rieger. The Baseline Understanding Model: A Fuzzy Word Meaning Analysis and Representation System for Machine Comprehension of Natural Language. In Proc. of the 6th ECAI, pp. 748-749, Pisa, Italy, 1984.

167

J. Kazimierczak. Introduction to Synthesis of the Self-Organizing Operating System Nucleus. In Proc. of the 6th ECAI, pp. 750-751, Pisa, Italy, 1984.

168

L. J. Mazlack. A Knowledge Based Natural Language Interface to Existing Database Access Languages. In Proc. of the 6th ECAI, pp. 752-753, Pisa, Italy, 1984.

169

V. S. Lozovsky. On Animation of Expert Systems. In Proc. of the 6th ECAI, pp. 754-755, Pisa, Italy, 1984.

170

B. J. Rooney. The Dynamics of the Expert Systems Community. In Proc. of the 6th ECAI, pp. 756-757, Pisa, Italy, 1984.

171

B. H. Thompson and F. B. Thompson. Integrating Text, Graphics and Images into a Natural Language Data Base System. In Proc. of the 6th ECAI, p. 758, Pisa, Italy, 1984.

172

M. Uschold, N. Harding, R. Muetzelfeldt, and A. Bundy. An Intelligent Front End for Ecological Modelling. In Proc. of the 6th ECAI, pp. 761-770, Pisa, Italy, 1984.