7. ECAI 1986: Brighton, UK

J. B. H. du Boulay, David Hogg, Luc Steels (Eds.): Advances in Artificial Intelligence II, Seventh European Conference on Artificial Intelligence, ECAI 86, Brighton, United Kingdom, July 20-25, 1986, Proceedings. North-Holland, 1987, ISBN 0-444-70279-2

Learning

Fundamental Problems

Robin Boswell: Analytic Goal Regression: Problems, Solutions and Enhancements. 3-14
Wray L. Buntine: Generalised Subsumption and its Applications to Induction and Redundancy. 15-23
Michael Lebowitz: UNIMEM, a General Learning System: An Overview. 25-35
Walter Van de Velde: Explainable Knowledge Production. 37-51
Maarten van Someren: Knowledge Based Learning: Reducing the Description Space for Rule Learning. 53-59

Analogy

Catherine Granger: Fuzzy Reasoning in a Knowledge-Based System for Object Classification. 61-68
Stephen Owen: Heuristics for Analogy Matching. 69-81
Lisa F. Rau: Generalization-Based Retrieval. 83-92
Ken Wellsch, Marlene Jones: Computational Analogy. 93-102

Discovery and Human Problem Solving

Werner Emde: Big Flood in the Blocks World or Non-Cumulative Learning. 103-109
Kenneth W. Haase Jr.: Discovery Systems. 111-120
Wouter N. H. Jansweijer, J. J. Elshout, Bob J. Wielinga: The Expertise of Novice Problem Solvers. 121-130
Viviane Jonckers: Exploring Algorithms through Mutations. 131-143
Robert W. Lawler: Co-Adaptation and the Development of Cognitive Structures. 145-156

Knowledge Representation

Foundations of Knowledge Representation

John A. Barnden: Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control. 159-173
Witold Lukaszewicz: Minimization of Abnormality: A Simple System for Default Reasoning. 175-182
Yoav Shoham: Reified Temporal Logics: Semantical and Ontological Considerations. 183-190
Aaron Sloman: Reference without Causal Links. 191-203

Knowledge Representation Systems

Giuseppe Attardi: Concurrent Strategy Execution in OMEGA. 205-214
Ch. Benoit, Yves Caseau, Ch. Pherivong: Knowledge Representation and Communication Mechanisms in LORE. 215-224
Jean-Pierre Briot, Pierre Cointe: The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language. 225-232
Hervé Kauffmann, Alain Grumbach: MULTILOG: Multiple Words in Logic Programming. 233-247
Pattie Maes: Introspection in Knowledge Representation. 249-262
Kris Van Marcke: A Parallel Algorithm for Consistency Maintenance in Knowledge Representation. 263-275

Logic and Deduction

Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi: Taxonomic Reasoning. 277-286
Susanne Biundo: A Synthesis System Mechanizing Proofs by Induction. 287-296
Béatrice Duval, Yves Kodratoff: Automated Deduction in an Uncertain and Inconsistent Data Basis. 297-304
Christine Froidevaux: Taxonomic Default Theory. 305-311
John P. Gallagher: Transforming Logic Programs by Specialising Interpreters. 313-326
D. Goossens: Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness. 327-333
Matthew M. Huntbach: Program Synthesis by Inductive Inference. 335-344
Paul Jacquet, Marie-Laure Potet: Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). 345-356
Judea Pearl, Azaria Paz: Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z? 357-363
Jörg H. Siekmann: Unification Theory. 365-400

Natural Language

Geert Adriaens: WEP (Word Expert Parsing) Revised and Applied to Dutch. 403-416
Udo Hahn: A Generalized Word Expert Model of Lexically Distributed Text Parsing. 417-425
Paul S. Jacobs: The KING Natural Language Generator. 427-436
Margaret King: The Prospect of Machine Translation. 437-448
Oliviero Stock: Dynamic Unification in Lexically Based Parsing. 449-458

Expert Systems

Expertise and Use of Deep Models

Stig K. Andersen, Steen Andreassen, Marianne Woldbye: Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography. 461-472
W. F. Clocksin, A. J. Morgan: Qualitative Control. 473-479
Massimo Gallanti, Luca Gilardoni, Giovanni Guida, Alberto Stefanini: Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems. 481-495
Bob J. Wielinga, J. A. Breuker: Models of Expertise. 497-509
Robert P. Worden, M. H. Foote, J. A. Knight, Stig K. Andersen: Co-Operative Expert Systems. 511-526

Tools for Expert Systems

Paul R. Cohen: Numeric and Symbolic Reasoning in Expert Systems. 527-541
Philip J. Hayes: Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems. 543-552
John Jones, Mark Millington, Peter Ross: A Blackboard Shell in Prolog. 553-561
Bonnie A. Nardi, E. Anne Paulson: Multiple Worlds with Truth Maintenance in AI Applications. 563-572
Jean-Paul Sansonnet: The Machine for Artificial Intelligence Applications: MAIA. 573-583

Vision and Robotics

Andrew Blake, Andrew Zisserman, A. V. Papoulias: Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves. 587-597
Hilary Buxton, Nick Williams: Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow. 599-605
Radu Horaud: Combining Image and Spatial Reasoning for Model Retrieval. 607-616
Christian Laugier, P. Theveneau: Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques. 617-629
Lina Massone, Pietro Morasso: Analogical and Propositional Knowledge in Intelligent Path Planning. 631-641
Edward P. K. Tsang: Plan Generation in a Temporal Frame. 643-657
David E. Wilkins: Hierarchical Planning: Definition and Implementation. 659-671

Concluding Visionary Paper

Clive Sinclair: The Why and When of Artificial Intelligence. 675-679