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