default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd 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 1978 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
