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 BibTeX
Wray L. Buntine: Generalised Subsumption and its Applications to Induction and Redundancy. 15-23 BibTeX
Michael Lebowitz: UNIMEM, a General Learning System: An Overview. 25-35 BibTeX
Walter Van de Velde: Explainable Knowledge Production. 37-51 BibTeX
Maarten van Someren: Knowledge Based Learning: Reducing the Description Space for Rule Learning. 53-59 BibTeX

Analogy

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

Discovery and Human Problem Solving

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

Knowledge Representation

Foundations of Knowledge Representation

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

Knowledge Representation Systems

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

Logic and Deduction

Giuseppe Attardi, Andrea Corradini, S. Diomedi, Maria Simi: Taxonomic Reasoning. 277-286 BibTeX
Susanne Biundo: A Synthesis System Mechanizing Proofs by Induction. 287-296 BibTeX
Béatrice Duval, Yves Kodratoff: Automated Deduction in an Uncertain and Inconsistent Data Basis. 297-304 BibTeX
Christine Froidevaux: Taxonomic Default Theory. 305-311 BibTeX
John P. Gallagher: Transforming Logic Programs by Specialising Interpreters. 313-326 BibTeX
D. Goossens: Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness. 327-333 BibTeX
Matthew M. Huntbach: Program Synthesis by Inductive Inference. 335-344 BibTeX
Paul Jacquet, Marie-Laure Potet: Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). 345-356 BibTeX
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 BibTeX
Jörg H. Siekmann: Unification Theory. 365-400 BibTeX

Natural Language

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

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 BibTeX
W. F. Clocksin, A. J. Morgan: Qualitative Control. 473-479 BibTeX
Massimo Gallanti, Luca Gilardoni, Giovanni Guida, Alberto Stefanini: Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems. 481-495 BibTeX
Bob J. Wielinga, J. A. Breuker: Models of Expertise. 497-509 BibTeX
Robert P. Worden, M. H. Foote, J. A. Knight, Stig K. Andersen: Co-Operative Expert Systems. 511-526 BibTeX

Tools for Expert Systems

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

Vision and Robotics

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

Concluding Visionary Paper

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