. German Research Center for Artificial Intelligence GmbH


Persistent Bibliographic Information Record
c-ecai86

Seventh European Conf. on AI (ECAI-86)

Reference:

Seventh European Conf. on AI (ECAI-86)
Proc. of the 7th ECAI, Brighton, UK, 1986.

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

Contents:

1
M. W. van Someren. Knowledge Based Learning: Reducing the Description Space for Rule Learning. In Proc. of the 7th ECAI, pp. 1-7, Brighton, UK, 1986.

2
W. van de Velde. Explainable Knowledge Production. In Proc. of the 7th ECAI, pp. 8-22, Brighton, UK, 1986.

3
W. Buntine. Generalised Subsumption and its Applications to Induction and Redundancy. In Proc. of the 7th ECAI, pp. 23-31, Brighton, UK, 1986.

4
M. Lebowitz. UNIMEM, a General Learning System: An Overview. In Proc. of the 7th ECAI, pp. 32-42, Brighton, UK, 1986.

5
R. Boswell. Analytic Goal Regression: Problems, Solutions and Enhancements. In Proc. of the 7th ECAI, pp. 43-54, Brighton, UK, 1986.

6
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? In Proc. of the 7th ECAI, pp. 55-61, Brighton, UK, 1986.

7
D. Goossens. Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness. In Proc. of the 7th ECAI, pp. 62-68, Brighton, UK, 1986.

8
S. Biundo. A Synthesis System Mechanizing Proofs by Induction. In Proc. of the 7th ECAI, pp. 69-78, Brighton, UK, 1986.

9
P. Jacquet and M. L. Potet. Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). In Proc. of the 7th ECAI, pp. 79-90, Brighton, UK, 1986.

10
M. M. Huntbach. Program Synthesis by Inductive Inference. In Proc. of the 7th ECAI, pp. 91-100, Brighton, UK, 1986.

11
B. Duval and Y. Kodratoff. Automated Deduction in an Uncertain and Inconsistent Data Basis. In Proc. of the 7th ECAI, pp. 101-108, Brighton, UK, 1986.

12
J. Gallagher. Transforming Logic Programs by Specialising Interpreters. In Proc. of the 7th ECAI, pp. 109-122, Brighton, UK, 1986.

13
C. Froidevaux. Taxonomic Default Theory. In Proc. of the 7th ECAI, pp. 123-129, Brighton, UK, 1986.

14
G. Attardi. Concurrent Strategy Execution in OMEGA. In Proc. of the 7th ECAI, pp. 130-139, Brighton, UK, 1986.

15
S. Owen. Heuristics for Analogy Matching. In Proc. of the 7th ECAI, pp. 140-152, Brighton, UK, 1986.

16
K. Wellsch and M. Jones. Computational Analogy. In Proc. of the 7th ECAI, pp. 153-162, Brighton, UK, 1986.

17
C. Granger. Fuzzy Reasoning in a Knowledge-Based System for Object Classification. In Proc. of the 7th ECAI, pp. 163-170, Brighton, UK, 1986.

18
L. F. Rau. Generalization-Based Retrieval. In Proc. of the 7th ECAI, pp. 171-180, Brighton, UK, 1986.

19
M. King. The Prospect of Machine Translation. In Proc. of the 7th ECAI, pp. 181-192, Brighton, UK, 1986.

20
P. S. Jacobs. The KING Natural Language Generator. In Proc. of the 7th ECAI, pp. 193-202, Brighton, UK, 1986.

21
U. Hahn. A Generalized Word Expert Model of Lexically Distributed Text Parsing. In Proc. of the 7th ECAI, pp. 203-211, Brighton, UK, 1986.

22
O. Stock. Dynamic Unification in Lexically Based Parsing. In Proc. of the 7th ECAI, pp. 212-221, Brighton, UK, 1986.

23
G. Adriaens. WEP (Word Expert Parsing) Revised and Applied to Dutch. In Proc. of the 7th ECAI, pp. 222-235, Brighton, UK, 1986.

24
G. Attardi, A. Corradini, S. Diomedi, and M. Simi. Taxonomic Reasoning. In Proc. of the 7th ECAI, pp. 236-245, Brighton, UK, 1986.

25
C. Benoit, Y. Caseau, and C. Pherivong. Knowledge Representation and Communication Mechanisms in LORE. In Proc. of the 7th ECAI, pp. 246-255, Brighton, UK, 1986.

26
P. Maes. Introspection in Knowledge Representation. In Proc. of the 7th ECAI, pp. 256-269, Brighton, UK, 1986.

27
J. P. Briot and P. Cointe. The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language. In Proc. of the 7th ECAI, pp. 270-277, Brighton, UK, 1986.

28
K. van Marcke. A Parallel Algorithm for Consistency Maintenance in Knowledge Representation. In Proc. of the 7th ECAI, pp. 278-290, Brighton, UK, 1986.

29
H. Kauffmann and A. Grumbach. MULTILOG: Multiple Words in Logic Programming. In Proc. of the 7th ECAI, pp. 291-305, Brighton, UK, 1986.

30
B. J. Wielinga and J. A. Breuker. Models of Expertise. In Proc. of the 7th ECAI, pp. 306-318, Brighton, UK, 1986.

31
R. P. Worden, M. H. Foote, J. A. Knight, and S. K. Andersen. Co-Operative Expert Systems. In Proc. of the 7th ECAI, pp. 319-334, Brighton, UK, 1986.

32
M. Gallanti, L. Gilardoni, G. Guida, and A. Stefanini. Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems. In Proc. of the 7th ECAI, pp. 335-349, Brighton, UK, 1986.

33
W. F. Clocksin and A. J. Morgan. Qualitative Control. In Proc. of the 7th ECAI, pp. 350-356, Brighton, UK, 1986.

34
S. K. Andersen, S. Andreassen, and M. Woldbye. Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography. In Proc. of the 7th ECAI, pp. 357-368, Brighton, UK, 1986.

35
A. Sloman. Reference without Causal Links. In Proc. of the 7th ECAI, pp. 369-381, Brighton, UK, 1986.

36
W. Lukaszewicz. Minimization of Abnormality: A Simple System for Default Reasoning. In Proc. of the 7th ECAI, pp. 382-389, Brighton, UK, 1986.

37
Y. Shoham. Reified Temporal Logics: Semantical and Ontological Considerations. In Proc. of the 7th ECAI, pp. 390-397, Brighton, UK, 1986.

38
J. Barnden. Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control. In Proc. of the 7th ECAI, pp. 398-412, Brighton, UK, 1986.

39
P. R. Cohen. Numeric and Symbolic Reasoning in Expert Systems. In Proc. of the 7th ECAI, pp. 413-427, Brighton, UK, 1986.

40
J. Jones, M. Millington, and P. Ross. A Blackboard Shell in Prolog. In Proc. of the 7th ECAI, pp. 428-436, Brighton, UK, 1986.

41
B. A. Nardi and E. A. Paulson. Multiple Worlds with Truth Maintenance in AI Applications. In Proc. of the 7th ECAI, pp. 437-444, Brighton, UK, 1986.

42
J. P. Sansonnet. The Machine for Artificial Intelligence Applications: MAIA. In Proc. of the 7th ECAI, pp. 445-455, Brighton, UK, 1986.

43
P. J. Hayes. Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems. In Proc. of the 7th ECAI, pp. 456-465, Brighton, UK, 1986.

44
D. E. Wilkins. Hierarchical Planning: Definition and Implementation. In Proc. of the 7th ECAI, pp. 466-478, Brighton, UK, 1986.

45
E. P. K. Tsang. Plan Generation in a Temporal Frame. In Proc. of the 7th ECAI, pp. 479-493, Brighton, UK, 1986.

46
C. Laugier and P. Theveneau. Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques. In Proc. of the 7th ECAI, pp. 494-506, Brighton, UK, 1986.

47
L. Massone and P. Morasso. Analogical and Propositional Knowledge in Intelligent Path Planning. In Proc. of the 7th ECAI, pp. 507-517, Brighton, UK, 1986.

48
A. Blake, A. Zisserman, and A. V. Papoulias. Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves. In Proc. of the 7th ECAI, pp. 518-528, Brighton, UK, 1986.

49
R. Horaud. Combining Image and Spatial Reasoning for Model Retrieval. In Proc. of the 7th ECAI, pp. 529-538, Brighton, UK, 1986.

50
H. Buxton and N. Williams. Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow. In Proc. of the 7th ECAI, pp. 539-545, Brighton, UK, 1986.

51
K. W. Hasse. Discovery Systems. In Proc. of the 7th ECAI, pp. 546-555, Brighton, UK, 1986.

52
V. Jonckers. Exploring Algorithms through Mutations. In Proc. of the 7th ECAI, pp. 556-568, Brighton, UK, 1986.

53
W. Emde. Big Flood in the Blocks World or Non-Cumulative Learning. In Proc. of the 7th ECAI, pp. 569-575, Brighton, UK, 1986.

54
W. N. H. Jansweijer, J. J. Elshout, and B. J. Wielinga. The Expertise of Novice Problem Solvers. In Proc. of the 7th ECAI, pp. 576-585, Brighton, UK, 1986.

55
R. W. Lawler. Co-Adaptation and the Development of Cognitive Structures. In Proc. of the 7th ECAI, pp. 586-597, Brighton, UK, 1986.

56
J. H. Siekmann. Unification Theory. In Proc. of the 7th ECAI, Vol. 2, pp. vi-xxxv, Brighton, UK, 1986.

57
E. Andre, G. Bosch, G. Herzog, and T. Rist. Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions. In Proc. of the 7th ECAI, Vol. 2, pp. 1-8, Brighton, UK, 1986.

58
M. Rayner and A. Banks. Temporal Relations and Logic Grammars. In Proc. of the 7th ECAI, Vol. 2, pp. 9-14, Brighton, UK, 1986.

59
F. Sebastiani and I. Prodanof. Semantic Interpretation of Technical Texts. In Proc. of the 7th ECAI, Vol. 2, pp. 15-22, Brighton, UK, 1986.

60
A. W. S. Cater. Preference-Directed Use of ATNs. In Proc. of the 7th ECAI, Vol. 2, pp. 23-28, Brighton, UK, 1986.

61
J. Kilbury. Language Variation, Parsing, and the Modelling of Users' Language Varieties. In Proc. of the 7th ECAI, Vol. 2, pp. 29-32, Brighton, UK, 1986.

62
A. E. Quilici, M. G. Dyer, and M. Flowers. AQUA: An Intelligent Unix Advisor. In Proc. of the 7th ECAI, Vol. 2, pp. 33-38, Brighton, UK, 1986.

63
A. Kawaguchi, N. Taoka, R. Mizoguchi, T. Yamaguchi, and O. Kakusho. An Intelligent Interview System for Conceptual Design of Database. In Proc. of the 7th ECAI, Vol. 2, pp. 39-45, Brighton, UK, 1986.

64
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. In Proc. of the 7th ECAI, Vol. 2, pp. 46-52, Brighton, UK, 1986.

65
P. Devanbu, M. Freeland, and S. Naqvi. A Procedural Approach to Search Control in Prolog. In Proc. of the 7th ECAI, Vol. 2, pp. 53-57, Brighton, UK, 1986.

66
J. Ferber. Towards a Reflective Actor Oriented Language. In Proc. of the 7th ECAI, Vol. 2, pp. 58-67, Brighton, UK, 1986.

67
B. Knoedler, B. Neidecker, and W. Rosenstiel. A Prolog Machine for Warren's Abstract Instruction Set. In Proc. of the 7th ECAI, Vol. 2, pp. 68-72, Brighton, UK, 1986.

68
P. B. Brazdil. Transfer of Knowledge between Systems: A Common Approach to Teaching and Learning. In Proc. of the 7th ECAI, Vol. 2, pp. 73-78, Brighton, UK, 1986.

69
A. Heeffer and M. Leman. Chunking as a Method for Concept Acquisition. In Proc. of the 7th ECAI, Vol. 2, pp. 79-83, Brighton, UK, 1986.

70
D. J. Bierman. Intelligent Simulation Environments in Education. In Proc. of the 7th ECAI, Vol. 2, pp. 84-89, Brighton, UK, 1986.

71
M. Elsom Cook. A Pascal Program Checker. In Proc. of the 7th ECAI, Vol. 2, pp. 90-95, Brighton, UK, 1986.

72
J. Hewett. Commercial Expert Systems in North America. In Proc. of the 7th ECAI, Vol. 2, pp. 96-102, Brighton, UK, 1986.

73
F. Jakob, P. Suslenschi, and D. Vernet. EXTASE: An Expert System for Alarm Processing in Process Control. In Proc. of the 7th ECAI, Vol. 2, pp. 103-108, Brighton, UK, 1986.

74
D. Piette, C. Roche, and J. C. Ianeselli. ALPA: Diagnosis Expert System for Supervision of Nuclear Reactors. In Proc. of the 7th ECAI, Vol. 2, pp. 109-113, Brighton, UK, 1986.

75
J. M. David and J. P. Krivine. Reasoning from Structure and Behavior: Four Relevance Criteria. In Proc. of the 7th ECAI, Vol. 2, pp. 114-119, Brighton, UK, 1986.

76
M. D. Brouwer Janse and R. B. Pitt. Knowledge Acquisition Methodological Issues and Problem-Solving Profiles. In Proc. of the 7th ECAI, Vol. 2, pp. 120-127, Brighton, UK, 1986.

77
R. Lopez de Mantaras, U. Cortes, J. Manero, E. Plaza, X. Salra, and J. Agusti. Knowledge Elicitation Using Personal Constructs Application to Document Classification. In Proc. of the 7th ECAI, Vol. 2, pp. 128-134, Brighton, UK, 1986.

78
E. T. Keravnou and L. Johnson. A New Architecture for Expert Systems. In Proc. of the 7th ECAI, Vol. 2, pp. 135-142, Brighton, UK, 1986.

79
O. D. Faugeras and F. Lustman. Inferring Planes by Hypothesis Prediction and Testing for a Mobile Robot. In Proc. of the 7th ECAI, Vol. 2, pp. 143-147, Brighton, UK, 1986.

80
R. B. Fisher. Identity Independent Object Segmentation in 2 1/2D Sketch Data. In Proc. of the 7th ECAI, Vol. 2, pp. 148-153, Brighton, UK, 1986.

81
F. Gardin, B. Meltzer, and P. Stofella. The Analogical Representation of Liquids in Naive Physics. In Proc. of the 7th ECAI, Vol. 2, pp. 154-159, Brighton, UK, 1986.

82
J. Drapkin and D. Perlis. Step-Logics: An Alternative Approach to Limited Reasoning. In Proc. of the 7th ECAI, Vol. 2, pp. 160-163, Brighton, UK, 1986.

83
M. Fidelak. PETRI NETS: A Formal Language for Knowledge Representation. In Proc. of the 7th ECAI, Vol. 2, pp. 164-168, Brighton, UK, 1986.

84
P. Smets. Bayes Theorem Generalized for Belief Functions. In Proc. of the 7th ECAI, Vol. 2, pp. 169-170, Brighton, UK, 1986.

85
D. Dubois and H. Prade. A Tentative Comparison of Numerical Approximate Reasoning Methodologies. In Proc. of the 7th ECAI, Vol. 2, pp. 171-176, Brighton, UK, 1986.

86
A. L. Rector. Inheritance and Ambiguity in Semantic Networks for Medical Knowledge and Representation. In Proc. of the 7th ECAI, Vol. 2, pp. 177-181, Brighton, UK, 1986.

87
S. A. Cerri. Ambiguity in Knowledge Representation. In Proc. of the 7th ECAI, Vol. 2, pp. 182-187, Brighton, UK, 1986.





Gerd Herzog
Last update: Sat Nov 23 16:55:07 MET 1996


Send comments to herzog@acm.org