List of contents of the Proceedings of the

7'th European Conference on Artificial Intelligence, 1986 (ECAI-86)


c-ecai-86-1
E. Andre, G. Bosch, G. Herzog, and T. Rist:
Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions.
Pages 1-8.

c-ecai-86-8
W. van de Velde:
Explainable Knowledge Production.
Pages 8-22.

c-ecai-86-9
M. Rayner and A. Banks:
Temporal Relations and Logic Grammars.
Pages 9-14.

c-ecai-86-15
F. Sebastiani and I. Prodanof:
Semantic Interpretation of Technical Texts.
Pages 15-22.

c-ecai-86-23
A. W. S. Cater:
Preference-Directed Use of ATNs.
Pages 23-28.

c-ecai-86-29
J. Kilbury:
Language Variation, Parsing, and the Modelling of Users' Language Varieties.
Pages 29-32.

c-ecai-86-32
M. Lebowitz:
UNIMEM, a General Learning System: An Overview.
Pages 32-42.

c-ecai-86-33
A. E. Quilici, M. G. Dyer, and M. Flowers:
AQUA: An Intelligent Unix Advisor.
Pages 33-38.

c-ecai-86-39
A. Kawaguchi, N. Taoka, R. Mizoguchi, T. Yamaguchi, and O. Kakusho:
An Intelligent Interview System for Conceptual Design of Database.
Pages 39-45.

c-ecai-86-43
R. Boswell:
Analytic Goal Regression: Problems, Solutions and Enhancements.
Pages 43-54.

c-ecai-86-46
H. Stoyan, J. Chailloux, J. Fitch, T. Krumnack, E. Neidl, G. Attardi, T. Christaller, J. Dalton, M. Devin, B. Lang, R. Lopez de Mantaras, E. Papon, S. Pope, C. Quiennec, and L. Steels:
Towards a LISP Standard.
Pages 46-52.

c-ecai-86-53
P. Devanbu, M. Freeland, and S. Naqvi:
A Procedural Approach to Search Control in Prolog.
Pages 53-57.

c-ecai-86-55
J. Pearl and A. Paz:
Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z?.
Pages 55-61.

c-ecai-86-58
J. Ferber:
Towards a Reflective Actor Oriented Language.
Pages 58-67.

c-ecai-86-62
D. Goossens:
Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness.
Pages 62-68.

c-ecai-86-68
B. Knoedler, B. Neidecker, and W. Rosenstiel:
A Prolog Machine for Warren's Abstract Instruction Set.
Pages 68-72.

c-ecai-86-69
S. Biundo:
A Synthesis System Mechanizing Proofs by Induction.
Pages 69-78.

c-ecai-86-73
P. B. Brazdil:
Transfer of Knowledge between Systems: A Common Approach to Teaching and Learning.
Pages 73-78.

c-ecai-86-79
A. Heeffer and M. Leman:
Chunking as a Method for Concept Acquisition.
Pages 79-83.

c-ecai-86-84
D. J. Bierman:
Intelligent Simulation Environments in Education.
Pages 84-89.

c-ecai-86-90
M. Elsom Cook:
A Pascal Program Checker.
Pages 90-95.

c-ecai-86-91
M. M. Huntbach:
Program Synthesis by Inductive Inference.
Pages 91-100.

c-ecai-86-96
J. Hewett:
Commercial Expert Systems in North America.
Pages 96-102.

c-ecai-86-vi
J. H. Siekmann:
Unification Theory.
Pages vi-xxxv.

c-ecai-86-101
B. Duval and Y. Kodratoff:
Automated Deduction in an Uncertain and Inconsistent Data Basis.
Pages 101-108.

c-ecai-86-103
F. Jakob, P. Suslenschi, and D. Vernet:
EXTASE: An Expert System for Alarm Processing in Process Control.
Pages 103-108.

c-ecai-86-109
D. Piette, C. Roche, and J. C. Ianeselli:
ALPA: Diagnosis Expert System for Supervision of Nuclear Reactors.
Pages 109-113.

c-ecai-86-114
J. M. David and J. P. Krivine:
Reasoning from Structure and Behavior: Four Relevance Criteria.
Pages 114-119.

c-ecai-86-120
M. D. Brouwer Janse and R. B. Pitt:
Knowledge Acquisition Methodological Issues and Problem-Solving Profiles.
Pages 120-127.

c-ecai-86-123
C. Froidevaux:
Taxonomic Default Theory.
Pages 123-129.

c-ecai-86-128
R. Lopez de Mantaras, U. Cortes, J. Manero, E. Plaza, X. Salra, and J. Agusti:
Knowledge Elicitation Using Personal Constructs Application to Document Classification.
Pages 128-134.

c-ecai-86-130
G. Attardi:
Concurrent Strategy Execution in OMEGA.
Pages 130-139.

c-ecai-86-135
E. T. Keravnou and L. Johnson:
A New Architecture for Expert Systems.
Pages 135-142.

c-ecai-86-140
S. Owen:
Heuristics for Analogy Matching.
Pages 140-152.

c-ecai-86-143
O. D. Faugeras and F. Lustman:
Inferring Planes by Hypothesis Prediction and Testing for a Mobile Robot.
Pages 143-147.

c-ecai-86-148
R. B. Fisher:
Identity Independent Object Segmentation in 2 1/2D Sketch Data.
Pages 148-153.

c-ecai-86-153
K. Wellsch and M. Jones:
Computational Analogy.
Pages 153-162.

c-ecai-86-154
F. Gardin, B. Meltzer, and P. Stofella:
The Analogical Representation of Liquids in Naive Physics.
Pages 154-159.

c-ecai-86-160
J. Drapkin and D. Perlis:
Step-Logics: An Alternative Approach to Limited Reasoning.
Pages 160-163.

c-ecai-86-163
C. Granger:
Fuzzy Reasoning in a Knowledge-Based System for Object Classification.
Pages 163-170.

c-ecai-86-164
M. Fidelak:
PETRI NETS: A Formal Language for Knowledge Representation.
Pages 164-168.

c-ecai-86-169
P. Smets:
Bayes Theorem Generalized for Belief Functions.
Pages 169-170.

c-ecai-86-171
D. Dubois and H. Prade:
A Tentative Comparison of Numerical Approximate Reasoning Methodologies.
Pages 171-176.

c-ecai-86-177
A. L. Rector:
Inheritance and Ambiguity in Semantic Networks for Medical Knowledge and Representation.
Pages 177-181.

c-ecai-86-181
M. King:
The Prospect of Machine Translation.
Pages 181-192.

c-ecai-86-182
S. A. Cerri:
Ambiguity in Knowledge Representation.
Pages 182-187.

c-ecai-86-193
P. S. Jacobs:
The KING Natural Language Generator.
Pages 193-202.

c-ecai-86-203
U. Hahn:
A Generalized Word Expert Model of Lexically Distributed Text Parsing.
Pages 203-211.

c-ecai-86-212
O. Stock:
Dynamic Unification in Lexically Based Parsing.
Pages 212-221.

c-ecai-86-222
G. Adriaens:
WEP (Word Expert Parsing) Revised and Applied to Dutch.
Pages 222-235.

c-ecai-86-236
G. Attardi, A. Corradini, S. Diomedi, and M. Simi:
Taxonomic Reasoning.
Pages 236-245.

c-ecai-86-246
C. Benoit, Y. Caseau, and C. Pherivong:
Knowledge Representation and Communication Mechanisms in LORE.
Pages 246-255.

c-ecai-86-256
P. Maes:
Introspection in Knowledge Representation.
Pages 256-269.

c-ecai-86-270
J. P. Briot and P. Cointe:
The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language.
Pages 270-277.

c-ecai-86-278
K. van Marcke:
A Parallel Algorithm for Consistency Maintenance in Knowledge Representation.
Pages 278-290.

c-ecai-86-291
H. Kauffmann and A. Grumbach:
MULTILOG: Multiple Words in Logic Programming.
Pages 291-305.

c-ecai-86-306
B. J. Wielinga and J. A. Breuker:
Models of Expertise.
Pages 306-318.

c-ecai-86-319
R. P. Worden, M. H. Foote, J. A. Knight, and S. K. Andersen:
Co-Operative Expert Systems.
Pages 319-334.

c-ecai-86-335
M. Gallanti, L. Gilardoni, G. Guida, and A. Stefanini:
Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems.
Pages 335-349.

c-ecai-86-350
W. F. Clocksin and A. J. Morgan:
Qualitative Control.
Pages 350-356.

c-ecai-86-357
S. K. Andersen, S. Andreassen, and M. Woldbye:
Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography.
Pages 357-368.

c-ecai-86-369
A. Sloman:
Reference without Causal Links.
Pages 369-381.

c-ecai-86-382
W. Lukaszewicz:
Minimization of Abnormality: A Simple System for Default Reasoning.
Pages 382-389.

c-ecai-86-390
Y. Shoham:
Reified Temporal Logics: Semantical and Ontological Considerations.
Pages 390-397.

c-ecai-86-398
J. Barnden:
Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control.
Pages 398-412.

c-ecai-86-413
P. R. Cohen:
Numeric and Symbolic Reasoning in Expert Systems.
Pages 413-427.

c-ecai-86-428
J. Jones, M. Millington, and P. Ross:
A Blackboard Shell in Prolog.
Pages 428-436.

c-ecai-86-437
B. A. Nardi and E. A. Paulson:
Multiple Worlds with Truth Maintenance in AI Applications.
Pages 437-444.

c-ecai-86-445
J. P. Sansonnet:
The Machine for Artificial Intelligence Applications: MAIA.
Pages 445-455.

c-ecai-86-456
P. J. Hayes:
Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems.
Pages 456-465.

c-ecai-86-466
D. E. Wilkins:
Hierarchical Planning: Definition and Implementation.
Pages 466-478.

c-ecai-86-479
E. P. K. Tsang:
Plan Generation in a Temporal Frame.
Pages 479-493.

c-ecai-86-494
C. Laugier and P. Theveneau:
Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques.
Pages 494-506.

c-ecai-86-507
L. Massone and P. Morasso:
Analogical and Propositional Knowledge in Intelligent Path Planning.
Pages 507-517.

c-ecai-86-518
A. Blake, A. Zisserman, and A. V. Papoulias:
Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves.
Pages 518-528.

c-ecai-86-529
R. Horaud:
Combining Image and Spatial Reasoning for Model Retrieval.
Pages 529-538.

c-ecai-86-539
H. Buxton and N. Williams:
Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow.
Pages 539-545.

c-ecai-86-546
K. W. Hasse:
Discovery Systems.
Pages 546-555.

c-ecai-86-556
V. Jonckers:
Exploring Algorithms through Mutations.
Pages 556-568.

c-ecai-86-569
W. Emde:
Big Flood in the Blocks World or Non-Cumulative Learning.
Pages 569-575.

c-ecai-86-576
W. N. H. Jansweijer, J. J. Elshout, and B. J. Wielinga:
The Expertise of Novice Problem Solvers.
Pages 576-585.

c-ecai-86-586
R. W. Lawler:
Co-Adaptation and the Development of Cognitive Structures.
Pages 586-597.


11-Sep-97 17:44