3. AISB/GI (ECAI) 1978: Hamburg, Germany

Derek H. Sleeman: Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), Hamburg, Germany, 18-20 July 1978. Leeds University

• 
  Yuichiro Anzai:
  How to Learn Strategies: Processes and Representation of Strategy Acquisition. AISB/GI (ECAI) 1978: 1-14
• 
  David R. Barstow:
  Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System. AISB/GI (ECAI) 1978: 15-21
• 
  Wolfgang Bibel:
  On Strategies for the Systhesis of Algorithms. AISB/GI (ECAI) 1978: 22-27
• 
  F. Birch:
  A (self-adapting) Network for Recognition of Visual Structures. AISB/GI (ECAI) 1978: 28-32
• 
  H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs:
  Dialogues in Actor Nets. AISB/GI (ECAI) 1978: 33-34
• 
  Harold Boley:
  The Fit Approach to AI Languages. AISB/GI (ECAI) 1978: 35-41
• 
  Michael Brady:
  Dangerous Behaviour. AISB/GI (ECAI) 1978: 42-45
• 
  Pavel Brazdil:
  Experimental Learning Model. AISB/GI (ECAI) 1978: 46-50
• 
  Michael J. Brooks:
  Understanding the Image Forming Process. AISB/GI (ECAI) 1978: 51-55
• 
  Frank M. Brown:
  A Sequent Calculus for Modal Quantificational Logic. AISB/GI (ECAI) 1978: 56-65
• 
  Frank M. Brown, Camilla Schwind:
  Analysing and Representing Natural Language in Logic. AISB/GI (ECAI) 1978: 66-70
• 
  Alan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer:
  Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving. AISB/GI (ECAI) 1978: 71-81
• 
  Dennis de Champeaux:
  A Theorem Prover Dating a Semantic Network. AISB/GI (ECAI) 1978: 82-92
• 
  W. F. Clocksin:
  Determinig the Orientation of Surfaces from Optical Flow. AISB/GI (ECAI) 1978: 93-102
• 
  Christoph F. Eick, Peter Raulefs:
  Problem Solving by Hyper Planning. AISB/GI (ECAI) 1978: 103-104
• 
  Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson:
  Paramodulated Connection Graphs. AISB/GI (ECAI) 1978: 105-109
• 
  Daniel Goossens:
  A System for Visual-like Understanding. AISB/GI (ECAI) 1978: 110-114
• 
  Giovanni Guida, Marco Somalvico:
  A Method for Computing Heuristics in Problem-Solving. AISB/GI (ECAI) 1978: 115-121
• 
  Walther von Hahn, Wolfgang Hoeppner, Anthony Jameson, Wolfgang Wahlster:
  HAM-RPM: Natural Dialogues with an Artificial Partner. AISB/GI (ECAI) 1978: 122-131
• 
  F. Keith Hanna, W. T. Harwood:
  A Multiprocessor System for Knowledge Representation and Manipulation. AISB/GI (ECAI) 1978: 132-137
• 
  Christopher J. Hogger:
  Program Synthesis in Predicate Logic. AISB/GI (ECAI) 1978: 138-146
• 
  Berthold K. P. Horn:
  Vision. AISB/GI (ECAI) 1978: 147-163
• 
  Kenneth M. Kahn:
  Ani: An Example of Computational Creativity. AISB/GI (ECAI) 1978: 164-168
• 
  Yves Kodratoff, Jean Fargues:
  A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The ``Boyer and Moore Algorithm''. AISB/GI (ECAI) 1978: 169-175
• 
  David C. Luckham, Jorge J. Morales, Joachim F. Schreiber:
  A Study in the Application of Theorem Proving. AISB/GI (ECAI) 1978: 176-188
• 
  László Méro:
  A Quasi-Parallel Contour Following Algorithm. AISB/GI (ECAI) 1978: 189-193
• 
  Donald Michie, Ivan Bratko:
  Advice Table Representations of Chess End-Game Knowledge. AISB/GI (ECAI) 1978: 194-200
• 
  Renato de Mori, Pietro Laface:
  Representation of Phonetic and Phonemic Knowledge in a Speech Understanding System. AISB/GI (ECAI) 1978: 201-205
• 
  Drew V. McDermott:
  The Last Survey of Representation of Knowledge. AISB/GI (ECAI) 1978: 206-221
• 
  Bernd Neumann:
  Best-First Interpretation of Imperfect Object Contours. AISB/GI (ECAI) 1978: 222-228
• 
  Tim O'Shea, Richard M. Young:
  A Production Rule Account of Errors in Children's Subtraction. AISB/GI (ECAI) 1978: 229-237
• 
  Derek Partridge:
  A Philosophy of ``Wicked'' Problem Implementation. AISB/GI (ECAI) 1978: 238-247
• 
  Dominique Pastre:
  A Humanlike Approach for Automatic Theorem Proving. AISB/GI (ECAI) 1978: 248-252
• 
  Brian Phillips:
  A Network representation for Procedural Knowledge. AISB/GI (ECAI) 1978: 253-257
• 
  K. Prazdny:
  A Computational Study of a Period of Infant Development. AISB/GI (ECAI) 1978: 258-262
• 
  Bernd Radig:
  Parametrized Region Extraction for the Description of Moving Objects. AISB/GI (ECAI) 1978: 263-272
• 
  Graeme D. Ritchie:
  Predictions and Procedures in Semantically-Based Grammar. AISB/GI (ECAI) 1978: 273-282
• 
  Mike Rosner:
  What's in a Social Action for U? AISB/GI (ECAI) 1978: 283-292
• 
  Gérard Sabah:
  A Conversational System which Understands Short Stories. AISB/GI (ECAI) 1978: 293-297
• 
  Erik Sandewall:
  What Structure does a LISP Program have - besides being a set of Procedures? AISB/GI (ECAI) 1978: 298-303
• 
  Camilla Schwind:
  Representing Actions by State Logic. AISB/GI (ECAI) 1978: 304-308
• 
  Aaron Sloman, David Owen, Geoffrey E. Hinton, Frank Birch, Frank O'Gorman:
  Representation and Control in Vision. AISB/GI (ECAI) 1978: 309-314
• 
  N. S. Sridharan, D. Smith:
  Design for a Plan Hypothesizer. AISB/GI (ECAI) 1978: 315-324
• 
  Luc Steels:
  The Frame Shift Mechanism in Natural Language. AISB/GI (ECAI) 1978: 325-329
• 
  Olga Stepánková:
  Planning in Uncertain Environments through Situation Calculus. AISB/GI (ECAI) 1978: 330-339
• 
  Werner Stephan, Jörg H. Siekmann:
  Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) 1978: 340-344
• 
  P. L. Suzman:
  Common-Sense Representation. AISB/GI (ECAI) 1978: 345-350
• 
  Leonard Uhr, Manfred Kochen:
  Toward a greater Generality in Artificial Intelligence. AISB/GI (ECAI) 1978: 351-354
• 
  Bob J. Wielinga:
  AI Programming Methodology. AISB/GI (ECAI) 1978: 355-374
• 
  J. Gerard Wolff:
  Grammar Discovery as Data Compression. AISB/GI (ECAI) 1978: 375-379